| | |
Summary: Choreographies: using Constraints to Satisfy Service Requests
Alexander Lazovik,1
Marco Aiello,1,2
and Rosella Gennari3
1. DIT, University of Trento, Via Sommarive 14, 38100 Trento, Italy
2. VITALab, TUWien, Argentinierstrasse 8, 1040 Wien, Austria
3. Bozen-Bolzano Free U., Piazza Domenicani 3, 39100 Bolzano, Italy
{lazovik,aiellom}@dit.unitn.it gennari@inf.unibz.it
Abstract
Interacting with a web service enabled marketplace to
achieve a complex task involves sequencing a set of indi-
vidual service operations, gathering information from the
services, and making choices. In the context of coreogra-
phies of web services, we propose to encode the problem of
issuing requests as a constraint problem. In particular, we
provide a choreographic framework to handle requests, we
show how request encoding is performed, and we illustrate
an implementation using the Choco constraint system.
1 Introduction
Satisfying complex business requirements in service-
|
