Synthesizing the mediator with jABC/ABC

Tiziana Margaria, Marco Bakera, Harald Raffelt, Bernhard Steffen

Research output: Contribution to journalConference articlepeer-review

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 languageEnglish
JournalCEUR Workshop Proceedings
Volume359
Publication statusPublished - 2008
Externally publishedYes
Event6th International Workshop on Evaluation of Ontology-Based Tools and the Semantic Web Service Challenge, EON-SWSC 2008 - Tenerife, Spain
Duration: 1 Jun 20082 Jun 2008

Fingerprint

Dive into the research topics of 'Synthesizing the mediator with jABC/ABC'. Together they form a unique fingerprint.

Cite this