Title :
Service-Oriented Mediation with jETI/jABC: Verification and Export
Author :
Kubczak, Christian ; Margaria, Tiziana ; Steffen, Bernhard ; Naujokat, Stefan
Author_Institution :
Univ. Dortmund, Dortmund
Abstract :
The paper presents how we solved the mediation challenge in a model driven, service oriented fashion, how we verify properties of the mediator via model checking in the jABC, and how to systematically export jABC/jETI orchestrated services as Web services. Due to the lack of maturity of the involved environments and external components, the latter task is less easy and the solutions possible today are less stable than one would expect from these technologies.
Keywords :
Web services; formal verification; Web services; jABC; jETI; model checking; service-oriented mediation; Automatic logic units; Conferences; Context-aware services; Engines; Intelligent agent; Mediation; Moon; Paper technology; Software engineering; Web services; SWS Mediation jABC jETI Service-Oriented Verification;
Conference_Titel :
Web Intelligence and Intelligent Agent Technology Workshops, 2007 IEEE/WIC/ACM International Conferences on
Conference_Location :
Silicon Valley, CA
Print_ISBN :
0-7695-3028-1
DOI :
10.1109/WI-IATW.2007.27
