Event Structure Semantics of Orc

  • Sidney Rosario
  • David Kitchin
  • Albert Benveniste
  • William Cook
  • Stefan Haar
  • Claude Jard
Conference paper

DOI: 10.1007/978-3-540-79230-7_11

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4937)
Cite this paper as:
Rosario S., Kitchin D., Benveniste A., Cook W., Haar S., Jard C. (2008) Event Structure Semantics of Orc. In: Dumas M., Heckel R. (eds) Web Services and Formal Methods. WS-FM 2007. Lecture Notes in Computer Science, vol 4937. Springer, Berlin, Heidelberg

Abstract

Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and sequential trace semantics - the common semantic domains - do not facilitate this kind of analysis because they do not precisely express the causal relationships between events. Asymmetric Event Structures (AES) provide an explicit representation of the causal dependencies between events in the execution of a system and allow for an elegant coding of preemption. Event structures are, however, difficult to construct compositionally, because they cannot easily represent fragments of a computation. The heaps we develop here allow for such a representation, and easily generate AES. In this paper, we develop a partial-order semantics in terms of heaps, for Orc, an orchestration language used to describe distributed computations over the internet. We briefly show how Orc, and this new semantics, are used for QoS studies of wide area orchestrations.

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

  • Sidney Rosario
    • 1
  • David Kitchin
    • 3
  • Albert Benveniste
    • 1
  • William Cook
    • 3
  • Stefan Haar
    • 4
  • Claude Jard
    • 2
  1. 1.Irisa/InriaRennes cedexFrance
  2. 2.Irisa/ENS CachanRennes cedexFrance
  3. 3.Department of Computer SciencesThe University of Texas at AustinAustinUSA
  4. 4.Irisa/Inria Rennes and SITEUniversity of OttawaCanada

Personalised recommendations