The XMDD Approach to the Semantic Web Services Challenge

  • Tiziana Margaria
  • Christian Kubczak
  • Bernhard Steffen


The Semantic Web Services Challenge addresses since 2006 the issue of finding adequate domain modeling formalisms that help taming the complexity of service orchestration and service discovery. In this chapter we sketch briefly our XMDD (eXtreme Model Driven Design) approach to the development of large service-oriented applications and describe how it was used to address the Challenge. Our approach gave rise so far to a collection of six solutions with different engines, methods, and profiles. We examine in this technological landscape the concrete settings, the dimensions of complexity that appear in the Challenge, and reflect on the essence of the evaluations and observations so far.


Model Check Service Composition Service Discovery Customer Relationship Management Composite 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.


  1. 1.
    A. Efeoglu, SAP Enterprise Service Workplace Handbook (SAP, 2007)Google Scholar
  2. 2.
    E.A. Emerson, C.S. Jutla, A.P. Sistla, On model-checking for fragments of μ-calculus, in Computer Aided Verification, 5th International Conference, CAV’93, Elounda, Greece, June 28–July 1, 1993Google Scholar
  3. 3.
    GEAR: game-based, easy and reverse model-checking,
  4. 4.
    K. Gomadan, A. Ranabahu, Z. Wu, A. Sheth, J. Miller, A declarative approach using SAWSDL and semantic templates towards process mediation, in Semantic Web Services Challenge – Results From the First Year, (Springer, Dordrecht, 2008), pp. 101–118Google Scholar
  5. 5.
    F. Howar, B. Steffen, M. Merten, From ZULU to RERS – lessons learned in the ZULU challenge, Prof. ISoLA 2010. LNCS, vol. 6415 (Springer, Heidelberg, 2010), pp. 687–704Google Scholar
  6. 6.
  7. 7.
    S. Jörges, C. Kubczak, R. Nagel, T. Margaria, B. Steffen, Model-driven development with the jABC, in HVC – IBM Haifa Verification Conference, Haifa, 23–26 Oct 2006. LNCS, IBM, Springer, 2006Google Scholar
  8. 8.
    M. Kaiser, Towards the realization of policy-oriented enterprise management. IEEE Comput. 40(11), 57–63 (2007)Google Scholar
  9. 9.
    C. Kubczak, T. Margaria, B. Steffen, S. Naujokat, Service-oriented mediation with jeti/jabc: verification and export, in Workshop on Service Composition & SWS Challenge, Part of WI-IAT’07, the IEEE/WIC/ACM International Conference on Web Intelligence, Stanford, Nov 2007, IEEE CS. ISBN-10: 0-7695-3028-1Google Scholar
  10. 10.
    C. Kubczak, T. Margaria, M. Kaiser, J. Lemcke, B. Knuth, On-the-fly synthesis of the mediator scenario with jABC and POEM, in Proceedings of EON-SWSC2008, 6th International Workshop on Evaluation of Ontology-Based Tools and the Semantic Web Service Challenge, with ESWC 2008, Tenerifa (E), 2008Google Scholar
  11. 11.
    C. Kubczak, T. Margaria, B. Steffen, R. Nagel, Service-oriented mediation with jABC/jETI, in Semantic Web Services Challenge – Results from the First Year, ed. by C. Petrie, T. Margaria, M. Zaremba, H. Lausen (Springer, Heidelberg, 2009), pp. 71–99. ISBN: 978-0-387-72495-9Google Scholar
  12. 12.
    A.-L. Lamprecht, T. Margaria, B. Steffen, Seven variations of an alignment workflow – an illustration of agile process design/management in bio-jeti, in ISBRA 2008, 4th International Symposium on Bioinformatics Research and Applications, Atlanta, May 2008. LNBioinformatics, LNCS, vol. 4983, Springer, 2008, pp. 445–456Google Scholar
  13. 13.
    A.-L. Lamprecht, S. Naujokat, T. Margaria, B. Steffen, Synthesis-based loose programming, in Proceedings of 7th International Conference on the Quality of Information and Communications Technology (QUATIC) (IEEE Computer Society, Washington, 2010)Google Scholar
  14. 14.
    A.-L. Lamprecht, S. Naujokat, T. Margaria, B. Steffen, Constraint-guided workflow composition based on the EDAM Ontology, in Proceedings 3rd Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2010), Berlin, 10 Dec 2010Google Scholar
  15. 15.
    T. Margaria, Service is in the eyes of the beholder. IEEE Comput. 40(11), 33–37 (2007)Google Scholar
  16. 16.
    T. Margaria, The semantic web services challenge: tackling complexity at the orchestration level, in Proceedings of ICECCS’08, 13th IEEE International Conference on Engineering of Complex Computer Systems, Belfast, Apr 2008, (invited talk)Google Scholar
  17. 17.
    T. Margaria, B. Steffen, From the how to the what, in VSTTE: Verified Software – Theories, Tools, and Experiments, Proceedings of IFIP Working Conference, Zurich, Oct 2005Google Scholar
  18. 18.
    T. Margaria, B. Steffen, Towards the realization of policy-oriented enterprise management. IEEE Comput. 40(11), 57–63 (2007)Google Scholar
  19. 19.
    T. Margaria, B. Steffen, LTL guided planning: revisiting automatic tool composition, in ETI Proceedings of SEW2007, 31st IEEE Annual Software Engineering Workshop, Loyola College, Baltimore, (IEEE CS Press 2007)Google Scholar
  20. 20.
    T. Margaria, B. Steffen, Agile IT: thinking in user-centric models, ISoLA’08, Proceedings of 3rd International Symposium on Lev-eraging Applications of Formal Methods, Verification, and Validation, Chalkidiki, Springer, 2008, CCIS N. 017Google Scholar
  21. 21.
    T. Margaria, B. Steffen, Continuous model-driven engineering. IEEE Comput. 42(10), 106–109 (2009), Google Scholar
  22. 22.
    T. Margaria, B. Steffen, Business process modelling in the jABC: the One-thing-approach, Handbook of Research on Business Process Modeling, ed. by J. Cardoso, W. van der Aalst (IGI Global, Information Science Reference, Hershey, 2009), pp. 1–26Google Scholar
  23. 23.
    T. Margaria, C. Kubczak, B. Steffen, Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes, in BioMed Central (BMC) Bioinformatics Supplement Dedicated to Network Tools and Applications in Biology 2007 Workshop (NETTAB 2007), vol. 9/4 (2007),
  24. 24.
    T. Margaria, M. Bakera, C. Kubczak, S. Naujokat, B. Steffen, Automatic generation of the SWS-challenge mediator with jABC/ABC, in Semantic Web Services Challenge: Results from the First Year, ed. by C. Petrie, T. Margaria, M. Zaremba, H. Lausen (Springer, Boston, 2009), pp. 119–138. ISBN: 978-0-387-72495-9Google Scholar
  25. 25.
    T. Margaria, D. Meyer, C. Kubczak, M. Isberner, B. Steffen, Synthesizing semantic web service compositions with jMosel and golog, in Proceedings of ISWS 2009, International Semantic Web Conference, Chantilly, Oct 2009. LNCS, vol. 5823, Springer, 2009, pp.392–407Google Scholar
  26. 26.
    T. Margaria, B. Steffen, C. Kubczak, Evolution support in heterogeneous service-oriented landscapes. J. Braz. Comput. Soc. 16(1), 35–47 (2010), SpringerGoogle Scholar
  27. 27.
    OSA: parlay,
  28. 28.
    SAP Enterprise Service Website,
  29. 29.
    Semantic Web Service Challenge Website,
  30. 30.
    K. Sivashanmugam, J. Miller, A. Sheth, K. Verma, Framework for semantic web process composition. Int. J. Electron. Commer. Winter 9(2), 71–106 (2004–2005)Google Scholar
  31. 31.
    Special Session on SerComp & SWS Challenge 2007 Workshop, in IEEE/WIC/ACM International Conference on Web Intelligence (WI 2007), Silicon Valley, 2007Google Scholar
  32. 32.
    B. Steffen, P. Narayan, Full lifecycle support for end-to-end processes. IEEE Comput. 40(11), 64–73 (2007)Google Scholar
  33. 33.
    C. Petrie, T. Margaria, H. Lausen, M. Zaremba (eds.), Semantic Web Services Challenge – Results From the First Year, Springer, 2008, ISBN: 978–0–387–72495–9Google Scholar
  34. 34.
  35. 35.
    Protege’ Webpage,
  36. 36.
    WSMO Working Drafts Online Site,
  37. 37.
    ZULU Active Automata Learning Competition,

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Tiziana Margaria
    • 1
  • Christian Kubczak
    • 2
  • Bernhard Steffen
    • 2
  1. 1.Chair Service and Software EngineeringUniversität PotsdamPotsdamGermany
  2. 2.Chair Programming SystemsTU DortmundDortmundGermany

Personalised recommendations