Abstract
Due to the increasing complexity of distributed systems the need for a formal description of these systems arises. Specification description languages like SDL enable the formal specification of distributed systems for verification purposes of the system. For simplification of the development process the need for an automatic translation from the specification language to a programming language like C or C++ arises. High performance and a good readability of the translated code are crucial for the usability of an automatic translation. This paper introduces a framework for the automatic translation of an SDL specification to C++ providing high performance together with good readability of the resulting code. For that we present an object model together with an efficient implementation of the finite state machine with constant costs only using polymorphism. Additionally we present mechanisms to reduce copy and memory allocation operations. A performance evaluation for these mechanisms is also presented.
Chapter PDF
Similar content being viewed by others
References
F. Belina, D. Hogrefe, A. Sarma: SDL with Applications from Specification, Prentice Hall, 1991
R. Henke, P. Langendörfer, A. Mitschele-Thiel: Effiziente Implementierung formal spezifizierter Protokollarchitekturen (in german), Otto-von-Guericke-Universität, FakultAt Informatik, Technical Report IRB005/96, 1996
ITU: Recommendation X.292 - OSI conformance testing methodology and framework for protocol recommendations for CCITT applications - The Tree and Tabular Combined Notation (TTCN), 1992
ITU: Recommendation Z.100 - Specification and Description Language (SDL), March 1993
N. Kikuchi,Y. Shigeta, K. Miyake, W. Tanaka, M. Nabeta: An Integrated System Development Method and Support System based on SDL and C++, SDL’89: The Language at Work, Elsevier Science Publishers, p. 135–143, 1989
S. Meyers: More Effective C++, 35 New Ways to Improve your Programs and Design, Addison-Wesley, 1997
T. Quatrani: Visual Modeling with Rational Rose and UML, Object Technology Series, Addison-Wesley, 1997
B. Straustrup: The C++ Programming Language, Addision-Wesley, 1998
L. Svoboda: Implementing OSI Systems, IEEE Journal on Selected Areas in Communications 7 (1989), p. 1115–1130, 1989
G. R. Wright, W. R. Stevens: TCP/IP Illustrated Volume2, The Implementation, Addison-Wesley, 1995
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
Trossen, D., Cseh, C., Kogan, R. (1999). Framework for Automatic SDL to C++ Translation. 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_6
Download citation
DOI: https://doi.org/10.1007/978-0-387-35578-8_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5270-0
Online ISBN: 978-0-387-35578-8
eBook Packages: Springer Book Archive