A distributed real-time language and its operational semantics

Author

Krishnan, Padmanabhan ; Volz, Richard

Author_Institution

Dept. of EECS, Michigan Univ., Ann Arbor, MI, USA

fYear

1989

fDate

5-7 Dec 1989

Firstpage

41

Lastpage

50

Abstract

An important issue in real-time computing is the development of a sufficiently abstract computational model. This model must enable one to specify, analyze, and implement distributed real-time systems. Therefore, there must also be a programming language based on the model. A description is given of such a programming language and its operational semantics. In the design of the language the applicative paradigm is extended to permit specification of parallelism, distribution, and time and temporal constraints. The language has constructs that use ideas from temporal logic and polymorphism to specify timing constraints. It uses the concept of events and a declarative event-handling style to represent communication and asynchrony. The formal model described is an operational semantics for the language and is based on dynamic algebras. The initial structure of the abstract machine for the language is described, and examples of transition rules are presented

Keywords

distributed processing; programming languages; real-time systems; abstract computational model; applicative paradigm; declarative event-handling style; distributed real-time language; dynamic algebras; operational semantics; polymorphism; programming language; real-time computing; specification of parallelism; temporal constraints; temporal logic; timing constraints; Algebra; Computational modeling; Computer languages; Computer networks; Electronic mail; Formal specifications; Parallel processing; Prototypes; Real time systems; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Real Time Systems Symposium, 1989., Proceedings.

Conference_Location

Santa Monica, CA

Print_ISBN

0-8186-2004-8

Type

conf

DOI

10.1109/REAL.1989.63555

Filename

63555