Skip to main content
SpringerLink
Log in
Book cover

Handbook on Architectures of Information Systems pp 153–172Cite as

State Transition Diagrams

  • Chapter

  • 1791 Accesses

Part of the book series: International Handbooks on Information Systems ((INFOSYS))

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. E. W. Dijkstra. Cooperating sequential processes. In F. Genuys, ed., Programming Languages: NATO Advanced Study Institute, 43–112, Academic Press, 1968.

    Google Scholar 

  3. J. Ellsberger, D. Hogrefe and A. Sarma. SDL Formal ObjectOriented Language for Communicating Systems, Prentice Hall, 1997.

    Google Scholar 

  4. 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. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8, 231–274, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  6. 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. D. Harel. On visual formalisms. Communications of the ACM, 31(5), 514–530, May 1988.

    Article  MathSciNet  Google Scholar 

  8. G. J. Holzmann. Design and Validation of Computer Protocols, Prentice Hall, 1991.

    Google Scholar 

  9. J. J. M. Hooman, S. Ramesh and W.P. de Roever. A compositional axiomatization of statecharts. Theoretical Computer Science, 101, 289–335, 1992.

    Article  MathSciNet  Google Scholar 

  10. i-Logix Inc. Andover, MA 01810, USA http://www.ilogix.com/.

    Google Scholar 

  11. I. Jacobson, M. Christerson, P. Jonsson, G. Overgaard. Object-Oriented Software Engineering: A Use Case Driven Approach, Addison Wesley, 1992.

    Google Scholar 

  12. L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16, 872–923, May 1994.

    Article  Google Scholar 

  13. L. Lamport. TLA in pictures. IEEE Transactions on Software Engineering, 21(9), 768–775, September 1995.

    Article  Google Scholar 

  14. G. H. Mealy. A method for synthesising sequential circuits. Bell System Tech. J., 34(5), 1045–1079, September 1955.

    MathSciNet  Google Scholar 

  15. H. D. Mills, R. C. Linger and A. R. Hevner. Principles of Information Systems Analysis and Design. Academic Press, 1986.

    Google Scholar 

  16. 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. IBM Corporation http://www.ibm.com.

    Google Scholar 

  18. J. Rumbaugh. Object-Oriented Modeling and Design, Prentice Hall, 1991.

    Google Scholar 

  19. B. Selic, G. Gullekson, P. T. Ward. RealTime ObjectOriented Modeling, John Wiley & Sons, 1994.

    Google Scholar 

Download references

Authors
  1. Jules Desharnais
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marc Frappier
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ali Mili
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Information and Communication Technology, Griffith University, Kessels Rd, Nathan QLD, 4111, Australia

    Peter Bernus

  2. Fraunhofer Institute for Production Systems and Design Technology, Corporate Management, Pascalstraße 8-9, 10587, Berlin, Germany

    Kai Mertins

  3. Information and Technology Management, University of Saarland, Postfach 15 11 50, 66041, Saarbrücken, Germany

    Günter Schmidt

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation