{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:39:27Z","timestamp":1725741567426},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642401756"},{"type":"electronic","value":"9783642401763"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-40176-3_19","type":"book-chapter","created":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T23:54:12Z","timestamp":1374105252000},"page":"227-234","source":"Crossref","is-referenced-by-count":6,"title":["Business Process Architectures with Multiplicities: Transformation and Correctness"],"prefix":"10.1007","author":[{"given":"Rami-Habib","family":"Eid-Sabbagh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcin","family":"Hewelt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Weske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","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., 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":"19_CR2","doi-asserted-by":"crossref","unstructured":"Eid-Sabbagh, R.H., Hewelt, M., Weske, M.: Business Process Architectures with Multiplicities: Transformation and Correctness. Technical Report\u00a077, Hasso-Plattner-Institut (2013)","DOI":"10.1007\/978-3-642-40176-3_19"},{"issue":"04","key":"19_CR3","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1142\/S0218843001000412","volume":"10","author":"W. Aalst van der","year":"2001","unstructured":"van der Aalst, W., Barthelmess, P., Ellis, C., Wainer, J.: Proclets: A Framework for Lightweight Interacting Workflow Processes. Int. J. Cooperative Inf. Syst.\u00a010(04), 443\u2013481 (2001)","journal-title":"Int. J. Cooperative Inf. Syst."},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/11841197_11","volume-title":"Web Services and Formal Methods","author":"G. Decker","year":"2006","unstructured":"Decker, G., Zaha, J.M., Dumas, M.: Execution semantics for service choreographies. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 163\u2013177. Springer, Heidelberg (2006)"},{"key":"19_CR5","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":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-540-75183-0_22","volume-title":"Business Process Management","author":"G. Decker","year":"2007","unstructured":"Decker, G., Weske, M.: Local Enforceability in Interaction Petri Nets. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 305\u2013319. Springer, Heidelberg (2007)"},{"key":"19_CR7","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":"19_CR8","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":"19_CR9","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.: 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":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-38709-8_14","volume-title":"Advanced Information Systems Engineering","author":"R.-H. Eid-Sabbagh","year":"2013","unstructured":"Eid-Sabbagh, R.-H., Weske, M.: In: Salinesi, C., Norrie, M.C., Pastor, \u00d3. (eds.) CAiSE 2013. LNCS, vol.\u00a07908, pp. 208\u2013223. Springer, Heidelberg (2013)"},{"issue":"6","key":"19_CR11","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1016\/j.ipl.2008.07.006","volume":"108","author":"P. Massuthe","year":"2008","unstructured":"Massuthe, P., Serebrenik, A., Sidorova, N., Wolf, K.: Can I find a partner? Undecidability of partner existence for open nets. Information Processing Letters\u00a0108(6), 374\u2013378 (2008)","journal-title":"Information Processing Letters"},{"key":"19_CR12","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)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40176-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T20:08:48Z","timestamp":1557950928000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40176-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642401756","9783642401763"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40176-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}