Abstract
The notion of composite state in SDL is introduced. The features include entry/exit points to enforce encapsulation, type/subtypes of any composite state, virtual states in order to control the redefinition of states when defining state subtypes, and parameterized state types in order to allow maximum reuse of the same state type in different contexts. This notion of composite states will be part of SDL-2000. The same mechanism can, however, as well be introduced in other languages with a state machine concept.
Chapter PDF
Similar content being viewed by others
References
D. Harel & E Gery: Executable Object Models with Statecharts. IEEE Computer, 1997.
O. Lehrmann Madsen & B. Moller-Pedersen: Virtual Classes - a Powerful Mechanism in Object Oriented Programming. OOPSLA’89, Sigplan Notices, Vol 24 Number 10, 1989.
B. Selic: An efficient Object-Oriented Variation of the Statecharts Formalism for Distributed Real-Time Systems. http•//www nbjectime.com/otl/technical/efficient html
K. Thorup: Genericity in Java with Virtual Types. European Conference on Object-Oriented Programming, LNCS 1241 Springer-Verlag, 1997.
Brmk & B. Moller-Pedersen: Frameworks by means of virtual types. FORTE XI/PSTV XVIII’98, Paris November 1998.
ITU Z.100 Specification and Description Language SDL, 1996.
A. Olsen et al: Systems Engineering Using SDL-92. North-Holland 1994.
OMG Unified Modeling Language Specification (draft, Version 1.3, 1999).
D. Harel: Statecharts: a visual formalism or complex systems. Science Computer Program Vol. 8, 1987.
B. P. Douglass: Real-Time UML — Developing Efficient Objects for Embedded Systems. Addison-Wesley 1998.
R. Gotzheim, B. Geppert, F. Rössler, and P. Schaible: Towards a new formal SDL semantics. In Proc. Of the 1“ Workshop of the SDL Forum Society and SDL and MSC, Berlin June 98.
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
Møller-Pedersen, B., Nogva, D. (1999). Scalable and Object Oriented SDL State(chart)s. 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_4
Download citation
DOI: https://doi.org/10.1007/978-0-387-35578-8_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5270-0
Online ISBN: 978-0-387-35578-8
eBook Packages: Springer Book Archive