HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Net systems semantics of Web Services Orchestrations modeled in Orc

Sidney Rosario 1 Albert Benveniste 1 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
Résumé : Web Services Orchestrations require a firm mathematical basis for their development. We start from the Orc formalism proposed by J. Misra and co-workers, at Austin University. Orc is small and elegant and captures the essence of Orchestrations. We translate Orc into colored Petri net systems, a generalization of Petri nets allowing to handle recursion---this formalism was recently proposed by Devillers et al. Our approach applies as well to standards such as BPEL. \\ Ce travail présente une séemantique formelle détaillée pour les orchestrations de services Web. Nous partons du formalisme Orc proposé par le groupe de J. Misra à l'Université d'Austin. Orc a l'avantage d'être élégant et compact et de dégager les grandes caractéristiques du concept d'orchestration. Le domaine sémantique choisi est celui des systèmes de réseaux, une extension des réseaux de Petri récemment proposée par l'équipe de Devillers. La même approche peut être appliquée au standard BPEL, dont la traduction est toutefois significativement plus lourde.
Complete list of metadata

https://hal.inria.fr/inria-00001103
Contributor : Anne Jaigu Connect in order to contact the contributor
Submitted on : Tuesday, February 7, 2006 - 9:43:38 AM
Last modification on : Wednesday, April 6, 2022 - 3:48:07 PM
Long-term archiving on: : Saturday, April 3, 2010 - 10:14:04 PM

Identifiers

  • HAL Id : inria-00001103, version 1

Citation

Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard. Net systems semantics of Web Services Orchestrations modeled in Orc. [Research Report] PI 1780, 2006. ⟨inria-00001103⟩

Share

Metrics

Record views

179

Files downloads

55