Semantic Web Services Challenge 2008 Abductive Synthesis of the Mediator Scenario with (2009)
Christian Kubczak, Tiziana Margaria, Matthias Kaiser, Jens Lemcke, Björn Knuth
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...