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
J. Desharnais, M. Frappier, R. Kh’edri and A. Mili. Integration of sequential scenarios. In M. Jazayeri and H. Schauer, ed., 6th European Software Engineering Conference / 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Lect. Notes in Comp. Sci., Vol. 1301, 310–326, Springer, 1997.
E. W. Dijkstra. Cooperating sequential processes. In F. Genuys, ed., Programming Languages: NATO Advanced Study Institute, 43–112, Academic Press, 1968.
J. Ellsberger, D. Hogrefe and A. Sarma. SDL Formal ObjectOriented Language for Communicating Systems, Prentice Hall, 1997.
H. Garavel, F. Lang and R. Mateescu. An overview of CADP 2001. European Association for Software Science and Technology (EASST) Newsletter, 4, 13–24, 2002.
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8, 231–274, 1987.
D. Harel. On the formal semantics of statecharts. Proc. 2nd IEEE Symposium on Logic in Computer Science, 54–64, Ithaca, NY, 1987.
D. Harel. On visual formalisms. Communications of the ACM, 31(5), 514–530, May 1988.
G. J. Holzmann. Design and Validation of Computer Protocols, Prentice Hall, 1991.
J. J. M. Hooman, S. Ramesh and W.P. de Roever. A compositional axiomatization of statecharts. Theoretical Computer Science, 101, 289–335, 1992.
i-Logix Inc. Andover, MA 01810, USA http://www.ilogix.com/.
I. Jacobson, M. Christerson, P. Jonsson, G. Overgaard. Object-Oriented Software Engineering: A Use Case Driven Approach, Addison Wesley, 1992.
L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16, 872–923, May 1994.
L. Lamport. TLA in pictures. IEEE Transactions on Software Engineering, 21(9), 768–775, September 1995.
G. H. Mealy. A method for synthesising sequential circuits. Bell System Tech. J., 34(5), 1045–1079, September 1955.
H. D. Mills, R. C. Linger and A. R. Hevner. Principles of Information Systems Analysis and Design. Academic Press, 1986.
E. F. Moore. Gedankenexperiments on sequential machines. Annals of Mathematics Studies, Vol. 34, Automata Studies, 129–153, Princeton University Press, Princeton, NJ, 1956.
IBM Corporation http://www.ibm.com.
J. Rumbaugh. Object-Oriented Modeling and Design, Prentice Hall, 1991.
B. Selic, G. Gullekson, P. T. Ward. RealTime ObjectOriented Modeling, John Wiley & Sons, 1994.
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/3-540-26661-5_7
Download citation
DOI: https://doi.org/10.1007/3-540-26661-5_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25472-0
Online ISBN: 978-3-540-26661-7
eBook Packages: Computer ScienceComputer Science (R0)