Rigorous object-oriented modeling: Integrating formal and informal notations

  • R. B. France
  • J. -M. Bruel
  • M. M. Larrondo-Petrie
  • E. Grant
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1349)


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.


Object Model Class Schema Operation Model Data Dictionary Configuration Schema 
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. 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. 2.
    Grady Booch. Object-Oriented Analysis and Design with Applications. Benjamin/Cummings, Menlo Park, CA, Second edition, 1994.Google Scholar
  3. 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. 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. 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. 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. 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. 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. 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. 10.
    I. Jacobson. Object oriented software engineering. Addison-Wesley, 1992.Google Scholar
  11. 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. 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 Scholar
  13. 13.
    J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, 1991.Google Scholar
  14. 14.
    J. Michael Spivey. The Z Notation: A Reference Manual. Prentice Hall, Englewood Cliffs, NJ, Second edition, 1992.Google Scholar
  15. 15.
    R. Wirfs-Brock and B. Wilkerson. Designing object oriented software. Prentice-Hall, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • R. B. France
    • 1
  • J. -M. Bruel
    • 2
  • M. M. Larrondo-Petrie
    • 1
  • E. Grant
    • 1
  1. 1.Department of Computer Science & EngineeringFlorida Atlantic UniversityBoca RatonUSA
  2. 2.Laboratoire IRIT/SIERAToulouse CedexFrance

Personalised recommendations