Service-Oriented Mediation with jETI/jABC: Verification and Export
- 1 November 2007
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 144-147
- https://doi.org/10.1109/wi-iatw.2007.27
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.Keywords
This publication has 4 references indexed in Scilit:
- Model Driven Design of Reliable Robot Control Programs Using the jABCPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- A Web-Based Runtime-Reconfigurable Role Management ServicePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006
- Temporal and Modal LogicPublished by Elsevier BV ,1990
- Results on the propositional μ-calculusTheoretical Computer Science, 1983