Towards object-oriented conceptual modeling

C. Sernadas, J. Fiadeiro

Research output: Contribution to journalArticlepeer-review

15 Citations (Scopus)


According to the object-oriented conceptual modeling approach that we present, a conceptual schema is a collection of fully concurrent objects that interact with each other. Such objects can correspond to either data components or process components since it is recognized that all components have a temporal existence in the sence that they can be created, can evolve and can be destroyed, if ever. An emphasis is put upon mechanisms for putting objects together in order to get more complex objects, namely inheritance as a safe import mechanism and aggregation of objects that interact through either event sharing or event calling. A proof-theoretic semantics is adopted. An object is a description (a signature and a collection of formulae) and mechanisms like interaction and aggregation are explained by description morphosms ('mappings' between descriptions that relate the signatures and the formulae). Examples are given for a very simple library system.
Original languageEnglish
Pages (from-to)479-508
Number of pages30
JournalData and Knowledge Engineering
Issue number6
Publication statusPublished - 1 Oct 1991


Dive into the research topics of 'Towards object-oriented conceptual modeling'. Together they form a unique fingerprint.

Cite this