Abductive synthesis of the mediator scenario with jABC and GEM

Christian Kubczak, Tiziana Margaria, Matthias Kaiser, Jens Lemcke, Björn Knuth

Research output: Contribution to journalConference articlepeer-review

Abstract

We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to exchange the synthesis paradigm from a linear-time-logic proof based algorithm to a runtime, abductive synthesis implemented in Prolog, that responds directly to situational changes. Both solutions take advantage of a policy-oriented enterprise management approach.

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 'Abductive synthesis of the mediator scenario with jABC and GEM'. Together they form a unique fingerprint.

Cite this