Synthesizing the Mediator with jABC/ABC.

摘要: Abstract. In this paper we show how to apply a tableau-based software com-position technique automatically generate the mediator’s service logic. Thisuses an LTL planning (or configuration) algorithm originally embedded in theABC and ETI platforms. The works on basis of existingjABC library available services (SIB library) enhanced descriptionof their semantics given terms taxonomic classification behaviour(modules) abstract interfaces/messages (types). 1 SWS Challenge Mediator ongoing Sematic Web Service [19] proposes number increasinglycomplexscenariosforworkflow-basedservicemediationandservicediscovery.Weusehere technology presented [10] synthesise process that realizes commu-nication layer for Challenge’s initial mediation scenario.Inthisscenario,acustomer(technically,aclient)initiatesaPurchaseOrderRequestspecifiedbyaspecialmessageformat(RosettaNetPIP3A4)andwaitsforacorrespond-ingPurchaseOrderConfirmationaccordingtothesameRosettaNetstandard.Thesellerhoweverdoesnotsupportthisstandard.Itsbackendsystemorserverawaitsanorderinaproprietary message format provides appropriate Services serve requestin proprietary format. As client server here speak different languages, there is aneed adapts both data formats also granularity.Of course can easily define concrete within our jABC modellingframework, as have shown past [11,6,7].To provide more flexible solution framework, especially accommodate laterdeclarative specification changes backend side or flow, synthe-size whole mediator using synthesis introduced [10]. We proceedhere exactly along lines already paper.In following, Sect. 2 use SLTL methodology togeneratethemediatorworkflowbasedonaknowledgebasethatexpressesthesemantics