{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:12:08Z","timestamp":1725898328294},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642287343"},{"type":"electronic","value":"9783642287350"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28735-0_15","type":"book-chapter","created":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T12:48:41Z","timestamp":1340801321000},"page":"233-248","source":"Crossref","is-referenced-by-count":1,"title":["The XMDD Approach to the Semantic Web Services Challenge"],"prefix":"10.1007","author":[{"given":"Tiziana","family":"Margaria","sequence":"first","affiliation":[]},{"given":"Christian","family":"Kubczak","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,4,23]]},"reference":[{"unstructured":"A. Efeoglu, SAP Enterprise Service Workplace Handbook (SAP, 2007)","key":"15_CR1"},{"unstructured":"E.A. Emerson, C.S. Jutla, A.P. Sistla, On model-checking for fragments of \u03bc-calculus, in Computer Aided Verification, 5th International Conference, CAV\u201993, Elounda, Greece, June 28\u2013July 1, 1993","key":"15_CR2"},{"unstructured":"GEAR: game-based, easy and reverse model-checking, http:\/\/jabc.cs.uni-dortmund.de\/gear\/","key":"15_CR3"},{"doi-asserted-by":"crossref","unstructured":"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 \u2013 Results From the First Year, (Springer, Dordrecht, 2008), pp. 101\u2013118","key":"15_CR4","DOI":"10.1007\/978-0-387-72496-6_6"},{"doi-asserted-by":"crossref","unstructured":"F. Howar, B. Steffen, M. Merten, From ZULU to RERS \u2013 lessons learned in the ZULU challenge, Prof. ISoLA 2010. LNCS, vol. 6415 (Springer, Heidelberg, 2010), pp. 687\u2013704","key":"15_CR5","DOI":"10.1007\/978-3-642-16558-0_55"},{"unstructured":"http:\/\/labh-curien.univ-st-etienne.fr\/zulu\/","key":"15_CR6"},{"unstructured":"S. J\u00f6rges, C. Kubczak, R. Nagel, T. Margaria, B. Steffen, Model-driven development with the jABC, in HVC \u2013 IBM Haifa Verification Conference, Haifa, 23\u201326 Oct 2006. LNCS, IBM, Springer, 2006","key":"15_CR7"},{"issue":"11","key":"15_CR8","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/MC.2007.406","volume":"40","author":"M. Kaiser","year":"2007","unstructured":"M. Kaiser, Towards the realization of policy-oriented enterprise management. IEEE Comput. 40(11), 57\u201363 (2007)","journal-title":"IEEE Comput."},{"doi-asserted-by":"crossref","unstructured":"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\u201907, the IEEE\/WIC\/ACM International Conference on Web Intelligence, Stanford, Nov 2007, IEEE CS. ISBN-10: 0-7695-3028-1","key":"15_CR9","DOI":"10.1109\/WI-IATW.2007.27"},{"unstructured":"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","key":"15_CR10"},{"doi-asserted-by":"crossref","unstructured":"C. Kubczak, T. Margaria, B. Steffen, R. Nagel, Service-oriented mediation with jABC\/jETI, in Semantic Web Services Challenge \u2013 Results from the First Year, ed. by C. Petrie, T. Margaria, M. Zaremba, H. Lausen (Springer, Heidelberg, 2009), pp. 71\u201399. ISBN: 978-0-387-72495-9","key":"15_CR11","DOI":"10.1007\/978-0-387-72496-6_5"},{"doi-asserted-by":"crossref","unstructured":"A.-L. Lamprecht, T. Margaria, B. Steffen, Seven variations of an alignment workflow \u2013 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\u2013456","key":"15_CR12","DOI":"10.1007\/978-3-540-79450-9_42"},{"doi-asserted-by":"crossref","unstructured":"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)","key":"15_CR13","DOI":"10.1109\/QUATIC.2010.53"},{"doi-asserted-by":"crossref","unstructured":"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","key":"15_CR14","DOI":"10.1038\/npre.2010.5397"},{"issue":"11","key":"15_CR15","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/MC.2007.398","volume":"40","author":"T. Margaria","year":"2007","unstructured":"T. Margaria, Service is in the eyes of the beholder. IEEE Comput. 40(11), 33\u201337 (2007)","journal-title":"IEEE Comput."},{"doi-asserted-by":"crossref","unstructured":"T. Margaria, The semantic web services challenge: tackling complexity at the orchestration level, in Proceedings of ICECCS\u201908, 13th IEEE International Conference on Engineering of Complex Computer Systems, Belfast, Apr 2008, (invited talk)","key":"15_CR16","DOI":"10.1109\/ICECCS.2008.41"},{"unstructured":"T. Margaria, B. Steffen, From the how to the what, in VSTTE: Verified Software \u2013 Theories, Tools, and Experiments, Proceedings of IFIP Working Conference, Zurich, Oct 2005","key":"15_CR17"},{"issue":"11","key":"15_CR18","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/MC.2007.398","volume":"40","author":"T. Margaria","year":"2007","unstructured":"T. Margaria, B. Steffen, Towards the realization of policy-oriented enterprise management. IEEE Comput. 40(11), 57\u201363 (2007)","journal-title":"IEEE Comput."},{"doi-asserted-by":"crossref","unstructured":"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)","key":"15_CR19","DOI":"10.1109\/SEW.2007.63"},{"doi-asserted-by":"crossref","unstructured":"T. Margaria, B. Steffen, Agile IT: thinking in user-centric models, ISoLA\u201908, Proceedings of 3rd International Symposium on Lev-eraging Applications of Formal Methods, Verification, and Validation, Chalkidiki, Springer, 2008, CCIS N. 017","key":"15_CR20","DOI":"10.1007\/978-3-540-88479-8_35"},{"key":"15_CR21","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1109\/MC.2009.315","volume":"42","author":"T. Margaria","year":"10","unstructured":"T. Margaria, B. Steffen, Continuous model-driven engineering. IEEE Comput. 42(10), 106\u2013109 (2009), http:\/\/doi.ieeecomputersociety.org\/10.1109\/MC.2009.315","journal-title":"IEEE Comput."},{"doi-asserted-by":"crossref","unstructured":"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\u201326","key":"15_CR22","DOI":"10.4018\/978-1-60566-288-6.ch001"},{"doi-asserted-by":"crossref","unstructured":"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","key":"15_CR23","DOI":"10.1186\/1471-2105-9-S4-S12"},{"doi-asserted-by":"crossref","unstructured":"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\u2013138. ISBN: 978-0-387-72495-9","key":"15_CR24","DOI":"10.1007\/978-0-387-72496-6_7"},{"doi-asserted-by":"crossref","unstructured":"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\u2013407","key":"15_CR25","DOI":"10.1007\/978-3-642-04930-9_25"},{"issue":"1","key":"15_CR26","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/s13173-010-0004-4","volume":"16","author":"T. Margaria","year":"2010","unstructured":"T. Margaria, B. Steffen, C. Kubczak, Evolution support in heterogeneous service-oriented landscapes. J. Braz. Comput. Soc. 16(1), 35\u201347 (2010), Springer","journal-title":"J. Braz. Comput. Soc."},{"unstructured":"OSA: parlay, http:\/\/www.parlay.org","key":"15_CR27"},{"unstructured":"SAP Enterprise Service Website, http:\/\/www.sdn.sap.com","key":"15_CR28"},{"unstructured":"Semantic Web Service Challenge Website, http:\/\/www.sws-challenge.org","key":"15_CR29"},{"issue":"2","key":"15_CR30","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1080\/10864415.2005.11044325","volume":"9","author":"K. Sivashanmugam","year":"2004","unstructured":"K. Sivashanmugam, J. Miller, A. Sheth, K. Verma, Framework for semantic web process composition. Int. J. Electron. Commer. Winter 9(2), 71\u2013106 (2004\u20132005)","journal-title":"Int. J. Electron. Commer. Winter"},{"unstructured":"Special Session on SerComp & SWS Challenge 2007 Workshop, in IEEE\/WIC\/ACM International Conference on Web Intelligence (WI 2007), Silicon Valley, 2007","key":"15_CR31"},{"issue":"11","key":"15_CR32","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/MC.2007.386","volume":"40","author":"B. Steffen","year":"2007","unstructured":"B. Steffen, P. Narayan, Full lifecycle support for end-to-end processes. IEEE Comput. 40(11), 64\u201373 (2007)","journal-title":"IEEE Comput."},{"doi-asserted-by":"crossref","unstructured":"C. Petrie, T. Margaria, H. Lausen, M. Zaremba (eds.), Semantic Web Services Challenge \u2013 Results From the First Year, Springer, 2008, ISBN: 978\u20130\u2013387\u201372495\u20139","key":"15_CR33","DOI":"10.1007\/978-0-387-72496-6"},{"unstructured":"Plan-jETI website, http:\/\/plan-jeti.cs.tu-dortmund.de\/opencms\/en\/home\/","key":"15_CR34"},{"unstructured":"Protege\u2019 Webpage, http:\/\/protege.stanford.edu\/","key":"15_CR35"},{"unstructured":"WSMO Working Drafts Online Site, http:\/\/www.wsmo.org\/TR\/","key":"15_CR36"},{"unstructured":"ZULU Active Automata Learning Competition, http:\/\/labh-curien.univ-st-etienne.fr\/zulu\/","key":"15_CR37"}],"container-title":["Semantic Web Services"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28735-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,19]],"date-time":"2022-01-19T12:39:35Z","timestamp":1642595975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28735-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642287343","9783642287350"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28735-0_15","relation":{},"subject":[],"published":{"date-parts":[[2012]]}}}