| | |
Summary: Extended Goals for Composing Services
Eirini Kaldeli and Alexander Lazovik and Marco Aiello
Distributed Systems Group
Dep. of Mathematics and Computing Science
University of Groningen
Nijenborg 9 9747AG Groningen
The Netherlands
Abstract
The ability to automatically compose Web Services is critical
for realising more complex functionalities. Several proposals
to use automated planning to deal with the problem of service
composition have been recently proposed. We present an ap-
proach, based on modelling the problem as a CSP (Constraint
Satisfaction Problem), that accommodates for the use of nu-
meric variables, sensing and incomplete knowledge. We in-
troduce a language for expressing extended goals, equipped
with temporal constructs, maintainability properties, and an
explicit distinction between sensing and achievement goals,
in order to avoid undesirable situations.
Introduction
|
