Logo
LogoUniGeSES

ASG list of publications

Citation

Costas Arapis, "Specifying Object Life-Cycles", July, 1990

Abstract

In this paper we propose a number of extensions for object-oriented models in order to describe dynamic aspects of applications. These extensions enable the specification of objects that modify their behavior dynamically and the control of the dynamic evolution of objects by means of constraints expressed in the language of propositional temporal logic. We shall point out what differentiates our proposal from existing models and give examples to illustrate our arguments. We also present an algorithm for verifying consistency of specifications and which is suitable for an eventual implementation of our extensions.

Additionnal Notes

in Technical Report "Object Management", p 197-225, D. Tsichritzis editor, Centre Universitaire d'Informatique, University of Geneva

Bibtex

@unpublished{Arap90a,
Author = "Costas Arapis",
Title = "Specifying Object Life-Cycles",
Key = "olit osg-ftp tr90",
Notes = "in Technical Report "Object Management", p 197-225, D. Tsichritzis editor, Centre Universitaire d'Informatique, University of Geneva",
Month = "July",
Year = "1990"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.