Real-time rewriting semantics of orc

Musab Alturki, Jose Meseguer

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

Abstract

Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct and understandable programming of sophisticated applications. However, because of its real-time nature and the different priorities given to internal and external events in an Orc program, giving a formal operational semantics that captures the real-time behavior of Orc programs is nontrivial and poses some interesting challenges. In this paper we propose such a real-time operational Orc semantics, that captures the informal operational semantics given in [19]. This operational semantics is given as a rewrite theory in which the elapse of time is explicitly modeled. The priorities between internal and external events are also modeled in two alternative ways: (i) by a rewrite strategy; and (ii) by adding extra conditions to the semantic rules. Since rewriting logic has efficient implementations such as Maude, we also get, directly out of the semantic definitions, both an Orc interpreter and an LTL model checker for Orc programs.

Original languageEnglish (US)
Title of host publicationPPDP'07
Subtitle of host publicationProceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Pages131-142
Number of pages12
DOIs
StatePublished - Aug 27 2007
Event9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'07 - Wroclaw, Poland
Duration: Jul 14 2007Jul 16 2007

Publication series

NamePPDP'07: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Other

Other9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'07
CountryPoland
CityWroclaw
Period7/14/077/16/07

Keywords

  • Formal analysis
  • Maude
  • Orc
  • Orchestration theory
  • Real-time
  • Rewriting logic
  • Structural operational semantics

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Real-time rewriting semantics of orc'. Together they form a unique fingerprint.

  • Cite this

    Alturki, M., & Meseguer, J. (2007). Real-time rewriting semantics of orc. In PPDP'07: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (pp. 131-142). (PPDP'07: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming). https://doi.org/10.1145/1273920.1273938