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 <>
Submitted on : Tuesday, February 7, 2006 - 9:43:38 AM
Last modification on : Thursday, January 7, 2021 - 4:18:12 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

425

Files downloads

135