Skip to main content

Towards a general purpose approach to object-oriented analysis

  • Conference paper
  • First Online:
Object-Oriented Methodologies and Systems (ISOOMS 1994)

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

Included in the following conference series:

Abstract

It is the aim of this paper to present an approach to object-oriented analysis that tends to be general purpose, in that it represents entities and events of the application domain without being affected by implementative issues. Thus, we wish to overcome major limitations of current object-oriented analysis methodologies: they produce schemas that are actually usable only in object-oriented development environments, and still express dynamic knowledge in natural language or in procedural form. Our approach is based on a object-oriented model that replaces the method, or routine, primitive with the law primitive and establishes a strict dependency between object structural and behavioural representations. In particular, the dynamics is described by constraining variations of object states by means of invariants expressed in the form of predicate calculus formulas.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bertino E. et al.: Object-oriented query languages: the notion and the issues, IEEE Trans. on Knowledge and Data Engineering, 4, 3, 1992.

    Article  Google Scholar 

  2. Bonfatti F., Pazzi L.: Modeling object complexity and behaviour: towards an ontological paradigm, COMPEURO 91 International Conf., Bologna, 1991.

    Google Scholar 

  3. Bonfatti F.: Intensional design of geographical information systems, EGIS 93 International Conf., Genova, 1993.

    Google Scholar 

  4. Bonfatti F., Pazzi L.: An ontology-driven approach to knowledge representation, International workshop on Formal Ontology in Conceptual Analysis and Knowledge Representation, Padova, 1993.

    Google Scholar 

  5. Bonfatti F., Monari P. D.: Spatio-temporal modeling of complex geographic structures, CSEIA 93, IFIP WG5.11 Working Conference, Como, 1993.

    Google Scholar 

  6. Bonfatti F., Monari P. D., Paganelli P.: Towards a rule-based unified product modelling, DKSME94 (Data and Knowledge System for Manufacturing and Engineering) International Conf., Hong Kong, 1994.

    Google Scholar 

  7. Bunge M.: Treatise on Basic Philosophy, vols. 3 and 4, Ontology, Reider Publisher, 1979.

    Google Scholar 

  8. Coad P., Yourdon E.: Object Oriented Analysis, Yourdon Press, 1990.

    Google Scholar 

  9. Chen P. P. S.: The entity-relationship model — toward a unified view of data, ACM Trans. on Database System, 1, 1, 1976.

    Article  Google Scholar 

  10. De Marco T.: Structured Analysis and System Specification, Yourdon Press, 1978

    Google Scholar 

  11. Meyer B.: Object Oriented Software Construction, Prentice Hall, 1988.

    Google Scholar 

  12. Minsky N. H., Rozenshtein D.: A law-based approach to object-oriented programming, Proc. of the OOPSLA 87 Conf., Orlando Fla, 1987.

    Google Scholar 

  13. Rumbaugh J. et al.: Object-Oriented Modeling and Design, Prentice Hall, 1991.

    Google Scholar 

  14. Spivey J. M.: The Z-notation, Prentice Hall, 1989.

    Google Scholar 

  15. Wand Y.: A proposal for a formal model of objects, in Object-Oriented Concepts, Databases and Applications, W. Kim F. Lochowsky eds., Addison Wesley, 1989.

    Google Scholar 

  16. Wirfs-Brock R. J., Johnson R. E.: Current research in object-oriented design, Communications of the ACM, 33, 9, 1990.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Elisa Bertino Susan Urban

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bonfatti, F., Monari, P.D. (1994). Towards a general purpose approach to object-oriented analysis. In: Bertino, E., Urban, S. (eds) Object-Oriented Methodologies and Systems. ISOOMS 1994. Lecture Notes in Computer Science, vol 858. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014020

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58451-3

  • Online ISBN: 978-3-540-48804-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics