Semantic Web Services Challenge 2008 Abductive Synthesis of the Mediator Scenario with jABC and GEM
Christian Kubczak, Tiziana Margaria, Matthias Kaiser, Jens Lemcke · 2008
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 imple- mented in Prolog, that responds directly to situational changes. Both solutions take advantage of a policy-oriented enterprise management approach.