Abstract
We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are first-class values that can be stored in variables, passed as messages, and activated as embedded sub-instances. A sub-instance is similar to a WSBPEL scope, except that it can be dynamically frozen and stored as a process in a variable, and then subsequently be thawed when reactivated as a sub-instance. We motivate HomeBPEL by an example of pervasive health care where treatment guidelines are dynamically deployed as sub processes that may be delegated dynamically to other workflow engines and in particular stay available for disconnected operation on mobile devices. We provide a formal semantics based on binding bigraphical reactive systems implemented in the BPL Tool as part of the Bigraphical Programming Languages project at ITU. The semantics is an extension of a semantics given previously for a simplified subset of WS-BPEL and exploits the close correspondence between bigraphs and XML to provide a formalized run-time format very close to standard WS-BPEL syntax, which also constitutes the representation of frozen sub-instances.
This work was funded in part by the Danish Research Agency (grant no.: 2106-07-0019, no.: 274-06-0415 and no.: 2059-03-0031) and the IT University of Copenhagen (the TrustCare, CosmoBiz and BPL projects).
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
Bundgaard, M., Glenstrup, A.J., Hildebrandt, T., Højsgaard, E.: An extensible formalization of WS-BPEL in binding bigraphs (submitted for publication, 2008)
Bundgaard, M., Glenstrup, A.J., Hildebrandt, T., Højsgaard, E., Niss, H.: Formalizing WS-BPEL and higher order mobile embedded business processes in the bigraphical programming languages (BPL) tool. Technical Report TR-2008-103, IT University of Copenhagen (2008)
Bundgaard, M., Hildebrandt, T.: Bigraphical semantics of higher-order mobile embedded resources with local names. In: Proceedings of GT-VC 2005. ENTCS, vol. 154, pp. 7–29. Elsevier, Amsterdam (2006)
Bundgaard, M., Hildebrandt, T., Godskesen, J.C.: Modelling the security of smart cards by hard and soft types for higher-order mobile embedded resources. In: Proceedings of SecCo 2007. ENTCS, vol. 194, pp. 23–38. Elsevier, Amsterdam (2007)
Cardelli, L., Gordon, A.D.: Mobile ambients. Theoretical Computer Science 240(1), 177–213 (2000)
Castagna, G., Vitek, J., Zappa Nardelli, F.: The Seal calculus. Journal of Information and Computation 201(1), 1–54 (2005)
Damgaard, T.C., Birkedal, L.: Axiomatizing binding bigraphs. Nordic Journal of Computing 13(1–2), 58–77 (2006)
Garralda, P., Compagnoni, A.B., Dezani-Ciancaglini, M.: BASS: Boxed ambients with safe sessions. In: Proceedings of PPDP 2006, pp. 61–72. ACM Press, New York (2006)
Glenstrup, A.J., Damgaard, T.C., Birkedal, L., Højsgaard, E.: An implementation of bigraph matching (submitted, 2008)
Godskesen, J.C., Hildebrandt, T.: Extending Howe’s method to early bisimulations for typed mobile embedded resources with local names. In: Ramanujam, R., Sen, S. (eds.) FSTTCS 2005. LNCS, vol. 3821, pp. 140–151. Springer, Heidelberg (2005)
Hildebrandt, T.: Computer supported mobile adaptive business processes (CosmoBiz) research project. Webpage (2007), http://www.cosmobiz.org/
Hildebrandt, T., Niss, H., Olsen, M.: Formalising business process execution with bigraphs and Reactive XML. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 113–129. Springer, Heidelberg (2006)
Hoffmann, K., Mossakowski, T.: Algebraic higher-order nets: Graphs and petri nets as tokens. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 253–267. Springer, Heidelberg (2003)
Jensen, O.H., Milner, R.: Bigraphs and mobile processes (revised). Technical Report UCAM-CL-TR-580, University of Cambridge – Computer Laboratory (2004)
Kloppmann, M., Koenig, D., Leymann, F., Pfau, G., Rickayzen, A., von Reigen, C., Schmidt, P., Trickovic, I.: WS-BPEL extension for sub-processes: BPEL-SPE. White paper, IBM and SAP (2005)
Lapadula, A., Pugliese, R., Tiezzi, F.: A WSDL-based type system for WS-BPEL. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 145–163. Springer, Heidelberg (2006)
Microsoft. Microsoft dynamics mobile development tools white paper - extending business solutions to the mobile workforce. Webpage (June 2007), http://dynamicsuser.net/files/folders/94158/download.aspx
Mostrous, D., Yoshida, N.: Two session typing systems for higher-order mobile processes. In: Della Rocca, S.R. (ed.) TLCA 2007. LNCS, vol. 4583, pp. 321–335. Springer, Heidelberg (2007)
Russell, N., ter Hofstede, A.H., van der Aalst, W.M., Mulyar, N.: Workflow control-flow patterns: A revised view. BPM Center Report BPM-06-22, BPMcenter.org (2006)
Sangiorgi, D.: From pi-calculus to higher-order pi-calculus - and back. In: CAAP 1993, FASE 1993, and TAPSOFT 1993. LNCS, vol. 668, pp. 151–166. Springer Verlag, Heidelberg (1993)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bundgaard, M., Glenstrup, A.J., Hildebrandt, T., Højsgaard, E., Niss, H. (2008). Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs. In: Lea, D., Zavattaro, G. (eds) Coordination Models and Languages. COORDINATION 2008. Lecture Notes in Computer Science, vol 5052. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68265-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-68265-3_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68264-6
Online ISBN: 978-3-540-68265-3
eBook Packages: Computer ScienceComputer Science (R0)