Abstract
In this work we give a formal background and identify the limits of applicability of local matching criteria (among which the wellknown Zaremski and Wings’s plugin-match) when they are used to automatically retrieve all the capabilities that are necessary to instantiate a given choreography. In doing this it is necessary to take into account and somehow merge two possibly conflicting perspectives: the local criterion for selecting single capabilities and the overall goal that we mean the composition to pursue. Formally, the problem is interpreted as the study of the preservation of the global properties of a choreography, when its roles are played by specific services.

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

BibTeX:

@inproceedings{REWERSE-RP-2007-098,
	author = {Matteo Baldoni and Cristina Baroglio and Alberto Martelli and Viviana Patti and Claudio Schifanella},
	title = {Goal preservation by choreography-driven matchmaking},
	booktitle = {Proceedings of 3rd International Workshop on Engineering Service-Oriented Applications: Analysis, Design, and Composition, Vienna, Austria (17th September 2007)},
	year = {2007},
	pages = {77--88},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-098}
}