A Compositional Trace Semantics for Orc

  • Dimitrios Vardoulakis
  • Mitchell Wand
Conference paper

DOI: 10.1007/978-3-540-68265-3_21

Volume 5052 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Vardoulakis D., Wand M. (2008) A Compositional Trace Semantics for Orc. In: Lea D., Zavattaro G. (eds) Coordination Models and Languages. COORDINATION 2008. Lecture Notes in Computer Science, vol 5052. Springer, Berlin, Heidelberg

Abstract

Orc [9] is a language for task orchestration. It has a small set of primitives, but sufficient to express many useful programs succinctly. We identify an ambiguity in the trace semantics of Kitchin et al. [9]. We give possible interpretations of the ambiguous definition and show that the semantics is not adequate regardless of the interpretation. We remedy this situation by providing new operational and denotational semantics with a better treatment of variable binding, and proving an adequacy theorem to relate them. Also, we investigate strong bisimulation in Orc and show that bisimulation implies trace equivalence but not vice versa.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Dimitrios Vardoulakis
    • 1
  • Mitchell Wand
    • 1
  1. 1.Northeastern University