Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
From the SWSC Wiki page: The goal of the SWS Challenge is to develop a common understanding of various technologies intended to facilitate the automation of mediation, choreography and discovery for Web Services using semantic annotations. The intent of this challenge is to explore the trade-offs among existing approaches. Additionally we would like to figure out which parts of problem space may not yet be covered.
References
A. Efeoglu, SAP Enterprise Service Workplace Handbook (SAP, 2007)
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, 1993
GEAR: game-based, easy and reverse model-checking, http://jabc.cs.uni-dortmund.de/gear/
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–118
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–704
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, 2006
M. Kaiser, Towards the realization of policy-oriented enterprise management. IEEE Comput. 40(11), 57–63 (2007)
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-1
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), 2008
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-9
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–456
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)
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 2010
T. Margaria, Service is in the eyes of the beholder. IEEE Comput. 40(11), 33–37 (2007)
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)
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 2005
T. Margaria, B. Steffen, Towards the realization of policy-oriented enterprise management. IEEE Comput. 40(11), 57–63 (2007)
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)
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. 017
T. Margaria, B. Steffen, Continuous model-driven engineering. IEEE Comput. 42(10), 106–109 (2009), http://doi.ieeecomputersociety.org/10.1109/MC.2009.315
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–26
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), http://www.biomedcentral.com/1471-2105/9?issue=S4
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-9
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–407
T. Margaria, B. Steffen, C. Kubczak, Evolution support in heterogeneous service-oriented landscapes. J. Braz. Comput. Soc. 16(1), 35–47 (2010), Springer
OSA: parlay, http://www.parlay.org
SAP Enterprise Service Website, http://www.sdn.sap.com
Semantic Web Service Challenge Website, http://www.sws-challenge.org
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)
Special Session on SerComp & SWS Challenge 2007 Workshop, in IEEE/WIC/ACM International Conference on Web Intelligence (WI 2007), Silicon Valley, 2007
B. Steffen, P. Narayan, Full lifecycle support for end-to-end processes. IEEE Comput. 40(11), 64–73 (2007)
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–9
Plan-jETI website, http://plan-jeti.cs.tu-dortmund.de/opencms/en/home/
Protege’ Webpage, http://protege.stanford.edu/
WSMO Working Drafts Online Site, http://www.wsmo.org/TR/
ZULU Active Automata Learning Competition, http://labh-curien.univ-st-etienne.fr/zulu/
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Margaria, T., Kubczak, C., Steffen, B. (2012). The XMDD Approach to the Semantic Web Services Challenge. In: Blake, B., Cabral, L., König-Ries, B., Küster, U., Martin, D. (eds) Semantic Web Services. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28735-0_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-28735-0_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28734-3
Online ISBN: 978-3-642-28735-0
eBook Packages: Computer ScienceComputer Science (R0)