Finite State Machines and Object Orientation
Finite State Machines (FSM) are an established approach for modeling the behavior in reactive systems. At the same time object oriented techniques are spreading on the market. This report investigates Finite State Machines and their similarities to and extensions with object oriented concepts.
First, basic similarities of the traditional Finite State Machines with respect to object orientation are explored, covering encapsulation, typing, system structuring and instantiation. Then, some object oriented extensions of FSMs (inheritance, virtual transitions,...) are shown with the example of OSDL (currently under standardization by CCITT, an OO extension of SDL from CCITT). Finally, state charts from Harel are investigated. They provide extensions to FSMs which are not object oriented. But there exists an interesting mapping of their extensions to classes, inheritance and composition, providing a new view on FSMs, states and transitions.
KeywordsFinite State Machine State Transition Matrix Object Orientation Object Orient State Transition Diagram
Unable to display preview. Download preview PDF.
- [Booc9la]G. Booch, “Object Oriented Design with Applications”, Benjamin/Cummings Publishing Company, 1991.Google Scholar
- [Booc9lb]G. Booch, M. Goldberg, “Object Oriented Design”, Rational Course Handout, 30. Oct. 1991.Google Scholar
- [CCIT86]G. Booch, M. Goldberg, “The CCITT High Level Language CHILL User’s Manual”,International Telegraph and Telephone Consultative Committee (CCITT), Geneva, 1986.Google Scholar
- [CCIT89]G. Booch, M. Goldberg, “CCITT BlueBook,RecommendationsZ.100: Functional Specification and DescriptionLanguage (SDL)”, International Telegraph and Telephone Consultative Committee ( CCITT ), Geneva, 1989.Google Scholar
- [Coad91]P. Coad, E. Yourdon, “Object Oriented Analysis”, Yourdon Press Computing Series, 1991.Google Scholar
- [Hatl87]D.H. Hatley, I.A. Pirbhai, “Strategies for Real—Time System Specification”, Dorset House Publishing, 1987.Google Scholar
- [Hare87]D. Harel, “Statecharts: A visual formalism for complex systems”, Science of Computer Programming, Vol. 8, pp. 231–247.Google Scholar
- [Hopc79]J.E. Hoperoft, J.D. Ullman, “Introduction to Automata Theory, Languages and Computation”, Addison—Welsey Publishing Company, 1979.Google Scholar
- [Hüne91]I. Hüneke, “Finite State Machines: a model of behaviorfor C++”, The C++ Report, Vol. 3 /1, Jan. 1991Google Scholar
- [Meye88]B. Meyer, “Object Oriented Software Construction”, Prentice Hall, 1988.Google Scholar
- [Rumb9l]J. Rumbaugh, M. Blaha, W. Premerlani, E Eddy, W. Lorensen, “Object—Oriented Modeling and Design”, Prentice Hall, 1991.Google Scholar
- [Saca89]R. Sacaro, J.R.W. Smith, Telecommunications System Engineering using SDL“, Elsevier Science Pub-lishersB.V., 1989.Google Scholar
- [Vans91]J. Vanslembrouck, “Relating Extended Finite State Machines with Object—Orientation”, Software Engineering Report nr. 914009, Alcatel Bell Telephone, Jan 1991.Google Scholar