Semantics for an actor-based real-time language

Brian Nielsen, Gul Agha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationProceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems, WPDRTS 1996
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages223-228
Number of pages6
ISBN (Electronic)0818675152, 9780818675157
DOIs
StatePublished - 1996
Event4th International Workshop on Parallel and Distributed Real-Time Systems, WPDRTS 1996 - Honolulu, United States
Duration: Apr 15 1996Apr 16 1996

Publication series

NameProceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems, WPDRTS 1996

Conference

Conference4th International Workshop on Parallel and Distributed Real-Time Systems, WPDRTS 1996
CountryUnited States
CityHonolulu
Period4/15/964/16/96

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Hardware and Architecture
  • Modeling and Simulation

Fingerprint Dive into the research topics of 'Semantics for an actor-based real-time language'. Together they form a unique fingerprint.

Cite this