Synthesizing the Mediator with jABC/ABC

8 years 3 months ago
Synthesizing the Mediator with jABC/ABC
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (or configuration) algorithm originally embedded in the ABC and in the ETI platforms. The algorithm works on the basis of the existing jABC library of available services (SIB library) and of an enhanced description of their semantics given in terms of a taxonomic classification of their behaviour ) and abstract interfaces/messages (types). 1 The SWS Challenge Mediator The ongoing Sematic Web Service Challenge [19] proposes a number of increasingly complex scenarios for workflow-based service mediation and service discovery. We use here the technology presented in [10] to synthesise a process that realizes the communication layer for the Challenge's initial mediation scenario. In this scenario, a customer (technically, a client) initiates a Purchase Order Request specified by a special message format (Rose...
Tiziana Margaria
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2008
Where EON
Authors Tiziana Margaria
Comments (0)