Concepedia

THE SWS MEDIATOR WITH WEBML/WEBRATIO AND JABC/JETI: A COMPARISON

Tiziana Margaria, Christian Winkler, Christian Kubczak, Bernhard Steffen, Marco Brambilla, Stefano Ceri, Dario Cerizza, Emanuele Della Valle, Federico Michele Facca, Christina Tziviskou

2007 · 16 citations · 6 references

DOIFull text

Open access

Concepts

Abstract

In this paper we compare the SWS Challenge Mediator solutions provided using the WebML/Webratio and the jABC/jETI approaches.

References

6

Model-Checking: A Tutorial Introduction

Markus Müller-Olm, David A. Schmidt, Bernhard Steffen · 1999 · 139 citations

, , +9

Model-driven design and deployment of service-enabled web applications

Ioana Manolescu, Marco Brambilla, Stefano Ceri et al. · ACM Transactions on Internet Technology · 2005 · 116 citations

, , +16

LearnLib

Harald Raffelt, Bernhard Steffen, Therese Berg · 2005 · 100 citations

, , +15

Remote Integration and Coordination of Verification Tools in JETI

Tiziana Margaria, Ralf Nagel, Bernhard Steffen · 2005 · 62 citations

, , +22

Model-based design of distributed collaborative bioinformatics processes in the jABC

Tiziana Margaria, Christian Kubczak, M. Njoku et al. · 2006 · 36 citations

, , +25