Combining object-oriented analysis and formal description techniques

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


The Rigorous Object-Oriented Analysis (ROOA) method provides a systematic development process by proposing a set of rules to be followed during the analysis phase. ROOA takes a set of informal requirements and an object model and produces a formal object-oriented analysis model that acts as a requirements specification. The resulting formal model integrates the static, dynamic and functional properties of a system in contrast to other object-oriented analysis methods which are informal and produce three separate models that are difficult to integrate and keep consistent. The model is expressed in LOTOS and provides a precise and unambiguous specification of a system's requirements. As the specification obtained is executable, prototyping can be used to check the conformance of the specification against the original requirements and to detect inconsistencies, omissions and ambiguities early in the development process.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bolognesi, T., Brinksma, E.: Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14, 25–59, 1987.CrossRefGoogle Scholar
  2. 2.
    Brinksma E. (ed).: Information Processing Systems — Open Systems Interconnection — LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, ISO 8807, 1988.Google Scholar
  3. 3.
    Carrington, D., Duke, D., Duke, R., King, P., Rose, G., Smith, G.: Object-Z: An Object-Oriented Extension to Z. In: Vuong S.T. (ed): Formal Description Techniques II, North-Holland 1989, pp. 281–295.Google Scholar
  4. 4.
    Clark, R.G.: Using LOTOS in the Object-Based Development of Embedded Systems. In: Rattray C.M.I., Clark R.G. (eds): Unified Computation Laboratory, Oxford University Press 1992, pp. 307–319.Google Scholar
  5. 5.
    Coad, P., Yourdon, E.: Object Oriented Analysis (Second Edition), Yourdon Press, Prentice-Hall 1991.Google Scholar
  6. 6.
    Eertink H., Wolz D.: Symbolic Execution of LOTOS Specifications. In: Diaz M., Groz R. (eds): Formal Description Techniques V, North-Holland 1993, pp. 295–310.Google Scholar
  7. 7.
    Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications (Vol. 1), Springer-Verlag 1985.Google Scholar
  8. 8.
    Fuchs, N.E.: Specifications are (preferably) Executable. Software Engineering Journal, 7, 323–334, 1992.CrossRefGoogle Scholar
  9. 9.
    Hayes, I.J., Jones, C.B.: Specifications are not (Necessarily) Executable. Software Engineering Journal, 4, 330–338, 1989.CrossRefGoogle Scholar
  10. 10.
    Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall 1985.Google Scholar
  11. 11.
    ISO/IEC JTC1/SC21/WG7: Basic Reference Model of Open Distributed Processing, 1993.Google Scholar
  12. 12.
    Jacobson, I.: Object-Oriented Software Engineering. Addison-Wesley 1992.Google Scholar
  13. 13.
    Jones, C.B.: Systematic Software Development Using VDM. Prentice Hall 1986.Google Scholar
  14. 14.
    Meyer, B.: Eiffel: The Language. Prentice Hall 1992.Google Scholar
  15. 15.
    Milner, R.: Communication and Concurrency. Prentice-Hall 1989.Google Scholar
  16. 16.
    Moreira, A.M.D., Clark, R.G.: Os Métodos Formais na Análise de OrientaÇÃo por Objectos. In: Leite, J. (ed): Proceedings 7th Brazilian Symposium on Software Engineering, Rio de Janeiro, October 1993, pp. 238–252.Google Scholar
  17. 17.
    Moreira, A.M.D., Clark, R.G.: Rigorous Object-Oriented Analysis. Technical Report TR 109, Computing Science Department, University of Stirling, Scotland 1993.Google Scholar
  18. 18.
    Moreira, A.M.D., Clark, R.G.: LOTOS in the Object-Oriented Analysis Process. In: BCS-FACS Workshop on Formal Aspects of Object Oriented Systems, London, December 1993.Google Scholar
  19. 19.
    Rubin, K.S., Goldberg, A.: Object Behaviour Analysis. Communications of the ACM, 35(9) 48–62, 1992.CrossRefGoogle Scholar
  20. 20.
    Rudkin, S.: Inheritance in LOTOS. In: Parker, K.R., Rose, G.A. (eds): Formal Description Techniques IV, North-Holland 1992, pp. 409–423.Google Scholar
  21. 21.
    Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modelling and Design, Prentice-Hall 1991.Google Scholar
  22. 22.
    Shlaer, S., Mellor, S. J.: Object Lifecycles — Modeling the World in States, Prentice-Hall 1992.Google 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 StirlingScotland, UK

Personalised recommendations