{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T10:17:06Z","timestamp":1775816226581,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642231346","type":"print"},{"value":"9783642231353","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23135-3_2","type":"book-chapter","created":{"date-parts":[[2011,8,17]],"date-time":"2011-08-17T08:30:05Z","timestamp":1313569805000},"page":"19-35","source":"Crossref","is-referenced-by-count":6,"title":["Distributed Execution of S-BPM Business Processes"],"prefix":"10.1007","author":[{"given":"Erwin","family":"Aitenbichler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"Borgert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Max","family":"M\u00fchlh\u00e4user","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Agarwal, S., Rudolph, S., Abecker, A.: Semantic Description of Distributed Business Processes. In: Proceedings of AAAI Spring Symposium \u2013 AI Meets Business Rules and Process Management (2008)"},{"issue":"4","key":"2_CR2","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1016\/j.pmcj.2007.04.002","volume":"3","author":"E. Aitenbichler","year":"2007","unstructured":"Aitenbichler, E., Kangasharju, J., M\u00fchlh\u00e4user, M.: MundoCore: A Light-weight Infrastructure for Pervasive Computing. Pervasive and Mobile Computing\u00a03(4), 332\u2013361 (2007), doi:10.1016\/j.pmcj.2007.04.002","journal-title":"Pervasive and Mobile Computing"},{"key":"2_CR3","unstructured":"BMWi: TEXO \u2013 Business Webs in the Internet of Services (2009), \n                    \n                      http:\/\/theseus-programm.de\/scenarios\/en\/texo.html"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-31811-8_2","volume-title":"Technologies for E-Services","author":"L. Bordeaux","year":"2005","unstructured":"Bordeaux, L., Sala\u00fcn, G., Berardi, D., Mecella, M.: When are Two Web Services Compatible? In: Shan, M.-C., Dayal, U., Hsu, M. (eds.) TES 2004. LNCS, vol.\u00a03324, pp. 15\u201328. Springer, Heidelberg (2005)"},{"key":"2_CR5","unstructured":"CWB-NC: The Concurrency Workbench of the New Century (2000), \n                    \n                      http:\/\/www.cs.sunysb.edu\/~cwb\/"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Eugster, P.T., Felber, P.A., Guerraoui, R., Kermarrec, A.M.: The many faces of publish\/subscribe (2003)","DOI":"10.1145\/857076.857078"},{"key":"2_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-78612-9","volume-title":"Distributed Systems: Software Design and Implementation","author":"A. Fleischmann","year":"1994","unstructured":"Fleischmann, A.: Distributed Systems: Software Design and Implementation. Springer, Heidelberg (1994)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-642-11797-8_7","volume-title":"Task Models and Diagrams for User Interface Design","author":"A. Fleischmann","year":"2010","unstructured":"Fleischmann, A., Lippe, S., Meyer, N., Stary, C.: Coherent task modeling and execution based on subject-oriented representations. In: England, D., Palanque, P., Vanderdonckt, J., Wild, P.J. (eds.) TAMODIA 2009. LNCS, vol.\u00a05963, pp. 78\u201391. Springer, Heidelberg (2010)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/11948148_27","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"C. Guidi","year":"2006","unstructured":"Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Tennenholtz, M.: SOCK: A Calculus for Service Oriented Computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 327\u2013338. Springer, Heidelberg (2006)"},{"key":"2_CR10","unstructured":"Huangfu, X., Shu, Z., Chen, H., Luo, X.: Research on Dynamic Service Composition Based on Object Petri Net for the Networked Information System. In: Fifth International Joint Conference on INC, IMS and IDC, pp. 1075\u20131080 (2009), \n                    \n                      http:\/\/ieeexplore.ieee.org\/lpdocs\/epic03\/wrapper.htm?arnumber=5331528"},{"issue":"7","key":"2_CR11","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1145\/360248.360251","volume":"19","author":"R.M. Keller","year":"1976","unstructured":"Keller, R.M.: Formal verification of parallel programs. Communications of the ACM\u00a019(7), 384 (1976), \n                    \n                      http:\/\/portal.acm.org\/citation.cfm?id=360248.360251","journal-title":"Communications of the ACM"},{"issue":"2","key":"2_CR12","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/j.infsof.2007.12.002","volume":"51","author":"M. Koning","year":"2009","unstructured":"Koning, M., Sun, C., Sinnema, M., Avgeriou, P.: VxBPEL: Supporting Variability for Web Services in BPEL. Information and Software Technology\u00a051(2), 258\u2013269 (2009)","journal-title":"Information and Software Technology"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"Programming Languages and Systems","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 33\u201347. Springer, Heidelberg (2007)"},{"key":"2_CR14","unstructured":"Markovic, I., Pereira, A.C., Stojanovic, N.: A Framework for Querying in Business Process Modelling. In: Multikonferenz Wirtschaftsinformatik, pp. 1703\u20131714 (2008), \n                    \n                      http:\/\/ibis.in.tum.de\/mkwi08\/23_Semantic_Web_Technology_in_Business_Information_Systems\/03_Markovic.pdf"},{"key":"2_CR15","unstructured":"Metasonic: Welcome to the Future of BPM: S-BPM (2010), \n                    \n                      http:\/\/www.metasonic.de"},{"key":"2_CR16","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1995","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall PTR, Englewood Cliffs (1995)"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-642-15618-2_2","volume-title":"Business Process Management","author":"V. Muthusamy","year":"2010","unstructured":"Muthusamy, V., Jacobsen, H.-A.: BPM in cloud architectures: Business process management with sLAs and events. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol.\u00a06336, pp. 5\u201310. Springer, Heidelberg (2010)"},{"key":"2_CR18","unstructured":"Plotkin, G.D.: A structural approach to operational semantics (1981)"},{"key":"2_CR19","unstructured":"Puhlmann, F.: On the Application of a Theory for mobile Systems to business process management. Ph.D. thesis, University of Potsdam, Germany (2007), \n                    \n                      http:\/\/frapu.de\/pdf\/diss.pdf"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/11948148_25","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"F. Puhlmann","year":"2006","unstructured":"Puhlmann, F., Weske, M.: Interaction soundness for service orchestrations. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 302\u2013313. Springer, Heidelberg (2006)"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BF03340343","volume":"266","author":"W. Schmidt","year":"2009","unstructured":"Schmidt, W., Fleischmann, A., Gilbert, O.: Subjektorientiertes Gesch\u00e4ftsprozessmanagement. HMD - Praxis der Wirtschaftsinformatik\u00a0(266), 52\u201362 (2009)","journal-title":"HMD - Praxis der Wirtschaftsinformatik"},{"issue":"1","key":"2_CR22","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10115-008-0143-5","volume":"19","author":"Z. Wu","year":"2008","unstructured":"Wu, Z., Deng, S., Li, Y., Wu, J.: Computing Compatibility in Dynamic Service Composition. Knowledge and Information Systems\u00a019(1), 107\u2013129 (2008), \n                    \n                      http:\/\/www.springerlink.com\/index\/10.1007\/s10115-008-0143-5","journal-title":"Knowledge and Information Systems"},{"key":"2_CR23","unstructured":"Wutke, D.: Eine Infrastruktur f\u00fcr die dezentrale Ausf\u00fchrung von BPEL-Prozessen. Ph.D. thesis, Universit\u00e4t Stuttgart (2010)"}],"container-title":["Communications in Computer and Information Science","Subject-Oriented Business Process Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23135-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T22:15:05Z","timestamp":1558390505000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23135-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642231346","9783642231353"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23135-3_2","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}