| Semantic Web Services Challenge 2008 Abductive Synthesis of the Mediator Scenario with (2009) | |||||||||||||||
Abstract | |||||||||||||||
| 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. 1 | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||