Towards a general purpose approach to object-oriented analysis

  • Flavio Bonfatti
  • Paola Daniela Monari
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 858)


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.


object-oriented analysis object-oriented model constraint representation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Bertino E. et al.: Object-oriented query languages: the notion and the issues, IEEE Trans. on Knowledge and Data Engineering, 4, 3, 1992.CrossRefGoogle Scholar
  2. [2]
    Bonfatti F., Pazzi L.: Modeling object complexity and behaviour: towards an ontological paradigm, COMPEURO 91 International Conf., Bologna, 1991.Google Scholar
  3. [3]
    Bonfatti F.: Intensional design of geographical information systems, EGIS 93 International Conf., Genova, 1993.Google Scholar
  4. [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. [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. [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. [7]
    Bunge M.: Treatise on Basic Philosophy, vols. 3 and 4, Ontology, Reider Publisher, 1979.Google Scholar
  8. [8]
    Coad P., Yourdon E.: Object Oriented Analysis, Yourdon Press, 1990.Google Scholar
  9. [9]
    Chen P. P. S.: The entity-relationship model — toward a unified view of data, ACM Trans. on Database System, 1, 1, 1976.CrossRefGoogle Scholar
  10. [10]
    De Marco T.: Structured Analysis and System Specification, Yourdon Press, 1978Google Scholar
  11. [11]
    Meyer B.: Object Oriented Software Construction, Prentice Hall, 1988.Google Scholar
  12. [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. [13]
    Rumbaugh J. et al.: Object-Oriented Modeling and Design, Prentice Hall, 1991.Google Scholar
  14. [14]
    Spivey J. M.: The Z-notation, Prentice Hall, 1989.Google Scholar
  15. [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. [16]
    Wirfs-Brock R. J., Johnson R. E.: Current research in object-oriented design, Communications of the ACM, 33, 9, 1990.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Flavio Bonfatti
    • 1
  • Paola Daniela Monari
    • 1
  1. 1.Dipartimento di Scienze dell'IngegneriaUniversita' di ModenaItaly

Personalised recommendations