Skip to main content
SpringerLink
Log in

A formal representation for state diagrams in the OMT methodology

  • Contributed Papers
  • Conference paper
  • First Online:
SOFSEM'96: Theory and Practice of Informatics (SOFSEM 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1175))

Abstract

The paper proposes a formalization of the object and dynamic OMT models in terms of the Abstract Machine model and shows how certain relevant properties, such as whether a state is reachable, there are non-deterministic state transitions or cyclic state transitions, can be detected by using the proof mechanisms provide for Abstract Machine.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. R. Abrial. The B-Book. to appear, 1996.

    Google Scholar 

  2. R. H. Bordeau and B. H.C. Cheng. A Formal Semantics for Object Model Diagrams. IEEE Transaction on Software Engineering, 10, 1995.

    Google Scholar 

  3. T. C. Hartrum and P. D. Bailor. In Teaching Formal Extensions of Informal-Based Object-Oriented Analysis Methodologies, pages 389–409. Computer Science Education, 1994.

    Google Scholar 

  4. F. Hayes and D. Coleman. Coherent Models for Object-Oriented Analysis. In Proc. of OOPSLA '91, pages 171–183, 1991.

    Google Scholar 

  5. V. Jonckers, K. Verschaeve, L. Cuypers, and J. Heirbaut. OMT*, Bridging the Gap between Analysis and Design. 1995.

    Google Scholar 

  6. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, 1991.

    Google Scholar 

  7. F. Vitale. Analisi di Proprietà di Modelli Orientati ad Oggetti per lo Sviluppo di Sistemi Informativi. Dip. di Inf., Pisa, Tesi di Laurea, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Scienze dell'Informazione, Università degli Studi di Milano, Milano, Italy

    Elisa Bertino & Federica Vitale

  2. Istituto di Elaborazione dell'Informazione-CNR, Pisa, Italy

    Donatella Castelli

Authors
  1. Elisa Bertino
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Donatella Castelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Federica Vitale
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Keith G. Jeffery Jaroslav Král Miroslav Bartošek

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bertino, E., Castelli, D., Vitale, F. (1996). A formal representation for state diagrams in the OMT methodology. In: Jeffery, K.G., Král, J., Bartošek, M. (eds) SOFSEM'96: Theory and Practice of Informatics. SOFSEM 1996. Lecture Notes in Computer Science, vol 1175. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0037414

Download citation

  • DOI: https://doi.org/10.1007/BFb0037414

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61994-9

  • Online ISBN: 978-3-540-49588-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation