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 ...

The paper presents how we solved the Mediation chal- lenge in a model driven, service oriented fashion, how we verify properties of the Mediator via model ...

This chapter shows how we solved the Mediation task in a model driven, service oriented fashion using the jABC framework for model driven development and ...

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 ...

The paper presents how the mediation challenge is solved in a model driven, service oriented fashion, how to verify properties of the mediator via model ...

Kubczak, T. Margaria, B. Steffen, and S. Naujokat. Service-oriented mediation with jETI/jABC: Verification and export. In Worksh. on Service Composition ...

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

Service-oriented mediation with jETI/jABC: Verification and export · Web service · Formal verification.

Service-oriented mediation with jETI/jABC: Verification and export. In Work- shop on Service Composition & SWS Challenge, part of WI-IAT07, the IEEE/. WIC ...

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 ...