DocumentCode
2731807
Title
Service-Oriented Mediation with jETI/jABC: Verification and Export
Author
Kubczak, Christian ; Margaria, Tiziana ; Steffen, Bernhard ; Naujokat, Stefan
Author_Institution
Univ. Dortmund, Dortmund
fYear
2007
fDate
5-12 Nov. 2007
Firstpage
144
Lastpage
147
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/WI-IATW.2007.27
Filename
4427559
Link To Document