Abductive Synthesis of the Mediator Scenario with jABC and GEM

2003 Conference on Selective Catalytic Reduction and Non-Catalytic Reduction for NOx Control

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

Others  :  http://CEUR-WS.org/Vol-359/Paper-5.pdf
PID  :  3075

来源: CEUR

【 摘 要 】

We reuse here the framework, the setting, and the semantic modellingfor 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.