Assembling Sessions

Philippe Darondeau (1) , Loïc Hélouët (2) , Madhavan Mukund (3)

1 S4 - System synthesis and supervision, scenarios
2 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
3 Chennai Mathematical Institute [Inde]

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.

Domaines: Autre [cs.OH]

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. pp.259-274, ⟨10.1007/978-3-642-24372-1_19⟩. ⟨hal-00650950⟩