Service-oriented mediation with jETI/jABC: Verification and export

Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Stefan Naujokat

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationProceedings - 2007 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2007
Pages144-147
Number of pages4
DOIs
Publication statusPublished - 2007
Externally publishedYes
Event2007 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2007 - Silicon Valley, CA, United States
Duration: 2 Nov 20075 Nov 2007

Publication series

NameProceedings - 2007 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2007

Conference

Conference2007 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2007
Country/TerritoryUnited States
CitySilicon Valley, CA
Period2/11/075/11/07

Fingerprint

Dive into the research topics of 'Service-oriented mediation with jETI/jABC: Verification and export'. Together they form a unique fingerprint.

Cite this