Towards object-oriented conceptual modeling

摘要

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.