Abstract
In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (or configuration) algorithm originally embedded in the ABC and in the ETI platforms. The algorithm works on the basis of the existing jABC library of available services (SIB library) and of an enhanced description of their semantics given in terms of a taxonomic classification of their behaviour (modules) and abstract interfaces/messages (types).
Original language | English |
---|---|
Journal | CEUR Workshop Proceedings |
Volume | 359 |
Publication status | Published - 2008 |
Externally published | Yes |
Event | 6th International Workshop on Evaluation of Ontology-Based Tools and the Semantic Web Service Challenge, EON-SWSC 2008 - Tenerife, Spain Duration: 1 Jun 2008 → 2 Jun 2008 |