Abstract
State transition diagrams are a graphic notation that has long been used to represent computing systems. Two basic models of state transition diagrams were introduced simultaneously by G.H. Mealy and E.F. Moore in the mid fifties, and have played a major role in hardware design for a long time. These basic models have been expanded significantly in the recent past to include such features as the ability to represent hierarchy, timing and communication, and have been used to model complex software systems. In this contribution, we discuss the original models of state transition diagrams, their semantic definition and their extensions; then we discuss current application domains and support tools.
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.
References
Arnold, A., MEC: a system for constructing and analyzing transition systems, in: J. Sifakis (ed.), Automatic Verification of Finite State Systems, Lecture Notes in Computer Science, Vol. 407, Springer, 1989, 117–132
Arnold, A., Systèmes de Transitions Finis et Sémantique des Processus Communicants, Masson, 1992
Von der Beeck, M., A comparison of statecharts variants in H. Langmaack, W.-P. De Roever, J. Vytopil (eds.), Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science, Vol. 863, Springer, 1994, 128–148
Booch, G., Object-Oriented Analysis and Design with Applications, 2nd edition, Benjamin-Cummings, 1994
Denning, P. J., Dennis, J B, Qualitz, J. E., Machines, Languages and Computation, Prentice Hall, 1978
Desharnais, J., Frappier, M., Khédri, R., Mili, A., Integration of sequential scenarios, in: M. Jazayeri, H. Schauer (eds.), 6th European Software Engineering Conference/5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Lect. Notes in Comp. Sci., Vol. 1301, Springer, 1997, 310–326
Dijkstra, E. W., Cooperating sequential Processes, in: F. Genuys (ed.), Programming Languages: NATO Advanced Study Institute, Academic Press, 1968, 43–112
Ellsberger, J., Hogrefe, D., Sarma, A., SDL - Formal Object-Oriented Language for Communicating Systems, Prentice Hall, 1997
Fer89] Fernandez, J., An implementation of an efficient algorithm for bisimu-lation equivalence, Science of Computer Programming, 13, 1989, 219236
Harel, D., Statecharts: A visual formalism for complex systems, Sci-ence of Computer Programming 8, 1987, 231–274
Harel, D., On the formal semantics of statecharts, Proc. 2nd IEEE Symposium on Logic in Computer Science, Ithaca, NY, 1987, 54–64
Harel, D., on visual formalisms, Communications of the ACM 31 (5), May 1988, 514–530
Holzmann, G. J., Design and Validation of Computer Protocols, Pren-tice Hall, 1991
Hooman, J. J. M., Ramesh, S., De Roever, W.-P., A compositional ax-iomatization of statecharts, Theoretical Computer Science 101, 1992, 289–335
i-Logix Inc. Andover, MA 01810, USA http://www.ilogix.com/
Jacobson, I., Christerson, M., Jonsson, P., Overgaard, G., Object-Oriented Software Engineering: A Use Case Driven Approach, Addison-Wesley, 1992
Lamport, L., The temporal logic of actions, ACM Transactions on Programming Languages and Systems 16, May 1994, 872–923
Lamport, L., TLA in pictures, IEEE Transactions on Software Engineering 21 (9), September 1995, 768–775
Mealy, G. H., A method for synthesising sequential circuits, Bell System Tech. J. 34 (5), September 1955, 1045–1079
Mills, H. D., Linger, R. C., Hevner, A. R., Principles of Information Systems Analysis and Design, Academic Press, 1986
Moore, E. F., Gedanken-experiments on sequential machines, Annals of Mathematics Studies, Vol. 34, Automata Studies, Princeton University Press, Princeton, NJ, 1956, 129–153
ObjTim] ObjecTime Corporation Limited, Kanata, Ontario, Canada, http://www.objectime.on.ca/
Rumbaugh, J., Object-Oriented Modeling and Design, Prentice Hall, 1991
Selic, B.,’ Gullekson, G., Ward, P. T., Real-Time Object-Oriented Modeling, John Wiley and Sons, 1994
Rational Software Corporation, Unified Modeling Language for real-time systems design, Santa Clara, CA, USA, 1997, http://www.rational.com/
Telelogic, Malmö, Sweden, http://www.telelogic.se//uml
VERILOG, Toulouse CEDEX, France, http://www.verilogusa.com//uml
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Desharnais, J., Frappier, M., Mili, A. (1998). State Transition Diagrams. In: Bernus, P., Mertins, K., Schmidt, G. (eds) Handbook on Architectures of Information Systems. International Handbooks on Information Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-03526-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-662-03526-9_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-03528-3
Online ISBN: 978-3-662-03526-9
eBook Packages: Springer Book Archive