Assembling Sessions

  • Philippe Darondeau
  • Loïc Hélouët
  • Madhavan Mukund
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6996)


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.


Shared Action Business Process Execution Language Online Sale Online Payment Session Scheme 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abiteboul, S., Benjelloun, O., Manolescu, I., Milo, T., Weber, R.: Active XML: A data-centric perspective on web services. In: BDA 2002 (2002)Google Scholar
  2. 2.
    Abiteboul, S., Segoufin, L., Vianu, V.: Static analysis of Active XML systems. In: PODS 2008, pp. 221–230 (2008)Google Scholar
  3. 3.
    Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business process execution language for web services (BPEL4WS). version 1.1 (2003)Google Scholar
  4. 4.
    Arlein, R.M., Dams, D., Hull, R.B., Letourneau, J.P., Namjoshi, K.S.: Telco meets the web: Programming shared-experience services. Bell Labs Technical Journal 14(3), 167–185 (2009)CrossRefGoogle Scholar
  5. 5.
    Darondeau, P., Hélouët, L., Mukund, M.: Assembling sessions (long version). Technical report, Inria Rennes and Chennai Mathematical Institute (2011),
  6. 6.
    Dufourd, C., Finkel, A., Schnoebelen, P.: Reset nets between decidability and undecidability. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol. 1443, pp. 103–115. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  7. 7.
    Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to petri nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 220–235. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  8. 8.
    Kitchin, D., Cook, W.R., Misra, J.: A language for task orchestration and its semantic properties. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 477–491. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  9. 9.
    Misra, J., Cook, W.: Computation orchestration. Software and Systems Modeling 6(1), 83–110 (2007)CrossRefGoogle Scholar
  10. 10.
    van der Aalst, W.M.P.: The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)CrossRefGoogle Scholar
  11. 11.
    Verbeek, H.M.W., van der Aalst, W.M.P.: Analyzing BPEL processes using Petri nets. In: Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, vol. 8(1), pp. 59–78 (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Philippe Darondeau
    • 1
  • Loïc Hélouët
    • 1
  • Madhavan Mukund
    • 2
  1. 1.IRISA, INRIARennesFrance
  2. 2.CMIChennaiIndia

Personalised recommendations