{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:09:34Z","timestamp":1725466174014},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642370564"},{"type":"electronic","value":"9783642370571"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37057-1_4","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T19:37:04Z","timestamp":1361216224000},"page":"37-52","source":"Crossref","is-referenced-by-count":29,"title":["A Model-Based Synthesis Process for Choreography Realizability Enforcement"],"prefix":"10.1007","author":[{"given":"Marco","family":"Autili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Di Ruscio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amleto","family":"Di Salle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Tivoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"12","key":"4_CR1","doi-asserted-by":"publisher","first-page":"2210","DOI":"10.1016\/j.jss.2008.04.006","volume":"81","author":"M. Autili","year":"2008","unstructured":"Autili, M., Mostarda, L., Navarra, A., Tivoli, M.: Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems. Journal of Systems and Software\u00a081(12), 2210\u20132236 (2008)","journal-title":"Journal of Systems and Software"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Basu, S., Bultan, T.: Choreography conformance via synchronizability. In: Proceedings of WWW 2011, pp. 795\u2013804 (2011)","DOI":"10.1145\/1963405.1963516"},{"key":"4_CR3","unstructured":"Bisztray, D., Heckel, R.: Rule-Level Verification of Business Process Transformations using CSP. In: Proceedings of GT-VMT 2007 (2007)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/11948148_3","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"A. Brogi","year":"2006","unstructured":"Brogi, A., Popescu, R.: Automated Generation of BPEL Adapters. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 27\u201339. Springer, Heidelberg (2006)"},{"issue":"3","key":"4_CR5","first-page":"18","volume":"31","author":"D. Calvanese","year":"2008","unstructured":"Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M., Patrizi, F.: Automatic service composition and synthesis: the roman model. IEEE Data Eng. Bull.\u00a031(3), 18\u201322 (2008)","journal-title":"IEEE Data Eng. Bull."},{"key":"4_CR6","unstructured":"CHOReOS Consortium. CHOReOS dynamic development model definition - Public Project deliverable D2.1 (September 2011)"},{"key":"4_CR7","unstructured":"ERCIM News. Special Theme: Future Internet Technology. Number 77 (April 2009)"},{"issue":"1-2","key":"4_CR8","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F. Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming\u00a072(1-2), 31\u201339 (2008)","journal-title":"Science of Computer Programming"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time clocks, and the ordering of events in a distributed system. Commun. ACM\u00a021, 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"issue":"3","key":"4_CR10","first-page":"23","volume":"31","author":"A. Marconi","year":"2008","unstructured":"Marconi, A., Pistore, M., Traverso, P.: Automated Composition of Web Services: the ASTRO Approach. IEEE Data Eng. Bull.\u00a031(3), 23\u201326 (2008)","journal-title":"IEEE Data Eng. Bull."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Poizat, P., Sala\u00fcn, G.: Checking the Realizability of BPMN 2.0 Choreographies. In: Proceedings of SAC 2012, pp. 1927\u20131934 (2012)","DOI":"10.1145\/2245276.2232095"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Passerone, R., De Alfaro, L., Henzinger, T.A., Sangiovanni-Vincentelli, A.L.: Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin. In: ICCAD (2002)","DOI":"10.1145\/774572.774592"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Sala\u00fcn, G.: Generation of service wrapper protocols from choreography specifications. In: Proceedings of SEFM (2008)","DOI":"10.1109\/SEFM.2008.42"},{"key":"4_CR14","unstructured":"Sen, K., Vardhan, A., Agha, G., Rosu, G.: Efficient decentralized monitoring of safety in distributed systems. In: Proceedings of ICSE 2004 (2004)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Simmonds, J., Gan, Y., Chechik, M., Nejati, S., O\u2019Farrell, B., Litani, E., Waterhouse, J.: Runtime monitoring of web service conversations. IEEE T. Services Computing 2(3) (2009)","DOI":"10.1109\/TSC.2009.16"},{"key":"4_CR16","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":"4_CR17","doi-asserted-by":"crossref","unstructured":"Van Der Aalst, W.M.P., Ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases\u00a014(1) (2003)","DOI":"10.1023\/A:1022883727209"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37057-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T08:15:18Z","timestamp":1557562518000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37057-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370564","9783642370571"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37057-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}