Skip to main content
SpringerLink
Log in

Service-oriented Mediation with jABC/jETI

  • Chapter
Semantic Web Services Challenge

Part of the book series: Semantic Web And Beyond ((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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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 2006

    Google Scholar 

  2. Apache Axis Web Service Framework, 2007. http://ws.apache.org/axis/

  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 1997

    Google Scholar 

  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, 1990

    Google Scholar 

  5. J. Gaeb. Entwicklung eines BPEL-Plugins für das jABC-Framework. Master's thesis, Universität Dortmund, 2007

    Google Scholar 

  6. GEAR Model Checker, 2007. http://jabc.cs.uni-dortmund.de/opencms/ opencms/jabc/plugins/gear.html

  7. GeneSys Code Generation, 2007. http://jabc.cs.uni-dortmund.de/ opencms/opencms/jabc/plugins/genesys/index.html

  8. jABC Website, 2007. http://www.jabc.de

  9. JAX-WS Developers' Website:, 2007. https://jax-ws.dev.java.net/

  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 Verlag

    Google Scholar 

  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 Verlag

    Google Scholar 

  12. D. Kozen. Results on the propositional mu-calculus. TCS N.27, pages 333–354, 1983

    Google Scholar 

  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, 2007

    Google Scholar 

  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 2005

    Article  Google Scholar 

  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 2006

    Google Scholar 

  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, 2008

    Google Scholar 

  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 2007

    Google Scholar 

  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, 2005

    Google Scholar 

  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 2006

    Google Scholar 

  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 Verlag

    Google Scholar 

  21. Tiziana Margaria and Bernhard Steffen. Lightweight coarse-grained coordination: a scalable system-level approach. STTT, 5(2–3):107–123, 2004

    Google Scholar 

  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, 2007

    Google Scholar 

  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 1999

    Google Scholar 

  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, 2004

    Article  Google Scholar 

  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, 1999

    Google Scholar 

  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, 1997

    Article  MATH  Google Scholar 

  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, 1997

    Google Scholar 

  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 1996

    Google Scholar 

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

    Google Scholar 

  30. A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5, 1955

    Google Scholar 

Download references

Authors
  1. Christian Kubczak
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tiziana Margaria
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Bernhard Steffen
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ralf Nagel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Dept., Stanford University, 353 Serra Mall, Stanford, CA, 94305-9020

    Charles Petrie

  2. Chair Service and Software Engineering Institute for Informatics, University Potsdam, August-Bebel-Str.89 — Haus 4, Potsdam, D-14482, Germany

    Tiziana Margaria

  3. Semantics Technology Institute (STI), University of Innsbruck ICT, Technologie Park Technikerstraβe 21a, Innsbruck, 6020, Austria

    Holger Lausen  & Michal Zaremba  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer Science+Business Media, LLC

About this chapter

Cite this chapter

Kubczak, C., Margaria, T., Steffen, B., Nagel, R. (2009). Service-oriented Mediation with jABC/jETI. In: Petrie, C., Margaria, T., Lausen, H., Zaremba, M. (eds) Semantic Web Services Challenge. Semantic Web And Beyond, vol 8. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-72496-6_5

Download citation

  • DOI: https://doi.org/10.1007/978-0-387-72496-6_5

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-0-387-72495-9

  • Online ISBN: 978-0-387-72496-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation