Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
Translating Orc features into Petri Nets and Join Calculus @INPROCEEDINGS{BMT:WSFM2006:TOFPNJC, title = {{Translating Orc features into Petri Nets and Join Calculus}}, author = {{Roberto} {Bruni} and {Hern\'an} {Melgratti} and {Emilio} {Tuosto}}, booktitle = {Proceedings of WS-FM 2006, 3rd International Workshop on Web Services and Formal Methods}, editor = {M. Bravetti and G. Zavattaro}, pages = {123--137}, 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.}, publisher = {Springer Verlag}, series = {Lecture Notes in Computer Science}, volume = {4184}, year = {2006}, url = {http://www.di.unipi.it/~bruni/publications/wsfm2006a.pdf.gz}, doi = {10.1007/11841197_8}, isbn = {3-540-38862-1}, partner = {PISA, ULEICES}, status = {public}, task = {T2.3, T5.2}, }
|