Service-oriented Mediation with jABC/jETI

  • Christian Kubczak
  • Tiziana Margaria
  • Bernhard Steffen
  • Ralf Nagel
Part of the Semantic Web And Beyond book series (ADSW, volume 8)

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 its jETI extension for seamless integration of remote (Web) services. In particular we illustrate how atomic services and orchestrations are modelled in the jABC, how legacy services and their proxies are represented within our framework, and how they are imported into our framework, how the mediator arises as orchestrations of the testbed's remote services and of local services, how vital properties of the Mediator are verified via model checking in the jABC, and how jABC/jETI orchestrated services are exported as Web services. Besides providing a solution to the mediation problem, this also illustrates the agility of jABC-based solutions, which is due to what we call eXtreme Model Driven Design, a new paradigm that puts the user process in the center of the development and the application expert in control of the process evolution.


Model Check Service Composition Global Constraint Execution Context Atomic Service 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    A. Arenas, J. Bicarregui, and T. Margaria. The FMICS view on the verified software repository, proc. integrated design and process technology. In IDPT 2006. Society for Design and Process Science, June 2006Google Scholar
  2. 2.
    Apache Axis Web Service Framework, 2007.
  3. 3.
    V. Braun, T. Margaria, B. Steffen, H. Yoo, and T. Rychly. Safe service customization. In Proc. IN'97, IEEE Communication Soc. Workshop on Intelligent Network. IEEE Comm. Soc. Press., May 1997Google Scholar
  4. 4.
    E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995–1072. MIT Press/Elsevier, 1990Google Scholar
  5. 5.
    J. Gaeb. Entwicklung eines BPEL-Plugins für das jABC-Framework. Master's thesis, Universität Dortmund, 2007Google Scholar
  6. 6.
  7. 7.
  8. 8.
    jABC Website, 2007.
  9. 9.
    JAX-WS Developers' Website:, 2007.
  10. 10.
    Sven Jörges, Christian Kubczak, Ralf Nagel, Tiziana Margaria, and Bernhard Steffen. Model-driven development with the jABC. In HVC - IBM Haifa Verification Conference, LNCS 4383, Haifa, Israel, October 23-26 2006. IBM, Springer VerlagGoogle Scholar
  11. 11.
    D. Kozen. Results on the propositional mu-calculus. In Proc. ALP'82, 9th Colloquium on Automata, Languages and Programming, LNCS 140, pages 348–359, Aarhus, DK, July 1982. Springer VerlagGoogle Scholar
  12. 12.
    D. Kozen. Results on the propositional mu-calculus. TCS N.27, pages 333–354, 1983Google Scholar
  13. 13.
    C. Kubczak, T. Margaria, B. Steffen, and S. Naujokat. Service-oriented mediation with jETI/jABC: Verification and export. In Worksh. on Service Composition & SWS Challenge, part of WI-IAT'07, the IEEE/ WIC/ ACM Int. Conf. on Web Intelligence, November 2007, Stanford (CA), volume ISBN-10: 0-7695-3028-1. IEEE CS, 2007Google Scholar
  14. 14.
    T. Margaria. Web services-based tool-integration in the ETI platform. SoSyM, Int. Journal on Software and System Modelling, 4(2):141–156, May 2005CrossRefGoogle Scholar
  15. 15.
    T. Margaria, C. Kubczak, M. Njoku, and B. Steffen. Model-based design of distributed collaborative bioinformatics processes in the jABC. In Proc. ICECCS 2006, 11th IEEE International Conference on Engineering of Complex Computer Systems, Stanford (CA), pages 169–176. IEEE CS, August 2006Google Scholar
  16. 16.
    T. Margaria, C. Kubzcak, and B. Steffen. Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. BioMed Central (BMC) Bioinformatics 2008; Supplement dedicated to Network Tools and Applications in Biology 2007 Workshop (NETTAB 2007) ISSN 1471-2105. Published online 2008 April 25. doi: 10.1186/1471-2105-9-S4-S12., 9 (Suppl 4): S12, 2008Google Scholar
  17. 17.
    T. Margaria, H. Raffelt, B. Steffen, and M. Leucker. The LearnLib in FMICS-jETI. In Proc. ICECCS 2007, 12th IEEE Int. Conf. on Engineering of Complex Computer Systems, pages 340–349. IEEE CSoc. Press., July 2007Google Scholar
  18. 18.
    T. Margaria and B. Steffen. From the how to the what. In VSTTE: Verified Software— Theories, Tools, and Experiments, Proc. IFIP Working Conference, Zurich, Oct 2005, volume LNCS 4171. Springer, 2005Google Scholar
  19. 19.
    T. Margaria and B. Steffen. Service engineering: Linking business and it. IEEE Computer, issue 60th anniv. of the Computer Society, pages 53–63, October 2006Google Scholar
  20. 20.
    T. Margaria, B. Steffen, and M. Reitenspieß. Service-oriented design: The roots. In ICSOC 2005: 3rd ACMSIGSOFT/SIGWEB Int. Conf. on Service-Oriented Computing, LNCS N.3826, pages 450–464, Amsterdam, December 2005. Springer VerlagGoogle Scholar
  21. 21.
    Tiziana Margaria and Bernhard Steffen. Lightweight coarse-grained coordination: a scalable system-level approach. STTT, 5(2–3):107–123, 2004Google Scholar
  22. 22.
    D. Martin, M. Burstein, D. McDermott, S. McIlraith, M. Paolucci, and K. Sycara et al. Bringing semantics to web services with OWL-S. In World Wide Web, volume 10, page 243277. Springer, 2007Google Scholar
  23. 23.
    M. Müller-Olm, D. Schmidt, and B. Steffen. Model-checking: A tutorial introduction. In Proc. SAS'99, pages 330–354. LNCS 1503, Springer Verlag, September 1999Google Scholar
  24. 24.
    T. Oinn, M. Addis, J. Ferris, D. Marvin, and M. Senger et al. Taverna: a tool for the composition and enactment of bioinformatics workflows. Bioinformatics, 20(17):3045– 3054, 2004CrossRefGoogle Scholar
  25. 25.
    B. Steffen and T. Margaria. Metaframe in practice: Intelligent network service design. In Correct System Design - Issues, Methods and Per-spectives, E.-R. Olderog and B. Steffen (eds.), LNCS 1710, pages 390–415. Springer Verlag, 1999Google Scholar
  26. 26.
    B. Steffen, T. Margaria, and V. Braun. The electronic tool integration platform: Concepts and design. Int. Journal on Software Tools for Technology Transfer (STTT), 1(2):9–30, 1997zbMATHCrossRefGoogle Scholar
  27. 27.
    B. Steffen, T. Margaria, V. Braun, and N. Kalt. Hierarchical service definition. In Annual Review of Communication, pages 847–856. Int. Engineering Consortium Chicago (USA), IEC, 1997Google Scholar
  28. 28.
    B. Steffen, T. Margaria, A. Claßen, V. Braun, and M. Reitenspieß. An environment for the creation of intelligent network services. In (invited contribution) Annual Review of Communication, pages 919–935. Int. Engineering Consortium Chicago (USA), IEC, November 1996Google Scholar
  29. 29.
    Bernhard Steffen, Tiziana Margaria, and Ralf Nagel. Remote Integration and Coordination of Verification Tools in jETI. In Proc. ECBS 2005, 12th IEEE Int. Conf. on the Engineering of Computer Based Systems, pages 431–436, Greenbelt (USA), April 2005. IEEE Computer Soc. PressGoogle Scholar
  30. 30.
    A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5, 1955Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2009

Authors and Affiliations

  • Christian Kubczak
  • Tiziana Margaria
    • Bernhard Steffen
    • Ralf Nagel

    There are no affiliations available

    Personalised recommendations