Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
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.htm
Davis AM (1988) A comparison of techniques for the specification of external system behavior. Commun. ACM 31(9):1098–1115.
Embley DW, Kurtz BD, Woodfield SN (1992) Object-oriented systems analysis. Yourdon Press.
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.
Hopcroft JE, Motwani R, Ullman JD (2001) Introduction to automata theory, languages, and computation. 2nd edn. Addison-Wesley.
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.
Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen W (1991) Object-oriented modeling and design. Prentice Hall.
Shlaer S, Mellor SJ (1992) Object lifecycles. Modeling the world in states. Yourdon Press.
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2007). State Transition Diagrams. In: Conceptual Modeling of Information Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39390-0_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-39390-0_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-39389-4
Online ISBN: 978-3-540-39390-0
eBook Packages: Computer ScienceComputer Science (R0)