Formalizing higher-order mobile embedded business processes with binding bigraphs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5052 LNCS, Issue , 2008, Pages 83-99

  Bundgaard, Mikkel ^a   Glenstrup, Arne John ^a   Hildebrandt, Thomas ^a   Højsgaard, Espen ^a   Niss, Henning ^a  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; HEALTH; HEALTH CARE; INFORMATION THEORY; LINGUISTICS; MARKUP LANGUAGES; MOBILE DEVICES; PROCESS ENGINEERING; QUERY LANGUAGES; STANDARDS; TELECOMMUNICATION EQUIPMENT; VARIATIONAL TECHNIQUES;

(E ,3E) PROCESS; BIGRAPHICAL REACTIVE SYSTEMS (BRS); BIGRAPHS; BUSINESS PROCESS EXECUTION LANGUAGE (BPEL); BUSINESS PROCESSES (BP); COORDINATION MODELS; DISCONNECTED OPERATIONS; FORMAL SEMANTICS; HEIDELBERG (CO); HIGHER ORDER; INTERNATIONAL CONFERENCES; LANGUAGES (TRADITIONAL); PERVASIVE HEALTH CARE; RUN TIME; SPRINGER (CO); SUB PROCESSES; TREATMENT GUIDELINES; WORKFLOW ENGINES;

SEMANTICS;

EID: 45749109416     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68265-3_6     Document Type: Conference Paper

References (20)

1. Bundgaard, M., Glenstrup, A.J., Hildebrandt, T., Højsgaard, E.: An extensible formalization of WS-BPEL in binding bigraphs (submitted for publication, 2008)
2. 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)
3. 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)
4. 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)
5. Cardelli, L., Gordon, A.D.: Mobile ambients. Theoretical Computer Science 240(1), 177-213 (2000)
6. Castagna, G., Vitek, J., Zappa Nardelli, F.: The Seal calculus. Journal of Information and Computation 201(1), 1-54 (2005)
7. Damgaard, T.C., Birkedal, L.: Axiomatizing binding bigraphs. Nordic Journal of Computing 13(1-2), 58-77 (2006)
8. 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)
9. Glenstrup, A.J., Damgaard, T.C., Birkedal, L., Højsgaard, E.: An implementation of bigraph matching (submitted, 2008)
10. 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)
11. Hildebrandt, T.: Computer supported mobile adaptive business processes (CosmoBiz) research project. Webpage (2007), (http://www.cosmobiz.org/)
12. 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)
13. 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)
14. Jensen, O.H., Milner, R.: Bigraphs and mobile processes (revised). Technical Report UCAM-CL-TR-580, University of Cambridge - Computer Laboratory (2004)
15. 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)
16. 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)
17. 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)
18. 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)
19. 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, BPM-center.org (2006)
20. 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)