Doctoral thesis
Open access

Dynamic evolution of object behavior and object cooperation

Other titleL'évolution dynamique du comportement et de la coopération d'objets
ContributorsArapis, Constantin
Number of pages142
Imprimatur date1992-02-19

A multitude of data models has been proposed for specifying static aspects (data) and operational aspects (operations on data) of the real world. However, it is often desirable to describe additional aspects of the real world. For example dynamic models have been developed for the description of temporal aspects. The motivation for this thesis was to design a dynamic model reflecting the philosophy of the object-oriented approach. In particular the temporal aspects emphasized by the proposed model are the description of the temporal evolution of object behaviour and of the temporal properties and rules concerning the cooperation of a collection of objects. We have chosen the language of propositional temporal logic as the underlying formalism of our model. The satisfiability algorithm of temporal logic has been the basis for providing a rigorous and automatic procedure for the verification of user provided specifications.

Citation (ISO format)
ARAPIS, Constantin. Dynamic evolution of object behavior and object cooperation. 1992. doi: 10.13097/archive-ouverte/unige:155425
Main files (1)

Technical informations

Creation10/14/2021 10:49:00 AM
First validation10/14/2021 10:49:00 AM
Update time03/16/2023 1:31:02 AM
Status update03/16/2023 1:31:01 AM
Last indexation09/18/2023 9:33:02 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack