{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T11:29:25Z","timestamp":1790940565517,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642144578","type":"print"},{"value":"9783642144585","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14458-5_7","type":"book-chapter","created":{"date-parts":[[2010,8,23]],"date-time":"2010-08-23T04:33:35Z","timestamp":1282538015000},"page":"110-127","source":"Crossref","is-referenced-by-count":28,"title":["Realizability Is Controllability"],"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":[{"key":"7_CR1","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)"},{"issue":"1-2","key":"7_CR2","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":"7","key":"7_CR3","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_CR4","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, Part II. LNCS, vol.\u00a05460, pp. 152\u2013171. Springer, Heidelberg (2009)"},{"issue":"2","key":"7_CR5","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM\u00a030(2), 323\u2013342 (1983)","journal-title":"J. ACM"},{"key":"7_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":"7_CR7","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)"},{"issue":"1","key":"7_CR8","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_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-540-78238-4_22","volume-title":"Business Process Management Workshops","author":"G. Decker","year":"2008","unstructured":"Decker, G., Barros, A.P.: Interaction modeling using BPMN. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol.\u00a04928, pp. 208\u2013219. Springer, Heidelberg (2008)"},{"key":"7_CR10","first-page":"45","volume-title":"EDOC 2006","author":"J.M. Zaha","year":"2006","unstructured":"Zaha, J.M., Dumas, M., ter Hofstede, A.H.M., Barros, A.P., Decker, G.: Service interaction modeling: Bridging global and local views. In: EDOC 2006, pp. 45\u201355. IEEE Computer Society, Los Alamitos (2006)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11841760_3","volume-title":"Business Process Management","author":"N. Lohmann","year":"2006","unstructured":"Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing interacting BPEL processes. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 17\u201332. Springer, Heidelberg (2006)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/11596141_2","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"F. Leymann","year":"2005","unstructured":"Leymann, F.: The (service) bus: Services penetrate everyday life. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 12\u201320. Springer, Heidelberg (2005)"},{"key":"7_CR13","unstructured":"Kopp, O., Lessen, T.v., Nitzsche, J.: The need for a choreography-aware service bus. In: YR-SOC, 28\u201334, Imperial College, London (2008)"},{"key":"7_CR14","unstructured":"Decker, G.: Realizability of interaction models. In: ZEUS 2009. CEUR Workshop Proceedings, vol.\u00a0438, CEUR-WS.org, pp. 55\u201360 (2009)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-540-89652-4_26","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"G. Decker","year":"2008","unstructured":"Decker, G., Barros, A., Kraft, F.M., Lohmann, N.: Non-desynchronizable service choreographies. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364, pp. 331\u2013346. Springer, Heidelberg (2008)"},{"issue":"12","key":"7_CR16","doi-asserted-by":"publisher","first-page":"1042","DOI":"10.1109\/TSE.2005.141","volume":"31","author":"X. Fu","year":"2005","unstructured":"Fu, X., Bultan, T., Su, J.: Synchronizability of conversations among Web services. IEEE Trans. Software Eng.\u00a031(12), 1042\u20131055 (2005)","journal-title":"IEEE Trans. Software Eng."},{"issue":"6","key":"7_CR17","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? Undecidablity of partner existence for open nets. Inf. Process. Lett.\u00a0108(6), 374\u2013378 (2008)","journal-title":"Inf. Process. Lett."},{"key":"7_CR18","first-page":"296","volume-title":"ICWS 2007","author":"G. Decker","year":"2007","unstructured":"Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: Extending BPEL for modeling choreographies. In: ICWS 2007, pp. 296\u2013303. IEEE Computer Society, Los Alamitos (2007)"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-79230-7_4","volume-title":"Web Services and Formal Methods","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N., Kopp, O., Leymann, F., Reisig, W.: Analyzing BPEL4Chor: Verification and participant synthesis. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol.\u00a04937, pp. 46\u201360. Springer, Heidelberg (2008)"},{"key":"7_CR20","unstructured":"Lohmann, N., Wolf, K.: Realizability is controllability. In: ZEUS 2009. CEUR Workshop Proceedings, vol.\u00a0438, CEUR-WS.org, pp. 61\u201367 (2009)"},{"key":"7_CR21","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_CR22","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_CR23","series-title":"Lecture Notes in Computer Science","first-page":"66","volume-title":"ICSOC 2008","author":"K. Kaschner","year":"2008","unstructured":"Kaschner, K., Lohmann, N.: Automatic test case generation for interacting services. In: ICSOC 2008. LNCS, vol.\u00a05472, pp. 66\u201378. Springer, Heidelberg (2008)"},{"key":"7_CR24","unstructured":"Gierds, C., Mooij, A.J., Wolf, K.: Specifying and generating behavioral service adapter based on transformation rules. Preprint CS-02-08, Universit\u00e4t Rostock, Rostock, Germany (2008) (submitted to a journal)"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14458-5_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:53:10Z","timestamp":1606168390000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14458-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642144578","9783642144585"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14458-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}