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 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 |