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 to satisfy 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.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-144

BibTeX:

@inproceedings{REWERSE-RP-2007-144,
	author = {Matteo Baldoni and Cristina Baroglio and Alberto Martelli and Viviana Patti and Claudio Schifanella},
	title = {Service selection by choreography-driven matching},
	booktitle = {Proceedings of 2nd Workshop on Emerging Web Services Technology, Halle (Saale), Germany (26th November 2007)},
	year = {2007},
	volume = {313},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-144}
}