Book chapter
Open access

Specifying Object Interactions: working paper

ContributorsArapis, Constantin
Published inObject composition = Composition d'objets, Editors Tsichritzis, Dionysios, p. 303-322
PublisherGenève : Centre universitaire d'informatique
Publication date1991

Techniques for specifying temporal properties of an application are presented, based on the assumption that static and behavioral properties have been described within some object-oriented model. These techniques enable the specification of the dynamic evolution of object behavior and the interactions of collections of cooperating objects. The underlying formalism used for our specifications is the language of first-order temporal logic. A method for checking consistency of specifications is also presented.

Citation (ISO format)
ARAPIS, Constantin. Specifying Object Interactions: working paper. In: Object composition = Composition d’objets. Genève : Centre universitaire d’informatique, 1991. p. 303–322.
Main files (1)
Book chapter (Published version)
  • PID : unige:158080

Technical informations

Creation01/18/2022 11:52:00 AM
First validation01/18/2022 11:52:00 AM
Update time03/16/2023 2:23:42 AM
Status update03/16/2023 2:23:41 AM
Last indexation01/17/2024 3:55:08 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack