Abstract
The greater and greater quantity of services that are available over the web causes a growing attention to techniques that facilitate their reuse. A web service specification can be quite complex, including various operations and message exchange patterns. In this work, we focus on the problem of retrieving a web service, which can play a given choreography role, preserving at the same time a condition of interest (the goal for which the service is sought). We show that current semantic matchmaking techniques do not guarantee goal preservation. We also show an approach for overcoming these limits, which exploits the choreography definition. This work is based on an action-based representation of the operations of a service: each operation is described in terms of its preconditions and effects, without taking into account the ontology layer which is not functional to the aims of the work.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services Concepts. Architectures and Applications. Springer-Verlag, Berlin, 2004.
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–351. Springer, 2006.
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–73, 2007.
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–88, Vienna, Austria, September 2007.
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.
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–4):207–257, 2004.
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–114, 2004.
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–87. Springer, 2007.
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.
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–240. Springer, 2005.
F. Casati and M. C. Chien. Dynamic and adaptive composition of e-services. Information Systems, 26:143–163, 2001.
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.
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.
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.
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–193. Springer, 2003.
F. Kaufer and M. Klusch. WSMO-MX: A logic programming based hybrid service matchmaker. In ECOWS’06: Proc. of the European Conference on Web Services, pages 161–170, Washington, DC, USA, 2006. IEEE Computer Society.
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/.
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–339, New York, NY, USA, 2003. ACM.
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–246. Springer, 2006.
B. Medjahed and A. Bouguettaya. A multilevel composability model for semantic web services. IEEE Trans. on Knowledge and Data Engineering, 17(7): 954–968, 2005.
B. Örrens, 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–90. Springer, 2003.
OWL-S Coalition. http://www.daml.org/services/owl-s/.
M. Paolucci, T. Kawamura, T. R. Payne, and K. P. Sycara. Semantic matching of web services capabilities. In Proc. of ISWC'02, pages 333–347. Springer, 2002.
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–634. Springer, 2006.
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–179. Springer, 2002.
UDDI, Universal Description, Discovery and Integration. http://www.uddi.org/.
W3C. Semantic Annotations for WSDL Working Group. http://www.w3.org/2002/ws/sawsdl/.
WS-CDL. http://www.w3.org/tr/ws-cdl-10/.
WSCI, Web Service Choreography Interface. http://www.w3.org/tr/wsci.
WSDL Message Exchange Patterns. http://www.w3.org/tr/2004/wd-wsdl20-patterns-20040326/.
WSDL, Web Service Description Language. http://www.w3.org/tr/wsdl.
A. Moormann Zaremski and J. M. Wing. Specification matching of software components. ACM Trans. on Software Engineering and Methodology, 6(4):333–369, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Birkhäuser Verlag, Basel/Switzerland
About this chapter
Cite this chapter
Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C. (2008). Service selection by choreography-driven matching. In: Gschwind, T., Pautasso, C. (eds) Emerging Web Services Technology, Volume II. Whitestein Series in Software Agent Technologies and Autonomic Computing. Birkhäuser Basel. https://doi.org/10.1007/978-3-7643-8864-5_2
Download citation
DOI: https://doi.org/10.1007/978-3-7643-8864-5_2
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-7643-8863-8
Online ISBN: 978-3-7643-8864-5
eBook Packages: Computer ScienceComputer Science (R0)