1Object Behavior Composition: A Temporal Logic Based Approach

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.