Assembling Sessions

Sessions are a central paradigm in Web 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.

[1]  Kedar S. Namjoshi,et al.  Telco meets the web: Programming shared-experience services , 2009 .

[2]  Ioana Manolescu,et al.  Active XML: Peer-to-Peer Data and Web Services Integration , 2002, VLDB.

[3]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[4]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[5]  Philippe Schnoebelen,et al.  Reset Nets Between Decidability and Undecidability , 1998, ICALP.

[6]  Robin Milner,et al.  On Observing Nondeterminism and Concurrency , 1980, ICALP.

[7]  Serge Abiteboul,et al.  Static analysis of active XML systems , 2008, TODS.

[8]  Karsten Wolf,et al.  Transforming BPEL to Petri Nets , 2005, Business Process Management.

[9]  Ioana Manolescu,et al.  Active XML: A Data-Centric Perspective on Web Services , 2004, Web Dynamics.

[10]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[11]  Jan Mendling.  Business Process Execution Language for Web Service (BPEL) , 2006 .

[12]  Christel Baier,et al.  CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings , 2006, CONCUR.

[13]  W.M.P. van der Aalst,et al.  Analyzing BPEL processes using Petri nets , 2005 .

[14]  Jayadev Misra,et al.  A Language for Task Orchestration and Its Semantic Properties , 2006, CONCUR.

[15]  Jayadev Misra,et al.  Computation Orchestration , 2007, Software & Systems Modeling.