Goal Preservation by Choreography-Driven Matchmaking

Baldoni, Matteo; Baroglio, Cristina; Martelli, Alberto; Patti, Viviana; Schifanella, Claudio

doi:10.1007/978-3-540-93851-4_40

Cited by 4 publications

(3 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This article surveys and extends the proposal in [6,8], a work that concerns the use of rule-based choreography specifications in the process of performing a goal-driven selection of services which should act as role players. This activity is quite complex and involves many steps, including the verification of the possible achievement of individual goals when playing roles, the matchmaking of operations against specifications contained in the choreography, and the identification of a joint working plan, that allows all the participants to pursue their individual goals collectively.…”

Section: Conclusion and Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Flexible choreography-driven service selection

Baldoni

Baroglio

Marengo

et al. 2012

Intelligenza Artificiale

Self Cite

View full text Add to dashboard Cite

The greater and greater availability of services over the web motivates the growing interest in techniques that facilitate their re-use. A web service specification can be quite complex, including various operations and message exchange patterns. In this work, we propose a rule-based declarative representation of services, and in particular of WSDL operations, that enables the application of techniques for reasoning about actions and change, that are typical of agent systems. The representation allows reasoning on choreography roles and on possible role players, to the aim of selecting services which match in a flexible way with the specification. Flexible matches are an important tool that allows web service re-use but the proposals in the literature do not guarantee the preservation of those goals, that can be proved over the role specification. We show how to enrich various well-known matches so as to produce substitutions that preserve goals and that do not require service rollback. We also discuss the problem of the joint achievement of the individual goals of a group of choreography role players.

show abstract

Section: Conclusion and Related Workmentioning

confidence: 99%

“…Current (flexible, semantic) matchmaking techniques work on a single operation at a time. Since each operation can influence the executability and the outcomes of the subsequent ones in the choreography, in general, a sequence of individually identified operations might not work [6,8].…”

Section: Introductionmentioning

confidence: 99%

Flexible choreography-driven service selection

Baldoni

Baroglio

Marengo

et al. 2012

Intelligenza Artificiale

Self Cite

View full text Add to dashboard Cite

show abstract

“…Intuitively, we assume that b1 already checked to be able to play the buyer role, by proving that it owns both the internal (eval offer) required operations, and the ones foreseen by the protocol (not available ,offer ). The checking can be performed by generalizing the approach in [4]. The procedures in P are described by the following clauses:…”

Section: Service Representationmentioning

confidence: 99%

Service selection by choreography-driven matching

Baldoni

Baroglio

Martelli

et al.

Emerging Web Services Technology, Volume II

Self Cite

View full text Add to dashboard Cite

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.

show abstract