Skip to main content
SpringerLink
Log in

Rigorous object-oriented modeling: Integrating formal and informal notations

  • Conference paper
  • First Online:
Algebraic Methodology and Software Technology (AMAST 1997)

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

Abstract

The high-quality modeling experiences embedded in the more mature graphical OO methods (OOMs) makes their application to complex systems attractive, but the lack of firm semantic bases for the modeling notations can significantly hamper the development of such systems. One approach to making OOMs more precise and amenable to rigorous analysis is to integrate them with suitable formal modeling techniques. In this paper we describe a technique for integrating an OOM, the Fusion method, and a formal specification notation, Z.

This work was partially funded by NSF grant CCR-9410396.

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. Brian W. Bates, Jean-Michel Bruel, Robert B. France, and Maria M. Larrondo-Petrie. Formalizing Fusion Object-Oriented Analysis Models. In Elie Najm and Jean-Bernard Stephani, editors, Proceedings of the First IFIP International Workshop on Formal Methods for Open Object-based Distributed Systems, Paris, France. Chapman & Hall, London, UK, 4–6 March 1996.

    Google Scholar 

  2. Grady Booch. Object-Oriented Analysis and Design with Applications. Benjamin/Cummings, Menlo Park, CA, Second edition, 1994.

    Google Scholar 

  3. Stephen M. Brien and John E. Nicholls. Z base standard. Technical Monograph PRG-107, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, UK, November 1992.

    Google Scholar 

  4. Jean-Michel Bruel, Robert B. France, Bharat Chintapally, and Gopal K. Raghavan. A Tool for Rigorous Analysis of Object Models. In Proceedings of the 20 th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS'96), Santa Barbara, California, July 29–August 2 1996.

    Google Scholar 

  5. Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie, Bharat Chintapally, and Gopal K. Raghavan. CASE-based Rigorous Object-Oriented Modeling. In Proceedings of the Northern Formal Methods Workshop, Bradford, UK, 23–24 September 1996.

    Google Scholar 

  6. Derek Coleman, Patrick Arnold, Stephanie Bodoff, Chris Dollin, Helena Gilchrist, Fiona Hayes, and Paul Jeremaes. Object-Oriented Development: The Fusion Method. Prentice Hall, Englewood Cliffs, NJ, Object-Oriented Series edition, 1994.

    Google Scholar 

  7. Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, and Mark Saaltink. EVES: An Overview. In S. Prehn and W. J. Toetenel, editors, VDM'91: Formal Software Development Methods, volume 551 of Lecture Notes in Computer Science, pages 389–405. Springer-Verlag, 1991. Volume 1: Conference Contributions.

    Google Scholar 

  8. Robert B. France and Jean-Michel Bruel. The Role of Integrated Specification Techniques in Complex System Modeling and Analysis. In Proceedings of the Workshop on Real-Time Systems Education (RTSE'96), Daytona Beach, Florida, 20 April 1996.

    Google Scholar 

  9. J. Anthony Hall. Specifying and Interpreting Class Hierarchies in Z. In Bowen and Hall editors Z User Workshop, Cambridge 1994, Workshops in Computing. Springer-Verlag, New York, 1994.

    Google Scholar 

  10. I. Jacobson. Object oriented software engineering. Addison-Wesley, 1992.

    Google Scholar 

  11. Xiaoping Jia. An Approach to Animating Z Specifications. Division of Software Engineering, School of Computer Science, Telecommunication, and Information Systems, DePaul University, Chicago, IL, USA, 1995.

    Google Scholar 

  12. Xiaoping Jia. ZTC: A Z Type Checker, User's Guide, version 2.01. Division of Software Engineering, School of Computer Science, Telecommunication, and Information Systems, DePaul University, Chicago, IL, USA, May 1995. Available via anonymous ftp at ise.cs.depaul.edu.

    Google Scholar 

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

    Google Scholar 

  14. J. Michael Spivey. The Z Notation: A Reference Manual. Prentice Hall, Englewood Cliffs, NJ, Second edition, 1992.

    Google Scholar 

  15. R. Wirfs-Brock and B. Wilkerson. Designing object oriented software. Prentice-Hall, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science & Engineering, Florida Atlantic University, 33431, Boca Raton, FL, USA

    R. B. France, M. M. Larrondo-Petrie & E. Grant

  2. Laboratoire IRIT/SIERA, bat. 1R1 118, rte de Narbonne, 31062, Toulouse Cedex, France

    J. -M. Bruel

Authors
  1. R. B. France
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. -M. Bruel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. M. Larrondo-Petrie
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. E. Grant
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael Johnson

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

France, R.B., Bruel, J.M., Larrondo-Petrie, M.M., Grant, E. (1997). Rigorous object-oriented modeling: Integrating formal and informal notations. In: Johnson, M. (eds) Algebraic Methodology and Software Technology. AMAST 1997. Lecture Notes in Computer Science, vol 1349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0000473

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-69661-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation