{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T18:25:49Z","timestamp":1791051949795,"version":"4.1.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319981765","type":"print"},{"value":"9783319981772","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38709-8_14","type":"book-chapter","created":{"date-parts":[[2013,6,20]],"date-time":"2013-06-20T11:44:12Z","timestamp":1371728652000},"page":"208-223","source":"Crossref","is-referenced-by-count":5,"title":["Analyzing Business Process Architectures"],"prefix":"10.1007","author":[{"given":"Rami-Habib","family":"Eid-Sabbagh","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mathias","family":"Weske","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Dijkman, R.M., Vanderfeesten, I., Reijers, H.A.: The Road to a Business Process Architecture: An Overview of Approaches and their Use. BETA Working Paper WP-350, Eindhoven University of Technology, The Netherlands (2011)"},{"issue":"4","key":"14_CR2","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1002\/spip.244","volume":"10","author":"S. Green","year":"2005","unstructured":"Green, S., Ould, M.: A framework for classifying and evaluating process architecture methods. Software Process: Improvement and Practice\u00a010(4), 415\u2013425 (2005)","journal-title":"Software Process: Improvement and Practice"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-31984-9_3","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Martens","year":"2005","unstructured":"Martens, A.: Analyzing web service based business processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 19\u201333. Springer, Heidelberg (2005)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/11538394_20","volume-title":"Business Process Management","author":"A. Barros","year":"2005","unstructured":"Barros, A., Dumas, M., ter Hofstede, A.H.M., van der Aalst, W., Benatallah, B., Casati, F., Curbera, F.: Service Interaction Patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 302\u2013318. Springer, Heidelberg (2005)"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-642-32885-5_5","volume-title":"Business Process Management","author":"R.H. Eid-Sabbagh","year":"2012","unstructured":"Eid-Sabbagh, R.H., Dijkman, R.M., Weske, M.: Business Process Architecture: Use and Correctness. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol.\u00a07481, pp. 65\u201381. Springer, Heidelberg (2012)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. In: Proceedings of the IEEE, vol.\u00a077(4), pp. 541\u2013580 (April 1989)","DOI":"10.1109\/5.24143"},{"issue":"10","key":"14_CR7","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/S0950-5849(99)00016-6","volume":"41","author":"W.M.P. Aalst van der","year":"1999","unstructured":"van der Aalst, W.M.P.: Formalization and verification of event-driven process chains. Information and Software Technology\u00a041(10), 639\u2013650 (1999)","journal-title":"Information and Software Technology"},{"issue":"12","key":"14_CR8","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"R.M. Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and Analysis of Business Process Models in BPMN. Inf. Softw. Technol.\u00a050(12), 1281\u20131294 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-00899-3_3","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"N. Lohmann","year":"2009","unstructured":"Lohmann, N., Verbeek, E., Dijkman, R.: Petri\u00a0Net Transformations for Business\u00a0Processes \u2013 A\u00a0Survey. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol.\u00a05460, pp. 46\u201363. Springer, Heidelberg (2009)"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Weske, M.: Business Process Management: Concepts, Languages, Architectures, 2nd edn. Springer (2012)","DOI":"10.1007\/978-3-642-28616-2"},{"issue":"01","key":"14_CR11","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"08","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers\u00a008(01), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems and Computers"},{"key":"14_CR12","unstructured":"Pankratius, V., Stucky, W.: A formal foundation for workflow composition, workflow view definition, and workflow normalization based on petri nets. In: APCCM 2005, pp. 79\u201388. Australian Computer Society, Inc. (2005)"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-00899-3_12","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"J. Mendling","year":"2009","unstructured":"Mendling, J.: Empirical Studies in Process Model Verification. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol.\u00a05460, pp. 208\u2013224. Springer, Heidelberg (2009)"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-540-72988-4_7","volume-title":"Advanced Information Systems Engineering","author":"G. Decker","year":"2007","unstructured":"Decker, G., Weske, M.: Behavioral consistency for B2B process integration. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007. LNCS, vol.\u00a04495, pp. 81\u201395. Springer, Heidelberg (2007)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/3-540-44685-0_34","volume-title":"CONCUR 2001 - Concurrency Theory","author":"P. Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional Modeling of Reactive Systems Using Open Nets. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 502\u2013518. Springer, Heidelberg (2001)"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-44895-0_13","volume-title":"Business Process Management","author":"R.J. Glabbeek van","year":"2003","unstructured":"van Glabbeek, R.J., Stork, D.G.: Query Nets: Interacting Workflow Modules That Ensure Global Termination. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, pp. 184\u2013199. Springer, Heidelberg (2003)"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-642-01364-5_14","volume-title":"Web Services and Formal Methods","author":"D. Weinberg","year":"2009","unstructured":"Weinberg, D.: Efficient Controllability Analysis of Open Nets. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol.\u00a05387, pp. 224\u2013239. Springer, Heidelberg (2009)"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-01918-0_2","volume-title":"Formal Methods for Web Services","author":"W.M.P. Aalst van der","year":"2009","unstructured":"van der Aalst, W.M.P., Mooij, A.J., Stahl, C., Wolf, K.: Service Interaction: Patterns, Formalization, and Analysis. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol.\u00a05569, pp. 42\u201388. Springer, Heidelberg (2009)"},{"key":"14_CR19","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)"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38709-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T09:04:25Z","timestamp":1557824665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38709-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319981765","9783319981772"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38709-8_14","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"value":"1612-2909","type":"print"},{"value":"1860-0824","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}