{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:35:14Z","timestamp":1725543314400},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540346944"},{"type":"electronic","value":"9783540346951"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767954_8","type":"book-chapter","created":{"date-parts":[[2006,6,10]],"date-time":"2006-06-10T15:48:13Z","timestamp":1149954493000},"page":"113-129","source":"Crossref","is-referenced-by-count":11,"title":["Formalising Business Process Execution with Bigraphs and Reactive XML"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Hildebrandt","sequence":"first","affiliation":[]},{"given":"Henning","family":"Niss","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Olsen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"CONCUR \u201996: Concurrency Theory","author":"S. Abramsky","year":"1996","unstructured":"Abramsky, S.: Retracing some paths in process algebra. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 1\u201317. Springer, Heidelberg (1996)"},{"key":"8_CR2","unstructured":"Andrews, T., et al.: Business process execution language for web services (version 1.1). Technical report, IBM, Microsoft, SAP and others (May 2003)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44543-9_1","volume-title":"Research Issues in Structured and Semistructured Database Programming","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L.: Semistructured computation. In: Connor, R.C.H., Mendelzon, A.O. (eds.) DBPL 1999. LNCS, vol.\u00a01949, pp. 1\u201316. Springer, Heidelberg (2000)"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"key":"8_CR5","unstructured":"Chinnici, R., Moreau, J.-J., Ryman, A., Weerawarana, S.: Web services description language (wsdl). Technical report, W3C (January 2006)"},{"key":"8_CR6","volume-title":"Proc. ACM\/SIGAPP Symp. on Applied Computing (SAC)","author":"P. Ciancarini","year":"2002","unstructured":"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)"},{"key":"8_CR7","unstructured":"The Workflow\u00a0Management Coalition. Process definition interface \u2014 XML process definition language (version 2.00). Technical Report WFMC-TC-1025, Workflow Management Coalition (WfMC) (2005)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Conforti, G., Macedonio, D., Sassone, V.: Bilogics: Spatial-nominal logics for bigraphs (2004)","DOI":"10.1007\/11523468_62"},{"key":"8_CR9","unstructured":"Conforti, G., Macedonio, D., Sassone, V.: Bigraphical logics for XML. In: Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems (SEBD), pp. 392\u2013399 (2005)"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/604131.604135","volume-title":"Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)","author":"O.H. Jensen","year":"2003","unstructured":"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\u201349. ACM Press, New York (2003)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Girard, J.Y.: Geometry of interaction I: interpretation of system F. In: Proceedings Logic Colloquium, vol.\u00a088, pp. 221\u2013260. North-Holland, Amsterdam (1989)","DOI":"10.1016\/S0049-237X(08)70271-4"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/3-540-52335-9_49","volume-title":"COLOG-88","author":"J.Y. Girard","year":"1990","unstructured":"Girard, J.Y.: Geometry of interaction II: deadlock free algorithms. In: Martin-L\u00f6f, P., Mints, G. (eds.) COLOG 1988. LNCS, vol.\u00a0417, pp. 76\u201393. Springer, Heidelberg (1990)"},{"key":"8_CR13","volume-title":"Essential Business Process Modelling","author":"M. Havey","year":"2005","unstructured":"Havey, M.: Essential Business Process Modelling. O\u2019Reilly, Sebastopol (2005)"},{"key":"8_CR14","unstructured":"Hildebrandt, T., Winther, J.W.: Bigraphs and (Reactive) XML. Technical Report TR-2005-56, IT University of Copenhagen (2005)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1016\/j.entcs.2005.12.024"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Hildebrandt, T., Niss, H., Olsen, M.: Business process execution languages as bigraphs and reactive xml. Technical Report TR 85, IT University of Copenhagen (2006)","DOI":"10.1007\/11767954_8"},{"key":"8_CR17","unstructured":"Jensen, O.H., Milner, R.: Bigraphs and mobile processes (revised). Technical Report UCAM-CL-TR-580, University of Cambridge, Computer Laboratory (February 2004)"},{"key":"8_CR18","unstructured":"Leymann, F.: Web services flow language (WSFL). Technical report, IBM Software Group (2001)"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1007\/978-3-540-27755-2_19","volume-title":"Lectures on Concurrency and Petri Nets","author":"R. Milner","year":"2004","unstructured":"Milner, R.: Bigraphs for petri nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 686\u2013701. Springer, Heidelberg (2004)"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-44685-0_2","volume-title":"CONCUR 2001 - Concurrency Theory","author":"R. Milner","year":"2001","unstructured":"Milner, R.: Bigraphical reactive systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 16\u201335. Springer, Heidelberg (2001)"},{"key":"8_CR21","unstructured":"Milner, R.: Axioms for bigraphical structure. Technical Report UCAM-CL-TR-581, University of Cambridge, Computer Laboratory (2004)"},{"issue":"1","key":"8_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, I. Information and Computation\u00a0100(1), 1\u201340 (1992)","journal-title":"Information and Computation"},{"key":"8_CR23","unstructured":"Olsen, M.: Encoding mobile workflows in Reactive XML. Master\u2019s thesis, IT University of Copenhagen (2006) (in Danish)"},{"key":"8_CR24","unstructured":"Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Bonn: Institut f\u00fcr Instrumentelle Mathematik, Schriften des IIM Nr. 2 (1962), 2nd edn., New York: Griffiss Air Force Base, Technical Report RADC-TR-65\u2013377, vol.1, pages: Suppl. 1, English translation (1966)"},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/11538394_11","volume-title":"Business Process Management","author":"F. Puhlmanm","year":"2005","unstructured":"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.\u00a03649, pp. 153\u2013168. Springer, Heidelberg (2005)"},{"key":"8_CR26","unstructured":"Stahl, C.: A Petri net semantics for BPEL. Informatik-Berichte 188, Humboldt-Universit\u00e4t zu Berlin (July 2005)"},{"key":"8_CR27","unstructured":"Stefansen, C.: A declarative framework for enterprise information systems. Master\u2019s thesis, Dept.of Computer Science, University of Copenhagen (DIKU), Qualification Report (2005)"},{"key":"8_CR28","unstructured":"Thatte, S.: XLANG: Web services for business process design. Technical report, Microsoft Corporation (2001)"},{"key":"8_CR29","doi-asserted-by":"crossref","unstructured":"Tolksdorf, R.: Workspaces: A web-based workflow management system. IEEE Internet Computing (September 2002)","DOI":"10.1109\/MIC.2002.1036034"},{"issue":"5","key":"8_CR30","first-page":"1","volume":"3","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P.: Pi calculus versus Petri nets: Let us eat \u201chumble pie\u201d rather than further inflate the \u201cPi hype\u201d. BPTrends\u00a03(5), 1\u201311 (2005)","journal-title":"BPTrends"},{"key":"8_CR31","unstructured":"Winther, J.W.: Reactive XML. Master\u2019s thesis, IT University of Copenhagen (2004)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767954_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:11:58Z","timestamp":1619507518000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767954_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346944","9783540346951"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/11767954_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}