{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:11:55Z","timestamp":1725520315377},"publisher-location":"Basel","reference-count":32,"publisher":"Birkh\u00e4user Basel","isbn-type":[{"type":"print","value":"9783764388638"},{"type":"electronic","value":"9783764388645"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-7643-8864-5_2","type":"book-chapter","created":{"date-parts":[[2008,10,27]],"date-time":"2008-10-27T22:59:52Z","timestamp":1225148392000},"page":"5-22","source":"Crossref","is-referenced-by-count":6,"title":["Service selection by choreography-driven matching"],"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":"2_CR1","volume-title":"Architectures and Applications","author":"G. Alonso","year":"2004","unstructured":"G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services Concepts. Architectures and Applications. Springer-Verlag, Berlin, 2004."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. A priori conformance verification for guaranteeing interoperability in open environments. In Proc. of the 5th International Conference on Service Oriented Computing (ICSOC 2006), volume 4294 of LNCS, pages 339\u2013351. Springer, 2006.","DOI":"10.1007\/11948148_28"},{"issue":"1","key":"2_CR3","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.jlap.2006.05.005","volume":"70","author":"M. Baldoni","year":"2007","unstructured":"M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about interaction protocols for customizing web service selection and composition. J. of Logic and Algebraic Programming, 70(1):53\u201373, 2007.","journal-title":"J. of Logic and Algebraic Programming"},{"key":"2_CR4","unstructured":"M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Goal preservation by choreography-driven matchmaking. In Proc. of the Third International Workshop on Engineering Service-Oriented Applications: Analysis, Design and Composition, WESOA 2007, in conjunction with ICSOC 2007 pages 77\u201388, Vienna, Austria, September 2007."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Reasoning on choreographies and capability requirements. International Journal of Business Process Integration and Management, IJBPIM, 2007.","DOI":"10.1504\/IJBPIM.2007.017751"},{"issue":"2\u20134","key":"2_CR6","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1023\/B:AMAI.0000031196.24935.b5","volume":"41","author":"M. Baldoni","year":"2004","unstructured":"M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Programming Rational Agents in a Modal Action Logic. Annals of Mathematics and Artificial Intelligence, Special issue on Logic-Based Agent Implementation, 41(2\u20134):207\u2013257, 2004.","journal-title":"Annals of Mathematics and Artificial Intelligence, Special issue on Logic-Based Agent Implementation"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Synthesis of Underspecified Composite e-Service bases on Atomated Reasoning. In Proc. of ICSOC04. 2nd International Conference on Service Oriented Computing, pages 105\u2013114, 2004.","DOI":"10.1145\/1035167.1035183"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"D. Biswas. Web services discovery and constraints composition. In Proc. of the 1st Int. Conf. on Web Reasoning and Rule Systems, RR 2007, volume 4524 of LNCS, pages 73\u201387. Springer, 2007.","DOI":"10.1007\/978-3-540-72982-2_6"},{"key":"2_CR9","unstructured":"J. Bryson, D. Martin, S. McIlraith, and L. A. Stein. Agent-based composite services in DAML-S: The behavior-oriented design of an intelligent semantic web. In Agent-Based Composite Services in DAML-S: The Behavior-Oriented Design of an Intelligent Semantic Web, Web Intelligence. Springer-Verlag, 2002."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Choreography and orchestration: A synergic approach for system design. In Proc. of 4th International Conference on Service Oriented Computing (ICSOC 2005), volume 3826 of LNCS, pages 228\u2013240. Springer, 2005.","DOI":"10.1007\/11596141_18"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/S0306-4379(01)00014-X","volume":"26","author":"F. Casati","year":"2001","unstructured":"F. Casati and M. C. Chien. Dynamic and adaptive composition of e-services. Information Systems, 26:143\u2013163, 2001.","journal-title":"Information Systems"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"D. Fensel, H. Lausen, J. de Bruijn, M. Stollberg, D. Roman, and A. Polleres. Enabling Semantic Web Services: The Web Service Modeling Ontology. Springer, 2007.","DOI":"10.1007\/978-3-540-34520-6"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based analysis of obligations in web service choreography. In Proc. of IEEE International Conference on Internet & Web Applications and Services 2006 2006.","DOI":"10.1109\/AICT-ICIW.2006.131"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"L. Giordano and A. Martelli. Web Service Composition in a Temporal Action Logic. In Proc. of 4th Int. Work. on AI for Service Composition, 2006.","DOI":"10.1007\/11829263_13"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"M. P. Huget and J.L. Koning. Interaction Protocol Engineering. In H.P Huget, editor, Communication in Multiagent Systems, volume 2650 of LNAI, pages 179\u2013193. Springer, 2003.","DOI":"10.1007\/978-3-540-44972-0_9"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"F. Kaufer and M. Klusch. WSMO-MX: A logic programming based hybrid service matchmaker. In ECOWS\u201906: Proc. of the European Conference on Web Services, pages 161\u2013170, Washington, DC, USA, 2006. IEEE Computer Society.","DOI":"10.1109\/ECOWS.2006.39"},{"key":"2_CR17","unstructured":"U. Keller, R. Laraand A. Polleres, I. Toma, M. Kifer, and D. Fensel. D5.1 v0.1 WSMO web service discovery. Technical report, WSML deliverable, 2004. Available at http:\/\/www.wsmo.org\/TR\/d5\/d5.1\/v0.1\/."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Lei Li and Ian Horrocks. A software framework for matchmaking based on semantic web technology. In WWW '03: Proceedings of the 12th international conference on World Wide Web, pages 331\u2013339, New York, NY, USA, 2003. ACM.","DOI":"10.1145\/775152.775199"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"A. Martelli and L. Giordano. Reasoning About Web Services in a Temporal Action Logic. In Reasoning. Action and Interaction in AI Theories and System, number 4155 in LNAI, pages 229\u2013246. Springer, 2006.","DOI":"10.1007\/11829263_13"},{"issue":"7","key":"2_CR20","doi-asserted-by":"publisher","first-page":"954","DOI":"10.1109\/TKDE.2005.101","volume":"17","author":"B. Medjahed","year":"2005","unstructured":"B. Medjahed and A. Bouguettaya. A multilevel composability model for semantic web services. IEEE Trans. on Knowledge and Data Engineering, 17(7): 954\u2013968, 2005.","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"key":"2_CR21","unstructured":"B. \u00d6rrens, J. Yang, and M. P. Papazoglou. Model driven service composition. In ICSOC 2003, Proceedings of the First International Conference on Service-Oriented Computing. 2003, volume 2910 of LNCS, pages 75\u201390. Springer, 2003."},{"key":"2_CR22","unstructured":"OWL-S Coalition. http:\/\/www.daml.org\/services\/owl-s\/."},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"M. Paolucci, T. Kawamura, T. R. Payne, and K. P. Sycara. Semantic matching of web services capabilities. In Proc. of ISWC'02, pages 333\u2013347. Springer, 2002.","DOI":"10.1007\/3-540-48005-6_26"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"M. Pistore, L. Spalazzi, and P. Traverso. A minimalist approach to semantic annotations for web processes compositions. In The Semantic Web: Research and Applications. 3rd European Semantic Web Conference. ESWC 2006, June, 2006, Proceedings, volume 4011 of LNCS, pages 620\u2013634. Springer, 2006.","DOI":"10.1007\/11762256_45"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"S. K. Rajamani and J. Rehof. Conformance checking for models of asynchronous message passing software. In Proc. of 14th International Conference on Computer Aided Verification. CAV 2002, volume 2404 of LNCS, pages 166\u2013179. Springer, 2002.","DOI":"10.1007\/3-540-45657-0_13"},{"key":"2_CR26","unstructured":"UDDI, Universal Description, Discovery and Integration. http:\/\/www.uddi.org\/."},{"key":"2_CR27","unstructured":"W3C. Semantic Annotations for WSDL Working Group. http:\/\/www.w3.org\/2002\/ws\/sawsdl\/."},{"key":"2_CR28","unstructured":"WS-CDL. http:\/\/www.w3.org\/tr\/ws-cdl-10\/."},{"key":"2_CR29","unstructured":"WSCI, Web Service Choreography Interface. http:\/\/www.w3.org\/tr\/wsci."},{"key":"2_CR30","unstructured":"WSDL Message Exchange Patterns. http:\/\/www.w3.org\/tr\/2004\/wd-wsdl20-patterns-20040326\/."},{"key":"2_CR31","unstructured":"WSDL, Web Service Description Language. http:\/\/www.w3.org\/tr\/wsdl."},{"issue":"4","key":"2_CR32","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/261640.261641","volume":"6","author":"A. Moormann Zaremski","year":"1997","unstructured":"A. Moormann Zaremski and J. M. Wing. Specification matching of software components. ACM Trans. on Software Engineering and Methodology, 6(4):333\u2013369, 1997.","journal-title":"ACM Trans. on Software Engineering and Methodology"}],"container-title":["Emerging Web Services Technology, Volume II"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7643-8864-5_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T05:28:34Z","timestamp":1606109314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7643-8864-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783764388638","9783764388645"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-7643-8864-5_2","relation":{},"subject":[]}}