Logo
LogoUniGeSES

ASG list of publications

Citation

Constantin Arapis, "A Temporal Perspective of Composite Objects", in Object-Oriented Software Composition, pp. 123-152, , , , 1995

Abstract

For the development of object-oriented applications, the description of temporal aspects of object behaviour often turns out to be an important issue. We present a collection of notions and concepts intended for the description of the temporal order in which messages are sent to and received from an object. We also propose notions for the description of the temporal order of messages exchanged between cooperating objects related with part-of relationships. Using propositional temporal logic as the underlying formalism of our approach, we show how to verify the consistency of object specifications.

Bibtex

@inbook{Arap95a,
Author = "Constantin Arapis",
Title = "A Temporal Perspective of Composite Objects",
Booktitle = "Object-Oriented Software Composition",
Chapter = "",
Volume = "",
Publisher = "Prentice Hall",
Edition = "O. Nierstrasz and D. Tsichritzis",
Series = "",
ISBN = "",
Address = "",
Key = "olit osg OOSC05",
Notes = "",
Month = "",
Year = "1995"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.