TY - GEN
T1 - Semantics for an actor-based real-time language
AU - Nielsen, Brian
AU - Agha, Gul
N1 - *The research has been made possible by support from the Office of Naval Research (N00014-93-1-0273),b y the National Science Foundation (NSF CCR 93-12495), and by grants from The Danish Technical Research Council and the Danish Research Academy. The author’s would also like to acknowledge helpful comments and criticisms from h eSkou, and from Dan Sturman, Shangping Ren, and other members of the Open Systems Laboratory.
PY - 1996
Y1 - 1996
N2 - 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 specification of time constraints on message invocation. 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 specification formalism. We present the semantics by first defining an operational semantics for the untimed language, and then translating this into a timed graph which interprets the time constructs. Our semantics is formulated independently of the underlying resources needed to execute a program; the semantics of a program thus defines the set of permissible concrete implementations.
AB - 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 specification of time constraints on message invocation. 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 specification formalism. We present the semantics by first defining an operational semantics for the untimed language, and then translating this into a timed graph which interprets the time constructs. Our semantics is formulated independently of the underlying resources needed to execute a program; the semantics of a program thus defines the set of permissible concrete implementations.
UR - https://www.scopus.com/pages/publications/85042934681
UR - https://www.scopus.com/pages/publications/85042934681#tab=citedBy
U2 - 10.1109/WPDRTS.1996.557685
DO - 10.1109/WPDRTS.1996.557685
M3 - Conference contribution
AN - SCOPUS:85042934681
T3 - Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems, WPDRTS 1996
SP - 223
EP - 228
BT - Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems, WPDRTS 1996
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 4th International Workshop on Parallel and Distributed Real-Time Systems, WPDRTS 1996
Y2 - 15 April 1996 through 16 April 1996
ER -