{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:47:13Z","timestamp":1742914033387,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173578"},{"type":"electronic","value":"9783642173585"}],"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-25535-9_7","type":"book-chapter","created":{"date-parts":[[2011,11,18]],"date-time":"2011-11-18T08:17:59Z","timestamp":1321604279000},"page":"92-107","source":"Crossref","is-referenced-by-count":8,"title":["Decidability Results for Choreography Realization"],"prefix":"10.1007","author":[{"given":"Niels","family":"Lohmann","sequence":"first","affiliation":[]},{"given":"Karsten","family":"Wolf","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"7","key":"7_CR1","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1109\/TSE.2003.1214326","volume":"29","author":"R. Alur","year":"2003","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. IEEE Trans. Software Eng.\u00a029(7), 623\u2013633 (2003)","journal-title":"IEEE Trans. Software Eng."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Bultan, T., Ferguson, C., Fu, X.: A tool for choreography analysis using collaboration diagrams. In: ICWS 2009, pp. 856\u2013863. IEEE (2009)","DOI":"10.1109\/ICWS.2009.100"},{"issue":"1","key":"7_CR3","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/s11761-008-0022-7","volume":"2","author":"T. Bultan","year":"2008","unstructured":"Bultan, T., Fu, X.: Specification of realizable service conversations using collaboration diagrams. SOCA\u00a02(1), 27\u201339 (2008)","journal-title":"SOCA"},{"key":"7_CR4","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":"7_CR5","doi-asserted-by":"publisher","DOI":"10.1142\/2563","volume-title":"The Book of Traces","author":"V. Diekert","year":"1995","unstructured":"Diekert, V.: The Book of Traces. World Scientific Publishing Co., Inc., River Edge (1995)"},{"issue":"1-2","key":"7_CR6","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.tcs.2004.07.004","volume":"328","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci.\u00a0328(1-2), 19\u201337 (2004)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"7_CR7","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0890-5401(90)90025-D","volume":"86","author":"P.C. Kanellakis","year":"1990","unstructured":"Kanellakis, P.C., Smolka, S.A.: CCS expressions, finite state processes, and three problems of equivalence. Inf. Comput.\u00a086(1), 43\u201368 (1990)","journal-title":"Inf. Comput."},{"key":"7_CR8","unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G., Lafon, Y.: Web Services Choreography Description Language Version 1.0. W3C Candidate Recommendation (November 2005), http:\/\/www.w3.org\/TR\/ws-cdl-10"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/11888116_5","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"R. Kazhamiakin","year":"2006","unstructured":"Kazhamiakin, R., Pistore, M.: Analysis of realizability conditions for Web service choreographies. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, pp. 61\u201376. Springer, Heidelberg (2006)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R., Pistore, M., Santuari, L.: Analysis of communication models in Web service compositions. In: WWW 2006, pp. 267\u2013276. ACM (2006)","DOI":"10.1145\/1135777.1135819"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Kleijn, H.C.M., Morin, R., Rozoy, B.: Event structures for local traces. Electr. Notes Theor. Comput. Sci.\u00a016(2) (1998)","DOI":"10.1016\/S1571-0661(04)00120-3"},{"key":"7_CR12","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.) WS-FM 2009. LNCS, vol.\u00a06194, pp. 110\u2013127. Springer, Heidelberg (2010)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","first-page":"279","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"A.W. Mazurkiewicz","year":"1987","unstructured":"Mazurkiewicz, A.W.: Trace Theory. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0255, pp. 279\u2013324. Springer, Heidelberg (1987)"},{"key":"7_CR14","unstructured":"OMG: Business Process Model and Notation (BPMN). FTF Beta\u00a01 for Version\u00a02.0, Object Management Group (2009), http:\/\/www.omg.org\/spec\/BPMN\/2.0"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1007\/BFb0023848","volume-title":"LATIN \u201992","author":"J. Sakarovitch","year":"1992","unstructured":"Sakarovitch, J.: The \u201clast\u201d decision problem for rational trace languages. In: Simon, I. (ed.) LATIN 1992. LNCS, vol.\u00a0583, pp. 460\u2013473. Springer, Heidelberg (1992)"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-00255-7_12","volume-title":"Integrated Formal Methods","author":"G. Sala\u00fcn","year":"2009","unstructured":"Sala\u00fcn, G., Bultan, T.: Realizability of choreographies using process algebra encodings. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol.\u00a05423, pp. 167\u2013182. Springer, Heidelberg (2009)"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-79230-7_1","volume-title":"Web Services and Formal Methods","author":"J. Su","year":"2008","unstructured":"Su, J., Bultan, T., Fu, X., Zhao, X.: Towards a theory of web service choreographies. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol.\u00a04937, pp. 1\u201316. Springer, Heidelberg (2008)"},{"key":"7_CR18","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.) ToPNoC II. LNCS, vol.\u00a05460, pp. 152\u2013171. Springer, Heidelberg (2009)"},{"key":"7_CR19","unstructured":"Wolf, K.: Decidability issues for decentralized controllability of open nets. In: AWPN 2010. pp. 124\u2013129. CEUR Workshop Proceedings Vol. 643, CEUR-WS.org (2010)"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/11914853_10","volume-title":"On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE","author":"J.M. Zaha","year":"2006","unstructured":"Zaha, J.M., Barros, A.P., Dumas, M., ter Hofstede, A.H.M.: Let\u2019s Dance: A Language for Service Behavior Modeling. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol.\u00a04275, pp. 145\u2013162. Springer, Heidelberg (2006)"}],"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-25535-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T15:55:21Z","timestamp":1560959721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25535-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642173578","9783642173585"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25535-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}