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

Authors:
Christian Kubczak;Tiziana Margaria;Bernhard Steffen;Stefan Naujokat
Affiliations:
-;-;-;-
Venue:
WI-IATW '07 Proceedings of the 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops
Year:
2007

Citing 4
Cited 0

Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Service Engineering: Linking Business and IT

Computer
Model Driven Design of Reliable Robot Control Programs Using the jABC

EASE '07 Proceedings of the Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems
A Web-Based Runtime-Reconfigurable Role Management Service

WWV '06 Proceedings of the 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems

Quantified Score

Hi-index	0.00

Visualization

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.