The CCITT-specification and description language SDL
Computer Networks and ISDN Systems
Handbook of theoretical computer science (vol. B)
SDL with applications from protocol specification
SDL with applications from protocol specification
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
A logical theory of concurrent objects and its realization in the Maude language
Research directions in concurrent object-oriented programming
Computer Networks and ISDN Systems
Timed rewriting logic with an application to object-based specification
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
A note on reliable full-duplex transmission over half-duplex links
Communications of the ACM
Term Rewriting Systems
Specification of real-time and hybrid systems in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Specifying real-time requirements for SDL specifications - a temporal logic-based approach
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
An attempt to embed a restricted version of SDL as a target language in Focus
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
Time in Message Sequence Charts: A Formal Approach (Extended Abstract)
Euro-Par '97 Proceedings of the Third International Euro-Par Conference on Parallel Processing
An M-Net Semantics for a Real-Time Extension of µSDL
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Hi-index | 0.00 |
SDL is an industrial standard formal description techniquefor telecommunication systems. However, despite its wide spread useand industrial importance it lacks at present an adequate formalsemantics integrating its static, dynamic, and real-time aspects.Timed Rewriting Logic (TRL) is a new timed variant of Rewriting Logic(RL), an algebraic formalism which allows the dynamic behaviour ofsystems to be axiomatised using rewrite rules. In this paper wedefine a new formal semantics for SDL using TRL which captures in anatural way the hierarchical structure, and the static and dynamicaspects of an SDL system. The semantics demonstrates the expressivepower, versatility and automation advantages of using TRL. Weconsider how our new semantics can be used to simulate and reasonabout SDL specifications and in particular, we present an equivalencetheorem that allows a wide range of TRL specifications to beimplemented using RL and its associated tool support.