We give formal semantics for a distributed concurrent object-oriented real-time programming language based on a variant of the actor model which includes an extention enabling the specijication of time constraints on messageinvocation. Real-time semantics must capture both the qualitative and quantitative aspects of the language, and provide a meaning for the real-time constructs. The real-time semantics of our language is given as timed graph, an existing real-time specgcation formalism. We present the semantics by first defining an operational semantics for the untimed language, and then translating this into a timed graph which intelprets the time constructs. Our semantics is formulated independently of the underlying resources needed to execute a pmgram; the semantics of a program thus defines the set of permissible concrete implementations.
The semantics for the timed actor-based language is given in REF .
Semantics for an actor-based real-time language
Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems
Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems
Computer Science