Goal Preservation by Choreography-Driven Matchmaking

Authors:
Matteo Baldoni;Cristina Baroglio;Alberto Martelli;Viviana Patti;Claudio Schifanella
Affiliations:
Dipartimento di Informatica, Università degli Studi di Torino, Torino, Italy I-10149;Dipartimento di Informatica, Università degli Studi di Torino, Torino, Italy I-10149;Dipartimento di Informatica, Università degli Studi di Torino, Torino, Italy I-10149;Dipartimento di Informatica, Università degli Studi di Torino, Torino, Italy I-10149;Dipartimento di Informatica, Università degli Studi di Torino, Torino, Italy I-10149
Venue:
Service-Oriented Computing - ICSOC 2007 Workshops
Year:
2009

Citing 10
Cited 1

Specification matching of software components

ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic and adaptive composition of e-services

Information Systems - The 12th international conference on advanced information systems engineering (CAiSE 00)
Semantic Matching of Web Services Capabilities

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Compositional Minimization of Finite State Systems

CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
A software framework for matchmaking based on semantic web technology

WWW '03 Proceedings of the 12th international conference on World Wide Web
Programming Rational Agents in a Modal Action Logic

Annals of Mathematics and Artificial Intelligence
A Multilevel Composability Model for Semantic Web Services

IEEE Transactions on Knowledge and Data Engineering
WSMO-MX: A Logic Programming Based Hybrid Service Matchmaker

ECOWS '06 Proceedings of the European Conference on Web Services
Enabling Semantic Web Services: The Web Service Modeling Ontology

Enabling Semantic Web Services: The Web Service Modeling Ontology
A minimalist approach to semantic annotations for web processes compositions

ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications

QoS-aware and multi-granularity service composition

Information Systems Frontiers

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this work we give a formal background and identify the limits of applicability of local matching criteria (among which the well-known 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.