{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T20:04:26Z","timestamp":1771704266269,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540389019","type":"print"},{"value":"9783540389033","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11841760_3","type":"book-chapter","created":{"date-parts":[[2006,10,5]],"date-time":"2006-10-05T15:52:02Z","timestamp":1160063522000},"page":"17-32","source":"Crossref","is-referenced-by-count":53,"title":["Analyzing Interacting BPEL Processes"],"prefix":"10.1007","author":[{"given":"Niels","family":"Lohmann","sequence":"first","affiliation":[]},{"given":"Peter","family":"Massuthe","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Stahl","sequence":"additional","affiliation":[]},{"given":"Daniela","family":"Weinberg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/773153.773154","volume-title":"PODS 2003","author":"R. Hull","year":"2003","unstructured":"Hull, R., Benedikt, M., Christophides, V., Su, J.: E-Services: A Look Behind the Curtain. In: PODS 2003, pp. 1\u201314. ACM Press, New York (2003)"},{"issue":"4","key":"3_CR2","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/367211.367268","volume":"44","author":"M.P. Papazoglou","year":"2001","unstructured":"Papazoglou, M.P.: Agent-Oriented Technology in Support of E-Business. Communications of the ACM\u00a044(4), 71\u201377 (2001)","journal-title":"Communications of the ACM"},{"key":"3_CR3","unstructured":"Andrews, T., et al.: Business Process Execution Language for Web Services, Version 1.1. Technical report, BEA, IBM, Microsoft (2003)"},{"key":"3_CR4","unstructured":"Weinberg, D.: Reduction Rules for Interaction Graphs. Technical Report 198, Humboldt-Universit\u00e4t zu Berlin (2006)"},{"key":"3_CR5","first-page":"452","volume-title":"QSIC 2005","author":"P. Massuthe","year":"2005","unstructured":"Massuthe, P., Schmidt, K.: Operating Guidelines \u2013 An Automata-Theoretic Foundation for Service-Oriented Architectures. In: QSIC 2005, Melbourne, Australia, pp. 452\u2013457. IEEE Computer Society, Los Alamitos (2005)"},{"key":"3_CR6","unstructured":"Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. AMCT\u00a01(3), 35\u201343 (to appear, 2005)"},{"key":"3_CR7","unstructured":"Stahl, C.: A Petri Net Semantics for BPEL. Techn. Report 188, Humboldt-Universit\u00e4t zu Berlin (2005)"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/11538394_15","volume-title":"Business Process Management","author":"S. Hinz","year":"2005","unstructured":"Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri Nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 220\u2013235. Springer, Heidelberg (2005)"},{"key":"3_CR9","unstructured":"Schmidt, K.: Controllability of Open Workflow Nets. In: EMISA. LNI, pp. 236\u2013249. Bonner K\u00f6llen Verlag (2005)"},{"issue":"1","key":"3_CR10","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W. Aalst","year":"1998","unstructured":"Aalst, W.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems and Computers"},{"issue":"1","key":"3_CR11","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P. Ramadge","year":"1987","unstructured":"Ramadge, P., Wonham, W.: Supervisory Control of a Class of Discrete Event Processes. SIAM J. Control and Optimization\u00a025(1), 206\u2013230 (1987)","journal-title":"SIAM J. Control and Optimization"},{"key":"3_CR12","unstructured":"Massuthe, P., Schmidt, K.: Operating Guidelines \u2013 An Automata-Theoretic Foundation for Service-Oriented Architectures (to appear, 2006)"},{"key":"3_CR13","unstructured":"Martens, A.: Verteilte Gesch\u00e4ftsprozesse \u2013 Modellierung und Verifikation mit Hilfe von Web Services. PhD thesis, Humboldt-Universit\u00e4t zu Berlin (2004)"},{"key":"3_CR14","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"2005","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis, 2nd edn. Springer, Heidelberg (2005)","edition":"2"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-44988-4_27","volume-title":"Application and Theory of Petri Nets 2000","author":"K. Schmidt","year":"2000","unstructured":"Schmidt, K.: LoLA: A Low Level Analyser. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 465\u2013474. Springer, Heidelberg (2000)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-30077-9_8","volume-title":"E-Commerce and Web Technologies","author":"J. Arias-Fisteus","year":"2004","unstructured":"Arias-Fisteus, J., Fern\u00e1ndez, L.S., Kloos, C.D.: Formal Verification of BPEL4WS Business Collaborations. In: Bauknecht, K., Bichler, M., Pr\u00f6ll, B. (eds.) EC-Web 2004. LNCS, vol.\u00a03182, pp. 76\u201385. Springer, Heidelberg (2004)"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1145\/988672.988756","volume-title":"WWW 2004","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: WWW 2004, pp. 621\u2013630. ACM Press, New York (2004)"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/1035167.1035202","volume-title":"ICSOC","author":"A. Ferrara","year":"2004","unstructured":"Ferrara, A.: Web Services: A Process Algebra Approach. In: ICSOC, pp. 242\u2013251. ACM, New York (2004)"},{"key":"3_CR19","unstructured":"Fahland, D., Reisig, W.: ASM-based Semantics for BPEL: The Negative Control Flow. In: ASM 2005, Paris XII, pp. 131\u2013151 (2005)"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-540-24773-9_7","volume-title":"Abstract State Machines 2004. Advances in Theory and Practice","author":"R. Farahbod","year":"2004","unstructured":"Farahbod, R., Gl\u00e4sser, U., Vajihollahi, M.: Specification and Validation of the Business Process Execution Language for Web Services. In: Zimmermann, W., Thalheim, B. (eds.) ASM 2004. LNCS, vol.\u00a03052, pp. 78\u201394. Springer, Heidelberg (2004)"},{"key":"3_CR21","unstructured":"Ouyang, C., Verbeek, E., van der Aalst, W.M., Breutel, S., Dumas, M., ter Hofstede, A.H.: Formal Semantics and Analysis of Control Flow in WS-BPEL. Technical report (revised version), Queensland University of Technology (2005)"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/11596141_37","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"C. Ouyang","year":"2005","unstructured":"Ouyang, C., Verbeek, E., Aalst, W., Breutel, S., Dumas, M., ter Hofstede, A.: WofBPEL: A Tool for Automated Analysis of BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 484\u2013489. Springer, Heidelberg (2005)"},{"key":"3_CR23","volume-title":"ICIW 2006","author":"A. Martens","year":"2006","unstructured":"Martens, A., Moser, S., Gerhardt, A., Funk, K.: Analyzing Compatibility of BPEL Processes \u2013 Towards a Business Process Analysis Framework in IBM\u2019s Business Integration Tools. In: ICIW 2006. IEEE Computer Society Press, Los Alamitos (2006)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11841760_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:17:14Z","timestamp":1619507834000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11841760_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540389019","9783540389033"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11841760_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}