Logo
LogoUniGeSES

ASG list of publications

Citation

Costas Arapis, "Object Behavior Composition: A Temporal Logic Based Approach", July, 1992

Abstract

A critical aspect of object-oriented design methodologies is what has been called the behavioral composition of objects. That is, how to reuse, combine and coordinate the functionality of existing objects when developing new objects. This paper presents an approach emphasizing the specification of temporal aspects of behavioral composition. Using propositional temporal logic as the underlying formalism of our approach, we show how to verify the consistency of specifications and how to monitor adherence to the specifications during run time.

Additionnal Notes

in Technical Report "Object Frameworks", p 79-107, D. Tsichritzis editor, Centre Universitaire d'Informatique, University of Geneva

Bibtex

@unpublished{Arap92a,
Author = "Costas Arapis",
Title = "Object Behavior Composition: A Temporal Logic Based Approach",
Key = "olit osg tr92 osg-book",
Notes = "in Technical Report "Object Frameworks", p 79-107, D. Tsichritzis editor, Centre Universitaire d'Informatique, University of Geneva",
Month = "July",
Year = "1992"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.