{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T03:47:47Z","timestamp":1790394467761,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642173578","type":"print"},{"value":"9783642173585","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17358-5_3","type":"book-chapter","created":{"date-parts":[[2010,11,24]],"date-time":"2010-11-24T12:06:22Z","timestamp":1290600382000},"page":"32-46","source":"Crossref","is-referenced-by-count":32,"title":["Artifact-Centric Choreographies"],"prefix":"10.1007","author":[{"given":"Niels","family":"Lohmann","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Karsten","family":"Wolf","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"4","key":"3_CR1","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1142\/S0218843001000412","volume":"10","author":"W.M.P. Aalst van der","year":"2001","unstructured":"van der Aalst, W.M.P., Barthelmess, P., Ellis, C.A., Wainer, J.: Proclets: A framework for lightweight interacting workflow processes. Int. J. Cooperative Inf. Syst.\u00a010(4), 443\u2013481 (2001)","journal-title":"Int. J. Cooperative Inf. Syst."},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-63139-9_30","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P., Basten, T.: Life-cycle inheritance: A Petri-net-based approach. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 62\u201381. Springer, Heidelberg (1997)"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/3-540-45740-2_4","volume-title":"Applications and Theory of Petri Nets 2001","author":"W.M.P. Aalst van der","year":"2001","unstructured":"van der Aalst, W.M.P., Basten, T.: Identifying commonalities and differences in object life cycles using behavioral inheritance. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, pp. 32\u201352. Springer, Heidelberg (2001)"},{"issue":"1","key":"3_CR4","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1093\/comjnl\/bxn064","volume":"53","author":"W.M.P. Aalst van der","year":"2010","unstructured":"van der Aalst, W.M.P., Lohmann, N., Massuthe, P., Stahl, C., Wolf, K.: Multiparty contracts: Agreeing and implementing interorganizational processes. Comput. J.\u00a053(1), 90\u2013106 (2010)","journal-title":"Comput. J."},{"issue":"3","key":"3_CR5","first-page":"16","volume":"32","author":"W.M.P. Aalst van der","year":"2009","unstructured":"van der Aalst, W.M.P., Mans, R.S., Russell, N.C.: Workflow support using proclets: Divide, interact, and conquer. IEEE Data Eng. Bull.\u00a032(3), 16\u201322 (2009)","journal-title":"IEEE Data Eng. Bull."},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/3-540-45319-9_12","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Ball","year":"2001","unstructured":"Ball, T., Chaki, S., Rajamani, S.K.: Parameterized verification of multithreaded software libraries. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 158\u2013173. Springer, Heidelberg (2001)"},{"issue":"3","key":"3_CR7","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/j.datak.2005.07.006","volume":"58","author":"B. Benatallah","year":"2006","unstructured":"Benatallah, B., Casati, F., Toumani, F.: Representing, analysing and managing Web service protocols. Data Knowl. Eng.\u00a058(3), 327\u2013357 (2006)","journal-title":"Data Knowl. Eng."},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-540-75183-0_21","volume-title":"Business Process Management","author":"K. Bhattacharya","year":"2007","unstructured":"Bhattacharya, K., Gerede, C.E., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 288\u2013304. Springer, Heidelberg (2007)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-540-75698-9_14","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"M. Bravetti","year":"2007","unstructured":"Bravetti, M., Zavattaro, G.: Contract based multi-party service composition. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 207\u2013222. Springer, Heidelberg (2007)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-642-10383-4_9","volume-title":"Service-Oriented Computing","author":"D. Calvanese","year":"2009","unstructured":"Calvanese, D., Giacomo, G.D., Hull, R., Su, J.: Artifact-centric workflow dominance. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol.\u00a05900, pp. 130\u2013143. Springer, Heidelberg (2009)"},{"key":"3_CR11","first-page":"181","volume-title":"ACSD 2009","author":"J. Carmona","year":"2009","unstructured":"Carmona, J., Cortadella, J., Kishinevsky, M.: Genet: A tool for the synthesis and mining of petri nets. In: ACSD 2009, pp. 181\u2013185. IEEE Computer Society Press, Los Alamitos (2009)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/10721959_19","volume-title":"Automated Deduction - CADE-17","author":"E.A. Emerson","year":"2000","unstructured":"Emerson, E.A., Kahlon, V.: Reducing model checking of the many to the few. In: McAllester, D. (ed.) CADE 2000. LNCS, vol.\u00a01831, pp. 236\u2013254. Springer, Heidelberg (2000)"},{"key":"3_CR13","series-title":"International Conference Proceeding Series","first-page":"225","volume-title":"ICDT 2009","author":"C. Fritz","year":"2009","unstructured":"Fritz, C., Hull, R., Su, J.: Automatic construction of simple artifact-based business processes. In: ICDT 2009. International Conference Proceeding Series, vol.\u00a0361, pp. 225\u2013238. ACM Press, New York (2009)"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-540-74974-5_15","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"C.E. Gerede","year":"2007","unstructured":"Gerede, C.E., Su, J.: Specification and verfication of artifact behaviors in business process models. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 181\u2013192. Springer, Heidelberg (2007)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-10383-4_1","volume-title":"Service-Oriented Computing","author":"R. Hull","year":"2009","unstructured":"Hull, R., Narendra, N.C., Nigam, A.: Facilitating workflow interoperation using artifact-centric hubs. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol.\u00a05900, pp. 1\u201318. Springer, Heidelberg (2009)"},{"key":"3_CR16","first-page":"785","volume-title":"WWW 2008","author":"D. K\u00f6nig","year":"2008","unstructured":"K\u00f6nig, D., Lohmann, N., Moser, S., Stahl, C., Wolf, K.: Extending the compatibility notion for abstract WS-BPEL processes. In: WWW 2008, pp. 785\u2013794. ACM, New York (April 2008)"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-540-75183-0_13","volume-title":"Business Process Management","author":"J.M. K\u00fcster","year":"2007","unstructured":"K\u00fcster, J.M., Ryndina, K., Gall, H.: Generation of business process models for object life cycle compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 165\u2013181. Springer, Heidelberg (2007)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-540-75183-0_20","volume-title":"Business Process Management","author":"N. Lohmann","year":"2007","unstructured":"Lohmann, N., Massuthe, P., Wolf, K.: Behavioral constraints for services. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 271\u2013287. Springer, Heidelberg (2007)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-13675-7_18","volume-title":"Applications and Theory of Petri Nets","author":"N. Lohmann","year":"2010","unstructured":"Lohmann, N., Weinberg, D.: Wendy: A tool to synthesize partners for services. In: Lilius, J., Penczek, W. (eds.) Applications and Theory of Petri Nets. LNCS, vol.\u00a06128, pp. 297\u2013307. Springer, Heidelberg (2010)"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-642-14458-5_7","volume-title":"Web Services and Formal Methods","author":"N. Lohmann","year":"2010","unstructured":"Lohmann, N., Wolf, K.: Realizability is controllability. In: Laneve, C., Su, J. (eds.) Web Services and Formal Methods. LNCS, vol.\u00a06194, pp. 110\u2013127. Springer, Heidelberg (2010)"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal\u00a042(3) (2003)","DOI":"10.1147\/sj.423.0428"},{"key":"3_CR22","unstructured":"Stahl, C.: Service Substitution - A Behavioral Approach Based on Petri Nets. Ph.D. thesis, Humboldt-Universit\u00e4t zu Berlin, Mathematisch-Naturwissenschaftliche Fakult\u00e4t II; Eindhoven University of Technology (2009)"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-642-00899-3_10","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"C. Stahl","year":"2009","unstructured":"Stahl, C., Massuthe, P., Bretschneider, J.: Deciding substitutability of services with operating guidelines. In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets. LNCS, vol.\u00a05460, pp. 172\u2013191. Springer, Heidelberg (2009)"},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-00899-3_9","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"K. Wolf","year":"2009","unstructured":"Wolf, K.: Does my service have partners? In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets. LNCS, vol.\u00a05460, pp. 152\u2013171. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17358-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T08:49:31Z","timestamp":1553244571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17358-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642173578","9783642173585"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17358-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}