State Transition Diagrams

  • Jules Desharnais
  • Marc Frappier
  • Ali Mili
Part of the International Handbooks on Information Systems book series (INFOSYS)


Temporal Logic State Transition Diagram Fairness Condition Mealy Machine Outgoing Arrow 
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.


  1. [DKFM97]
    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.Google Scholar
  2. [Dij68]
    E. W. Dijkstra. Cooperating sequential processes. In F. Genuys, ed., Programming Languages: NATO Advanced Study Institute, 43–112, Academic Press, 1968.Google Scholar
  3. [EHS97]
    J. Ellsberger, D. Hogrefe and A. Sarma. SDL Formal ObjectOriented Language for Communicating Systems, Prentice Hall, 1997.Google Scholar
  4. [GLM01]
    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.Google Scholar
  5. [Har87]
    D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8, 231–274, 1987.CrossRefMATHMathSciNetGoogle Scholar
  6. [Har87a]
    D. Harel. On the formal semantics of statecharts. Proc. 2nd IEEE Symposium on Logic in Computer Science, 54–64, Ithaca, NY, 1987.Google Scholar
  7. [Har88]
    D. Harel. On visual formalisms. Communications of the ACM, 31(5), 514–530, May 1988.CrossRefMathSciNetGoogle Scholar
  8. [Hol91]
    G. J. Holzmann. Design and Validation of Computer Protocols, Prentice Hall, 1991.Google Scholar
  9. [HRR92]
    J. J. M. Hooman, S. Ramesh and W.P. de Roever. A compositional axiomatization of statecharts. Theoretical Computer Science, 101, 289–335, 1992.CrossRefMathSciNetGoogle Scholar
  10. [iLogix]
    i-Logix Inc. Andover, MA 01810, USA Scholar
  11. [JCJO92]
    I. Jacobson, M. Christerson, P. Jonsson, G. Overgaard. Object-Oriented Software Engineering: A Use Case Driven Approach, Addison Wesley, 1992.Google Scholar
  12. [Lam94]
    L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16, 872–923, May 1994.CrossRefGoogle Scholar
  13. [Lam95]
    L. Lamport. TLA in pictures. IEEE Transactions on Software Engineering, 21(9), 768–775, September 1995.CrossRefGoogle Scholar
  14. [Mea55]
    G. H. Mealy. A method for synthesising sequential circuits. Bell System Tech. J., 34(5), 1045–1079, September 1955.MathSciNetGoogle Scholar
  15. [MLH86]
    H. D. Mills, R. C. Linger and A. R. Hevner. Principles of Information Systems Analysis and Design. Academic Press, 1986.Google Scholar
  16. [Moo56]
    E. F. Moore. Gedankenexperiments on sequential machines. Annals of Mathematics Studies, Vol. 34, Automata Studies, 129–153, Princeton University Press, Princeton, NJ, 1956.Google Scholar
  17. [RRRT]
    IBM Corporation Scholar
  18. [Rum91]
    J. Rumbaugh. Object-Oriented Modeling and Design, Prentice Hall, 1991.Google Scholar
  19. [SGW94]
    B. Selic, G. Gullekson, P. T. Ward. RealTime ObjectOriented Modeling, John Wiley & Sons, 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Jules Desharnais
  • Marc Frappier
  • Ali Mili

There are no affiliations available

Personalised recommendations