Title: Reasoning on choreographies and capability requirements

Authors: Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella

Addresses: Dipartimento di Informatica, Universita degli Studi di Torino, c.so Svizzera, 185 – Torino, Italy. ' Dipartimento di Informatica, Universita degli Studi di Torino, c.so Svizzera, 185 – Torino, Italy. ' Dipartimento di Informatica, Universita degli Studi di Torino, c.so Svizzera, 185 – Torino, Italy. ' Dipartimento di Informatica, Universita degli Studi di Torino, c.so Svizzera, 185 – Torino, Italy. ' Dipartimento di Informatica, Universita degli Studi di Torino, c.so Svizzera, 185 – Torino, Italy

Abstract: A typical problem of research in the area of service oriented systems is the composition of a set of services for executing a complex task. In this paper, we face an instance of this problem in which a set of parties (be their peers, agents or systems) have to interact according to a given choreography. In particular, we mean to exploit the role definitions contained in the choreography for realising interaction policies that can be executed by the involved parties. In this case, it is necessary that the choreography captures not only the interactive behaviour of the system as a whole but that the role definitions contain also a set of requirements of capabilities that the parties should exhibit, where by the term |capability| we mean the skill of doing something or of making some condition become true. Such capabilities have the two-fold aim of connecting the interactive behaviour to be shown by the role player to its internal state and of making the policy executable.

Keywords: choreographies; interaction protocols; capabilities; reasoning; semantic matchmaking; role definitions; interactive behaviour; complex tasks; task execution.

DOI: 10.1504/IJBPIM.2007.017751

International Journal of Business Process Integration and Management, 2007 Vol.2 No.4, pp.247 - 261

Published online: 01 Apr 2008 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article