|
Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pó³rola, Maciej Szreter
Towards Automatic Composition of Web Services: Abstract Planning Phase
1017
Abstract
The paper proposes a method of converting the problem of automated composition
of web services to the problem of building a graph of worlds
consisting of formally defined objects. We present basic rules of
defining ontologies for services execution environments, in which
automatic reasoning about sequences of service calls leading to
saatisfying a user's intention is possible. The intention can be
specified in a fully declarative language, without knowledge about
services. In turn, the services are treated as independent ``black
boxes'', realizing their activities regardless of the flow in which
they attend.
The intentions and the descriptions of the services are the only source
of knowledge used to generate abstract plans.
The above planning process is the first phase of automated composition.
The paper presents also a tool implementing our composition algorithm
and some experimental results.
Keywords: webservices, automatic composition, abstract planning.
|
|
 |
 |
