{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:08:57Z","timestamp":1742987337073,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749738"},{"type":"electronic","value":"9783540749745"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-540-93851-4_40","type":"book-chapter","created":{"date-parts":[[2009,1,13]],"date-time":"2009-01-13T02:18:17Z","timestamp":1231813097000},"page":"413-426","source":"Crossref","is-referenced-by-count":2,"title":["Goal Preservation by Choreography-Driven Matchmaking"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Baldoni","sequence":"first","affiliation":[]},{"given":"Cristina","family":"Baroglio","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Martelli","sequence":"additional","affiliation":[]},{"given":"Viviana","family":"Patti","sequence":"additional","affiliation":[]},{"given":"Claudio","family":"Schifanella","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-10876-5","volume-title":"Web Services","author":"G. Alonso","year":"2004","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Heidelberg (2004)"},{"issue":"1","key":"40_CR2","first-page":"53","volume":"70","author":"M. Baldoni","year":"2007","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Reasoning about interaction protocols for customizing web service selection and composition. JLAP, special issue on Web Services and Formal Methods\u00a070(1), 53\u201373 (2007)","journal-title":"JLAP, special issue on Web Services and Formal Methods"},{"key":"40_CR3","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Reasoning on choreographies and capability requirements. International Journal of Business Process Integration and Management\u00a02(4) (2007) (in press)","DOI":"10.1504\/IJBPIM.2007.017751"},{"key":"40_CR4","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Service selection by choreography-driven matching. In: Proc. of the 2nd ECOWS Workshop WEWST 2007, January 2008. CEUR, vol.\u00a0313, pp. 1\u201317 (2008)","DOI":"10.1007\/978-3-7643-8864-5_2"},{"issue":"2-4","key":"40_CR5","first-page":"207","volume":"41","author":"M. Baldoni","year":"2004","unstructured":"Baldoni, M., Giordano, L., Martelli, A., Patti, V.: Programming Rational Agents in a Modal Action Logic. AMAI\u00a041(2-4), 207\u2013257 (2004)","journal-title":"AMAI"},{"key":"40_CR6","volume-title":"Web Intelligence","author":"J. Bryson","year":"2003","unstructured":"Bryson, J., Martin, D., McIlraith, S., Stein, L.A.: Agent-based composite services in DAML-S: The behavior-oriented design of an intelligent semantic web. In: Web Intelligence. Springer, Heidelberg (2003)"},{"key":"40_CR7","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/S0306-4379(01)00014-X","volume":"26","author":"F. Casati","year":"2001","unstructured":"Casati, F., Chien, M.C.: Dynamic and adaptive composition of e-services. Information Systems\u00a026, 143\u2013163 (2001)","journal-title":"Information Systems"},{"key":"40_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-34520-6","volume-title":"Enabling Semantic Web Services : The Web Service Modeling Ontology","author":"D. Fensel","year":"2007","unstructured":"Fensel, D., Polleres, A., Lausen, H., de Bruijn, J., Stollberg, M., Roman, D., Domingue, J.: Enabling Semantic Web Services: The Web Service Modeling Ontology. Springer, Heidelberg (2007)"},{"key":"40_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/BFb0023732","volume-title":"Computer-Aided Verification","author":"S. Graf","year":"1991","unstructured":"Graf, S., Steffen, B.: Compositional minimization of finite state systems. In: Clarke, E., Kurshan, R.P. (eds.) CAV 1990. LNCS, vol.\u00a0531, pp. 186\u2013196. Springer, Heidelberg (1991)"},{"key":"40_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-44972-0_9","volume-title":"Communication in Multiagent Systems","author":"M.-P. Huget","year":"2003","unstructured":"Huget, M.-P., Koning, J.-L.: Interaction protocol engineering. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS, vol.\u00a02650, pp. 179\u2013193. Springer, Heidelberg (2003)"},{"key":"40_CR11","first-page":"161","volume-title":"Proc. of ECOWS 2006","author":"F. Kaufer","year":"2006","unstructured":"Kaufer, F., Klusch, M.: Wsmo-mx: A logic programming based hybrid service matchmaker. In: Proc. of ECOWS 2006, pp. 161\u2013170. IEEE Comp. Soc., Los Alamitos (2006)"},{"key":"40_CR12","unstructured":"Keller, U., Laraand, R., Polleres, A., Toma, I., Kifer, M., Fensel, D.: D5.1 v0.1 WSMO web service discovery. Technical report, WSML deliverable (2004)"},{"key":"40_CR13","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H.J. Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.B.: GOLOG: A logic programming language for logic domains. JLP\u00a031, 59\u201383 (1997)","journal-title":"JLP"},{"key":"40_CR14","volume-title":"Proc. of WWW Conference","author":"L. Li","year":"2003","unstructured":"Li, L., Horrocks, I.: A software framework for matchmaking based on semantic technology. In: Proc. of WWW Conference. ACM Press, New York (2003)"},{"issue":"7","key":"40_CR15","first-page":"954","volume":"17","author":"B. Medjahed","year":"2005","unstructured":"Medjahed, B., Bouguettaya, A.: A multilevel composability model for semantic web services. IEEE Trans. on KDE\u00a017(7), 954\u2013968 (2005)","journal-title":"IEEE Trans. on KDE"},{"key":"40_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-540-24593-3_6","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"B. \u00d6rrens","year":"2003","unstructured":"\u00d6rrens, B., Yang, J., Papazoglou, M.P.: Model driven service composition. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, pp. 75\u201390. Springer, Heidelberg (2003)"},{"key":"40_CR17","first-page":"333","volume-title":"Proc. of ISWC 2002","author":"M. Paolucci","year":"2002","unstructured":"Paolucci, M., Kawamura, T., Payne, T.R., Sycara, K.P.: Semantic matching of web services capabilities. In: Proc. of ISWC 2002, pp. 333\u2013347. Springer, Heidelberg (2002)"},{"key":"40_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1007\/11762256_45","volume-title":"The Semantic Web: Research and Applications","author":"M. Pistore","year":"2006","unstructured":"Pistore, M., Spalazzi, L., Traverso, P.: A minimalist approach to semantic annotations for web processes compositions. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 620\u2013634. Springer, Heidelberg (2006)"},{"key":"40_CR19","unstructured":"Schifanella, C.: Reasoning on Web Services with Choreographies and Capabilities. PhD thesis, Dip. Informatica, Universit\u00e0 degli Studi di Torino, Italy (2008)"},{"issue":"1-2","key":"40_CR20","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s100090050003","volume":"1","author":"B. Steffen","year":"1997","unstructured":"Steffen, B., Margaria, T., Braun, V.: The electronic tool integration platform: Concepts and design. STTT\u00a01(1-2), 9\u201330 (1997)","journal-title":"STTT"},{"key":"40_CR21","unstructured":"WS-CDL (2005), \n                    \n                      http:\/\/www.w3.org\/tr\/ws-cdl-10\/"},{"issue":"4","key":"40_CR22","first-page":"333","volume":"6","author":"A. Moormann Zaremski","year":"1997","unstructured":"Moormann Zaremski, A., Wing, J.M.: Specification matching of software components. ACM Transactions on SEM\u00a06(4), 333\u2013369 (1997)","journal-title":"ACM Transactions on SEM"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-93851-4_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T17:11:43Z","timestamp":1551719503000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-93851-4_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540749738","9783540749745"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-93851-4_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}