Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Andrews, T., et al.: Business process execution language for web services (version 1.1). Technical report, IBM, Microsoft, SAP and others (May 2003)
Cardelli, L.: Semistructured computation. In: Connor, R.C.H., Mendelzon, A.O. (eds.) DBPL 1999. LNCS, vol. 1949, pp. 1–16. Springer, Heidelberg (2000)
Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)
Chinnici, R., Moreau, J.-J., Ryman, A., Weerawarana, S.: Web services description language (wsdl). Technical report, W3C (January 2006)
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)
The Workflow Management Coalition. Process definition interface — XML process definition language (version 2.00). Technical Report WFMC-TC-1025, Workflow Management Coalition (WfMC) (2005)
Conforti, G., Macedonio, D., Sassone, V.: Bilogics: Spatial-nominal logics for bigraphs (2004)
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)
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)
Girard, J.Y.: Geometry of interaction I: interpretation of system F. In: Proceedings Logic Colloquium, vol. 88, pp. 221–260. North-Holland, Amsterdam (1989)
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)
Havey, M.: Essential Business Process Modelling. O’Reilly, Sebastopol (2005)
Hildebrandt, T., Winther, J.W.: Bigraphs and (Reactive) XML. Technical Report TR-2005-56, IT University of Copenhagen (2005)
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)
Hildebrandt, T., Niss, H., Olsen, M.: Business process execution languages as bigraphs and reactive xml. Technical Report TR 85, IT University of Copenhagen (2006)
Jensen, O.H., Milner, R.: Bigraphs and mobile processes (revised). Technical Report UCAM-CL-TR-580, University of Cambridge, Computer Laboratory (February 2004)
Leymann, F.: Web services flow language (WSFL). Technical report, IBM Software Group (2001)
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)
Milner, R.: Bigraphical reactive systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 16–35. Springer, Heidelberg (2001)
Milner, R.: Axioms for bigraphical structure. Technical Report UCAM-CL-TR-581, University of Cambridge, Computer Laboratory (2004)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, I. Information and Computation 100(1), 1–40 (1992)
Olsen, M.: Encoding mobile workflows in Reactive XML. Master’s thesis, IT University of Copenhagen (2006) (in Danish)
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)
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)
Stahl, C.: A Petri net semantics for BPEL. Informatik-Berichte 188, Humboldt-Universität zu Berlin (July 2005)
Stefansen, C.: A declarative framework for enterprise information systems. Master’s thesis, Dept.of Computer Science, University of Copenhagen (DIKU), Qualification Report (2005)
Thatte, S.: XLANG: Web services for business process design. Technical report, Microsoft Corporation (2001)
Tolksdorf, R.: Workspaces: A web-based workflow management system. IEEE Internet Computing (September 2002)
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)
Winther, J.W.: Reactive XML. Master’s thesis, IT University of Copenhagen (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hildebrandt, T., Niss, H., Olsen, M. (2006). Formalising Business Process Execution with Bigraphs and Reactive XML. In: Ciancarini, P., Wiklicky, H. (eds) Coordination Models and Languages. COORDINATION 2006. Lecture Notes in Computer Science, vol 4038. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11767954_8
Download citation
DOI: https://doi.org/10.1007/11767954_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34694-4
Online ISBN: 978-3-540-34695-1
eBook Packages: Computer ScienceComputer Science (R0)