Logo
LogoUniGeSES

ASG list of publications

Citation

Costas Arapis, "Specifying Object Interactions", June, 1991

Abstract

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.

Additionnal Notes

in Technical Report "Object Composition", p 303-322, D. Tsichritzis editor, Centre Universitaire d'Informatique, University of Geneva

Bibtex

@unpublished{Arap91b,
Author = "Costas Arapis",
Title = "Specifying Object Interactions",
Key = "olit osg tr91",
Notes = "in Technical Report "Object Composition", p 303-322, D. Tsichritzis editor, Centre Universitaire d'Informatique, University of Geneva",
Month = "June",
Year = "1991"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.