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.


State Machine Target State Event Type Source State Finite State Machine 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

13.6 Bibliographical Notes

  1. Business Rules Group (2000) Defining business rules — What are they really? Final Report, July 2000, Scholar
  2. Davis AM (1988) A comparison of techniques for the specification of external system behavior. Commun. ACM 31(9):1098–1115.CrossRefGoogle Scholar
  3. Embley DW, Kurtz BD, Woodfield SN (1992) Object-oriented systems analysis. Yourdon Press.Google Scholar
  4. 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
  5. Hopcroft JE, Motwani R, Ullman JD (2001) Introduction to automata theory, languages, and computation. 2nd edn. Addison-Wesley.Google Scholar
  6. Pastor O, Gómez J, Insfrán E, Pelechano V (2001) The OO-Method approach for information systems modeling: From object-oriented conceptual modeling to automated programming. Inf. Syst. 26:507–534.zbMATHCrossRefGoogle Scholar
  7. Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen W (1991) Object-oriented modeling and design. Prentice Hall.Google Scholar
  8. Shlaer S, Mellor SJ (1992) Object lifecycles. Modeling the world in states. Yourdon Press.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Personalised recommendations