Abstract
The static model, specified formally, and the dynamic model, represented by hierarchical state machines, are intimately related. By defining a mapping between the two, we are able to provide a definition of inheritance, multiple inheritance and behavioral subtyping for state machines based on that for formally specified types and classes, and provide a graphical representation for formal specifications in terms of state machines. The state machine notation is based on statecharts. It, however, supports both a declarative style, appropriate for types, and an imperative style, appropriate for classes. State machines may be parameterized and may be viewed from different perspectives, based on an arbitrary choice of state predicates. And states are interpreted not as an expression of concurrency, but result from a choice of independent state predicates.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
7 References
Daugherty, Gary. Formal Specifications and State Machines, technical report, Rockwell International, December 1996.
Gries, D. The Science of Programming, Springer-Verlag, Berlin and New York, 1981.
Liskov, B. and J. Wing. “A behavioral notion of subtyping”, ACM Transactions on Programming Languages and Systems, vol. 16, no. 6, November 1994, pp. 1811..1841.
Harel, D. “Statecharts: A visual formalism for complex systems”, in Science of Computer Programming, vol. 8, pp. 231..274, 1987.
Coleman, Derek, Fiona Hayes and Stephen Bear. “Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design”, IEEE Transactions on Software Engineering, vol. 18, no. 1, pp. 9..18, January 1992.
Meyer, Bertrand. Eiffel: The Language, Prentice-Hall, Englewood Cliffs, NJ, 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Daugherty, G.W. (1998). Unification of the Models for Types, Classes and State Machines. In: Bosch, J., Mitchell, S. (eds) Object-Oriented Technologys. ECOOP 1997. Lecture Notes in Computer Science, vol 1357. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-69687-3_35
Download citation
DOI: https://doi.org/10.1007/3-540-69687-3_35
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64039-4
Online ISBN: 978-3-540-69687-2
eBook Packages: Springer Book Archive