Toggle Main Menu Toggle Search

Open Access padlockePrints

A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol

Lookup NU author(s): Dr Jason Steggles


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


SDL is an industrial standard formal description technique for telecommunication systems. Despite its wide spread use and industrial importance it lacks at present an adequate formal semantics integrating its static, dynamic, and real-time aspects. Timed Rewriting Logic (TRL) is a new variant of Rewriting Logic, an algebraic formalism which allows the dynamic behaviour of systems to be axiomatised using rewrite rules. In TRL rewrite rules can be labelled with time constraints and this provides a means of reasoning about time elapse in real-time systems. TRL has been used to develop an object-oriented specification language Timed Maude for distributed real-time systems. In this paper we demonstrate the expressive power and versatility of Timed Maude by applying it to the definition of a formal semantics for SDL. The semantics we develop captures in an intuitive way the hierarchical structure of SDL specifications and integrates within one formalism the static and dynamic aspects of an SDL system. We demonstrate and motivate the semantics we develop by considering in detail a case study of the bench mark alternating bit protocol.

Publication metadata

Author(s): Steggles LJ, Kosiuczenko P

Editor(s): Kirchner, C and Kirchner, H

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: International Workshop on Rewriting Logic and its Applications

Year of Conference: 1998

Pages: 83-104

Publisher: Elsevier Science


DOI: 10.1016/S1571-0661(05)82554-X

Library holdings: Search Newcastle University Library for this item

Series Title: Electronic Notes in Theoretical Computer Science

ISBN: 0444507787