Skip to Main content Skip to Navigation
New interface
Conference papers

Event Structure Semantics of Orc

Sidney Rosario 1 David Kitchin 2 Albert Benveniste 1 William J. Cook 2 Stefan Haar 1 Claude Jard 1 
1 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00638299
Contributor : Stefan Haar Connect in order to contact the contributor
Submitted on : Friday, November 4, 2011 - 2:58:06 PM
Last modification on : Saturday, November 19, 2022 - 3:43:07 AM

Links full text

Identifiers

Citation

Sidney Rosario, David Kitchin, Albert Benveniste, William J. Cook, Stefan Haar, et al.. Event Structure Semantics of Orc. Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM'07), 2008, Brisbane, Australia, Australia. pp.154-168, ⟨10.1007/978-3-540-79230-7_11⟩. ⟨inria-00638299⟩

Share

Metrics

Record views

238