DMCA
Translating Orc features into petri nets and the join calculus (2006)
| Venue: | Web Services and Formal Methods |
| Citations: | 6 - 0 self |
BibTeX
@INPROCEEDINGS{Bruni06translatingorc,
author = {Roberto Bruni and Hernán Melgratti and Emilio Tuosto},
title = {Translating Orc features into petri nets and the join calculus},
booktitle = {Web Services and Formal Methods},
year = {2006},
pages = {123--137},
publisher = {Springer}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Cook and Misra’s Orc is an elegant language for orchestrating distributed services, able to cover e.g. van der Aalst’s workflow patterns. We aim to understand the key novel features of Orc by comparing it with variations of Petri nets. The comparison shows that Orc hides powerful mechanisms for name handling (creation and passing) and for atomic distributed termination. Petri nets with static topology can encode Orc under severe restrictions while the full language (up to a more realistic cancellation strategy) can be encoded in Join (that can be seen as a higher-order extension of Petri nets). As an overall result, we promote Join calculus as an elegant language embedding orchestration and computation.
Keyphrases
petri net join calculus orc feature elegant language full language van der aalst powerful mechanism higher-order extension name handling realistic cancellation strategy key novel feature atomic distributed termination static topology workflow pattern distributed service overall result severe restriction
