Specification of Real-Time Interaction Constraints

10 years 5 months ago
Specification of Real-Time Interaction Constraints
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraints, and our language supports expression thereof. In our language, a system is modeled by two separate but complementary descriptions: A collection of objects define the system's structure and functional behavior, and a set of interaction constraints define how these objects may interact. Our language thereby supports development of realtime systems by enabling objects build in isolation or reused from other systems to be composed via interaction constraints. We use the Actor model to describe objects and the concept of real-time synchronizers to describe interaction constraints. Our model is accompanied by a formal semantics that precisely defines what real-time constraints means, and what constitutes a program's correct real-time behaviors. The semantics defines how the system may evolve in the rea...
Brian Nielsen, Shangping Ren, Gul Agha
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Authors Brian Nielsen, Shangping Ren, Gul Agha
Comments (0)