Loading [a11y]/accessibility-menu.js
Service-Oriented Mediation with jETI/jABC: Verification and Export | IEEE Conference Publication | IEEE Xplore

Service-Oriented Mediation with jETI/jABC: Verification and Export


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 More

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.
Date of Conference: 05-12 November 2007
Date Added to IEEE Xplore: 14 January 2008
Print ISBN:0-7695-3028-1
Conference Location: Silicon Valley, CA, USA

References

References is not available for this document.