Formalising Business Process Execution with Bigraphs and Reactive XML

  • Thomas Hildebrandt
  • Henning Niss
  • Martin Olsen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4038)


Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Ambients calculus as well as graphical models for concurrency such as Petri Nets. We investigate in this paper how Bigraphical Reactive Systems represented as Reactive XML can be used to provide a formal semantics as well as an extensible and mobile platform independent execution format for XML based business process and workflow description languages such as WS-BPEL and XPDL. We propose to extend the formalism with primitives for XPath evaluation and higher-order reaction rules to allow for a very direct and succinct semantics.


Business Process Parallel Composition Process Description Process Instance Execution State 
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.
    Abramsky, S.: Retracing some paths in process algebra. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 1–17. Springer, Heidelberg (1996)Google Scholar
  2. 2.
    Andrews, T., et al.: Business process execution language for web services (version 1.1). Technical report, IBM, Microsoft, SAP and others (May 2003)Google Scholar
  3. 3.
    Cardelli, L.: Semistructured computation. In: Connor, R.C.H., Mendelzon, A.O. (eds.) DBPL 1999. LNCS, vol. 1949, pp. 1–16. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  4. 4.
    Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  5. 5.
    Chinnici, R., Moreau, J.-J., Ryman, A., Weerawarana, S.: Web services description language (wsdl). Technical report, W3C (January 2006)Google Scholar
  6. 6.
    Ciancarini, P., Tolksdorf, R., Zambonelli, F.: Coordination middleware for XML-centric applications. In: Proc. ACM/SIGAPP Symp. on Applied Computing (SAC). ACM Press, New York (2002)Google Scholar
  7. 7.
    The Workflow Management Coalition. Process definition interface — XML process definition language (version 2.00). Technical Report WFMC-TC-1025, Workflow Management Coalition (WfMC) (2005)Google Scholar
  8. 8.
    Conforti, G., Macedonio, D., Sassone, V.: Bilogics: Spatial-nominal logics for bigraphs (2004)Google Scholar
  9. 9.
    Conforti, G., Macedonio, D., Sassone, V.: Bigraphical logics for XML. In: Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems (SEBD), pp. 392–399 (2005)Google Scholar
  10. 10.
    Jensen, O.H., Milner, R.: Bigraphs and transitions. In: Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 38–49. ACM Press, New York (2003)CrossRefGoogle Scholar
  11. 11.
    Girard, J.Y.: Geometry of interaction I: interpretation of system F. In: Proceedings Logic Colloquium, vol. 88, pp. 221–260. North-Holland, Amsterdam (1989)Google Scholar
  12. 12.
    Girard, J.Y.: Geometry of interaction II: deadlock free algorithms. In: Martin-Löf, P., Mints, G. (eds.) COLOG 1988. LNCS, vol. 417, pp. 76–93. Springer, Heidelberg (1990)Google Scholar
  13. 13.
    Havey, M.: Essential Business Process Modelling. O’Reilly, Sebastopol (2005)Google Scholar
  14. 14.
    Hildebrandt, T., Winther, J.W.: Bigraphs and (Reactive) XML. Technical Report TR-2005-56, IT University of Copenhagen (2005)Google Scholar
  15. 15.
    Hildebrandt, T., Niss, H., Olsen, M., Winther, J.W.: Distributed Reactive XML. In: 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord) (2005)Google Scholar
  16. 16.
    Hildebrandt, T., Niss, H., Olsen, M.: Business process execution languages as bigraphs and reactive xml. Technical Report TR 85, IT University of Copenhagen (2006)Google Scholar
  17. 17.
    Jensen, O.H., Milner, R.: Bigraphs and mobile processes (revised). Technical Report UCAM-CL-TR-580, University of Cambridge, Computer Laboratory (February 2004)Google Scholar
  18. 18.
    Leymann, F.: Web services flow language (WSFL). Technical report, IBM Software Group (2001)Google Scholar
  19. 19.
    Milner, R.: Bigraphs for petri nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 686–701. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  20. 20.
    Milner, R.: Bigraphical reactive systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 16–35. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  21. 21.
    Milner, R.: Axioms for bigraphical structure. Technical Report UCAM-CL-TR-581, University of Cambridge, Computer Laboratory (2004)Google Scholar
  22. 22.
    Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, I. Information and Computation 100(1), 1–40 (1992)zbMATHCrossRefMathSciNetGoogle Scholar
  23. 23.
    Olsen, M.: Encoding mobile workflows in Reactive XML. Master’s thesis, IT University of Copenhagen (2006) (in Danish)Google Scholar
  24. 24.
    Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Bonn: Institut für Instrumentelle Mathematik, Schriften des IIM Nr. 2 (1962), 2nd edn., New York: Griffiss Air Force Base, Technical Report RADC-TR-65–377, vol.1, pages: Suppl. 1, English translation (1966)Google Scholar
  25. 25.
    Puhlmanm, F., Weske, M.: Using the pi-calculus for formalizing workflow patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 153–168. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  26. 26.
    Stahl, C.: A Petri net semantics for BPEL. Informatik-Berichte 188, Humboldt-Universität zu Berlin (July 2005)Google Scholar
  27. 27.
    Stefansen, C.: A declarative framework for enterprise information systems. Master’s thesis, Dept.of Computer Science, University of Copenhagen (DIKU), Qualification Report (2005)Google Scholar
  28. 28.
    Thatte, S.: XLANG: Web services for business process design. Technical report, Microsoft Corporation (2001)Google Scholar
  29. 29.
    Tolksdorf, R.: Workspaces: A web-based workflow management system. IEEE Internet Computing (September 2002)Google Scholar
  30. 30.
    van der Aalst, W.M.P.: Pi calculus versus Petri nets: Let us eat “humble pie” rather than further inflate the “Pi hype”. BPTrends 3(5), 1–11 (2005)Google Scholar
  31. 31.
    Winther, J.W.: Reactive XML. Master’s thesis, IT University of Copenhagen (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Thomas Hildebrandt
    • 1
  • Henning Niss
    • 1
  • Martin Olsen
    • 1
  1. 1.IT University of CopenhagenDenmark

Personalised recommendations