Title :
Semantics for an actor-based real-time language
Author :
Nielsen, Brian ; Agha, Gul
Author_Institution :
Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
Abstract :
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
Keywords :
computational linguistics; formal languages; graph theory; message passing; object-oriented languages; parallel languages; real-time systems; actor based real time language semantics; actor model; distributed concurrent object oriented real time programming language; formal semantics; message invocation; operational semantics; permissible concrete implementations; quantitative aspects; real time constructs; real time semantics; real time specification formalism; time constraints; timed graph; untimed language; Computer languages; Computer science; Concrete; Councils; Law; Legal factors; Object oriented modeling; Open systems; Real time systems; Time factors;
Conference_Titel :
Parallel and Distributed Real-Time Systems, 1996. Proceedings of the 4th International Workshop on
Conference_Location :
Honolulu, HI
Print_ISBN :
0-8186-7515-2
DOI :
10.1109/WPDRTS.1996.557685