State Transition Diagrams
In the two preceding chapters, we studied how to define the effect of events by means of effect() operations. An alternative, or complementary, way is the use of state transition diagrams. This is the main topic of this chapter. We start in Sect. 13.1 with a brief review of finite state machines and their associated state transition diagrams. We then explain, in Sect. 13.2, how entities can be modeled as state machines, and that in this case state transition diagrams are part of the behavioral schema. Sections 13.3 to 13.5 describe how state transition diagrams can be defined in UML.
KeywordsState Machine Target State Event Type Source State Finite State Machine
Unable to display preview. Download preview PDF.
13.6 Bibliographical Notes
- Business Rules Group (2000) Defining business rules — What are they really? Final Report, July 2000, http://www.businessrulesgroup.org/first_paper/br01c0.htmGoogle Scholar
- Embley DW, Kurtz BD, Woodfield SN (1992) Object-oriented systems analysis. Yourdon Press.Google Scholar
- Ferrentino AB, Mills HD (1977) State machines and their semantics in software engineering. In: Proceedings of the First International Software and Applications Conference (COMPSAC 77), IEEE Computer Society, pp 242–251.Google Scholar
- Hopcroft JE, Motwani R, Ullman JD (2001) Introduction to automata theory, languages, and computation. 2nd edn. Addison-Wesley.Google Scholar
- Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen W (1991) Object-oriented modeling and design. Prentice Hall.Google Scholar
- Shlaer S, Mellor SJ (1992) Object lifecycles. Modeling the world in states. Yourdon Press.Google Scholar