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 j...Show MoreMetadata
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.
Published in: 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops
Date of Conference: 05-12 November 2007
Date Added to IEEE Xplore: 14 January 2008
Print ISBN:0-7695-3028-1