TY - GEN
T1 - Semantics for an actor-based real-time language
AU - Nielsen, Brian
AU - Agha, Gul
N1 - Publisher Copyright:
© 1996 IEEE.
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 - http://www.scopus.com/inward/record.url?scp=85042934681&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85042934681&partnerID=8YFLogxK
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 -