Assembling Sessions

Philippe Darondeau 1 Loïc Hélouët 2 Madhavan Mukund 3
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 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
Abstract : Sessions are a central paradigm inWeb services to implement decentralized transactions with multiple participants. Sessions enable the cooperation of workflows while at the same time avoiding the mixing of workflows from distinct transactions. Languages such as BPEL, ORC, AXML that implement Web Services usually realize sessions by attaching unique identifiers to transactions. The expressive power of these languages makes the properties of the implemented services undecidable. In this paper, we propose a new formalism for modelling web services. Our model is session-based, but avoids using session identifiers. The model can be translated to a dialect of Petri nets that allows the verification of important properties of web services.
Type de document :
Communication dans un congrès
ATVA 2011 : 9th International Symposium on Automated Technology for Verification and Analysis, Oct 2011, Taipei, Taiwan. Springer, 6996, pp.259-274, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-24372-1_19〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00650950
Contributeur : Ist Rennes <>
Soumis le : lundi 12 décembre 2011 - 15:17:26
Dernière modification le : vendredi 16 novembre 2018 - 01:23:37

Identifiants

Citation

Philippe Darondeau, Loïc Hélouët, Madhavan Mukund. Assembling Sessions. ATVA 2011 : 9th International Symposium on Automated Technology for Verification and Analysis, Oct 2011, Taipei, Taiwan. Springer, 6996, pp.259-274, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-24372-1_19〉. 〈hal-00650950〉

Partager

Métriques

Consultations de la notice

316