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...

• Type: Conference
• Year: 1998
• Where: ISORC
• Authors: Brian Nielsen, Shangping Ren, Gul Agha
• Keywords: Distributed And Parallel Computing, Interaction Constraints, ISORC 1998, Real-time Constraints, Realtime Systems