Net systems semantics of Web Services Orchestrations modeled in Orc

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