Abstract
The definition of the ITU-T Specification and Description Language (SDL) evolves, its semantic interpretation and modelling features are subject to modifications and extensions to meet demands of new application domains and new modelling contexts. Tools are slow in following this evolution, although automated support is vital in applying formal methods for the design and evaluation of telecommunications protocols. This paper introduces a prototy** framework that supports traditional and new tool functions for specifications in SDL with evolving semantics, thus eases the evolution process as well. The framework includes automatic parser generation and abstract grammar definition from Z.100-style EBNF descriptions, and an easily extensible object-oriented formal definition of the semantic interpretation model. Java technology has been used to implement an open framework of distributed visualisation, control, and evaluation components. Early implementation of the framework was applied to prototy** systems with extended SDL semantics in the performance evaluation context.
Chapter PDF
Similar content being viewed by others
References
Ferenc Belina, Dieter Hogrefe, Amardeo Sarma, SDL with Applications from Protocol Specification, Prentice Hall International, 1991
Ivan Bach, Computer Linguistics,lecture notes, 1991
Rolv Bræk, Oystein Haugen, Engineering Real Time Systems, Prentice Hall International, 1993
Anders Olsen, Ove Færgemand, Birger Moller-Pedersen, Rick Reed, J.R.W. Smith, Systems Engineering Using SDL-92, Elsevier, 1994
ITU-T Recommendation Z.100, CCITT Specification and Description Language (SDL) and Annex F. Static and Dynamic Semantics of SDL,03/93, International Telecommunication Union, 1995
Jan Ellsberger, Dieter Hogrefe, Amardeo Sarma, SDL — Formal Object-oriented Language for Communicating Systems, Prentice Hall Europe, 1997
Q ystein Haugen, Birger Moller-Pedersen, SDL — a platform for telecom system development also in the future?, Ericsson and Telelogic Joint User Group Conference 1998
Alfred V. Aho, Ravi Sethi, Jeffrey D.Ullman, Compilers - Principles, Techniques, and Tools, Addison Wesley, March 1998
Olivier Dedieu, A Dynamically Extensible Web Proxy,NoTeRe colloquium, 20–23 October 1998.
Mazen Malek, PerfSDL: an Interface to Protocol Performance Analysis by means of Simulation, Accepted paper, 9th SDL Forum, Montreal, June 1999
R.Gotzhein, B.Geppert, F.Rossler, P.Schaible, Towards a New Formal SDL Semantics, SAM98, 1st SDL and MSC workshop of the SDL Forum Society, Berlin, July 1998
Andreas Mitschele-Thiel, Performance Evaluation of SDL Systems, SAM98, 1st SDL and MSC workshop of the SDL Forum Society, Berlin, July 1998
E.Holz, J.Fischer, Introduction of Gate Types into SDL, SAM98, 1st SDL and MSC workshop of the SDL Forum Society, Berlin, July 1998
Andreas Mitschele-Thiel, Results of the discussion, Workshop on Performance and Time in SDL and MSC, Erlangen, February 1998
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Csurgay, P. (1999). Prototy** Framework for SDL with Evolving Semantics. In: Wu, J., Chanson, S.T., Gao, Q. (eds) Formal Methods for Protocol Engineering and Distributed Systems. PSTV FORTE 1999 1999. IFIP Advances in Information and Communication Technology, vol 28. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35578-8_5
Download citation
DOI: https://doi.org/10.1007/978-0-387-35578-8_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5270-0
Online ISBN: 978-0-387-35578-8
eBook Packages: Springer Book Archive