Skip to main content
SpringerLink
Log in

Combining object-oriented analysis and formal description techniques

  • Conference paper
  • First Online:
Object-Oriented Programming (ECOOP 1994)

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

Included in the following conference series:

Abstract

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.

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. Bolognesi, T., Brinksma, E.: Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14, 25–59, 1987.

    Article  Google Scholar 

  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. 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. 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. Coad, P., Yourdon, E.: Object Oriented Analysis (Second Edition), Yourdon Press, Prentice-Hall 1991.

    Google Scholar 

  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. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications (Vol. 1), Springer-Verlag 1985.

    Google Scholar 

  8. Fuchs, N.E.: Specifications are (preferably) Executable. Software Engineering Journal, 7, 323–334, 1992.

    Article  Google Scholar 

  9. Hayes, I.J., Jones, C.B.: Specifications are not (Necessarily) Executable. Software Engineering Journal, 4, 330–338, 1989.

    Article  Google Scholar 

  10. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall 1985.

    Google Scholar 

  11. ISO/IEC JTC1/SC21/WG7: Basic Reference Model of Open Distributed Processing, 1993.

    Google Scholar 

  12. Jacobson, I.: Object-Oriented Software Engineering. Addison-Wesley 1992.

    Google Scholar 

  13. Jones, C.B.: Systematic Software Development Using VDM. Prentice Hall 1986.

    Google Scholar 

  14. Meyer, B.: Eiffel: The Language. Prentice Hall 1992.

    Google Scholar 

  15. Milner, R.: Communication and Concurrency. Prentice-Hall 1989.

    Google Scholar 

  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. 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. 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. Rubin, K.S., Goldberg, A.: Object Behaviour Analysis. Communications of the ACM, 35(9) 48–62, 1992.

    Article  Google Scholar 

  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. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modelling and Design, Prentice-Hall 1991.

    Google Scholar 

  22. Shlaer, S., Mellor, S. J.: Object Lifecycles — Modeling the World in States, Prentice-Hall 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing Science and Mathematics, University Of Stirling, STIRLING FK9 4LA, Scotland, UK

    Ana M. D. Moreira & Robert G. Clark

Authors
  1. Ana M. D. Moreira
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Robert G. Clark
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Mario Tokoro Remo Pareschi

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Moreira, A.M.D., Clark, R.G. (1994). Combining object-oriented analysis and formal description techniques. In: Tokoro, M., Pareschi, R. (eds) Object-Oriented Programming. ECOOP 1994. Lecture Notes in Computer Science, vol 821. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0052191

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58202-1

  • Online ISBN: 978-3-540-48567-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation