Abstract
This work faces the problem of automatic selection and composition of web services, discussing the advantages that derive from the inclusion, in a web service declarative description, of the high-level communication protocol, that is used by the service for interacting with its partners, allowing a rational inspection of it. The approach we propose is set in the Semantic Web field of research and inherits from research in the field of multi-agent systems. Web services are viewed as software agents, communicating by predefined sharable interaction protocols. A logic programming framework based on modal logic is proposed, where the protocol-based interactions of web services are formalized and the use of reasoning about actions and change techniques (planning) for performing the tasks of selection and composition of web services in a way that is personalized w.r.t. the user request is enabled. We claim that applying reasoning techniques on a declarative specification of the service interactions allows to gain flexibility in fulfilling the user preference in the context of a web service matchmaking process.

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

BibTeX:

@article{REWERSE-RP-2007-018,
	author = {Matteo Baldoni and Cristina Baroglio and Alberto Martelli and Viviana Patti},
	title = {Reasoning about interaction protocols for customizing web service selection and composition},
	journal = {Journal of Logic and Algebraic Programming (JLAP)},
	year = {2007},
	volume = {70},
	number = {1},
	pages = {53--73},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-018}
}