Rigorous object-oriented analysis

  • Ana M. D. Moreira
  • Robert G. Clark
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 858)


The Rigorous Object-Oriented Analysis (ROOA) method provides a systematic development process which takes a set of informal requirements and produces a formal object-oriented analysis model. The model, which is expressed in LOTOS, integrates the static, dynamic and functional aspects of a problem and acts as a requirements specification. As LOTOS specifications can be executed symbolically, rapid prototyping can be used to check the conformance of the specification against the requirements and to detect inconsistencies, omissions or ambiguities so that feedback can be given to the requirements capture process.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1):25–59, 1987.CrossRefGoogle Scholar
  2. 2.
    E. Brinksma (ed). Information Processing Systems — Open Systems Interconnection — LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observation Behaviour, ISO 8807, 1988.Google Scholar
  3. 3.
    R.G. Clark and V.M. Jones. Use of LOTOS in the Formal Development of an OSI Protocol. Computer Communications, 15(2):86–92, 1992.CrossRefGoogle Scholar
  4. 4.
    P. Coad and E. Yourdon. Object Oriented Analysis. Yourdon Press, Prentice-Hall, 2nd edition, 1991.Google Scholar
  5. 5.
    H. Eertink and D. Wolz. Symbolic Execution of LOTOS Specifications. In M. Diaz and R. Groz, editors, Formal Description Techniques V, pages 295–310, North-Holland, 1993.Google Scholar
  6. 6.
    H. Ehrig and B. Mahr. Fundamentals of Algebraic Specifications, volume 1. Springer-Verlag, 1985.Google Scholar
  7. 7.
    M. Hedlund. The Integration of LOTOS with an Object Oriented Development Method. In J.C.P. Woodcock and P.G. Larsen, editors, FME'93: Industrial-Strength Formal Methods, Lecture Notes in Computer Science, 670, pages 73–82. Springer-Verlag, 1993.Google Scholar
  8. 8.
    C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.Google Scholar
  9. 9.
    ISO/IEC JTC1/SC21/WG7. Basic Reference Model of Open Distributed Processing. Technical report, 1994.Google Scholar
  10. 10.
    I. Jacobson. Object-Oriented Software Engineering. Addison-Wesley, 1992.Google Scholar
  11. 11.
    R. Milner. A Calculus of Communicating Systems. Lecture Notes in Computer Science, 92. Springer-Verlag, 1980.Google Scholar
  12. 12.
    A.M.D. Moreira and R.G. Clark. LOTOS in the Object-Oriented Analysis Process. In BCS-FACS Workshop on Formal Aspects of Object Oriented Systems. London, December 1993.Google Scholar
  13. 13.
    A.M.D. Moreira and R.G. Clark. Rigorous Object-Oriented Analysis. Technical Report CSM-109, Computing Science Department, University of Stirling, Scotland, 1993.Google Scholar
  14. 14.
    A.M.D. Moreira and R.G. Clark. Combining Object-Oriented Analysis and Formal Description Techniques. In ECOOP'94, Lecture Notes in Computer Science. Springer-Verlag, 1994, to appear.Google Scholar
  15. 15.
    S. Rudkin. Inheritance in LOTOS, In K.R. Parker and G.A. Rose, editors, Formal Description Techniques IV, pages 409–423, North-Holland, 1992.Google Scholar
  16. 16.
    J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modelling and Design. Prentice-Hall, 1991.Google Scholar
  17. 17.
    S. Shlaer and S.J. Mellor. Object Lifecycles — Modeling the World in States. Prentice-Hall, 1992.Google Scholar
  18. 18.
    P. Zave. An Insider's Evaluation of PAISLey. IEEE Transactions on Software Engineering, 17(3):212–225, March 1991.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Ana M. D. Moreira
    • 1
  • Robert G. Clark
    • 1
  1. 1.Department of Computing Science and MathematicsUniversity Of StirlingStirlingScotland UK

Personalised recommendations