{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T07:28:34Z","timestamp":1676878114252},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,4,29]],"date-time":"2010-04-29T00:00:00Z","timestamp":1272499200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/2.0"},{"start":{"date-parts":[[2010,4,29]],"date-time":"2010-04-29T00:00:00Z","timestamp":1272499200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Braz Comput Soc"],"published-print":{"date-parts":[[2010,5]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>We present an approach that provides automatic or semi-automatic support for evolution and change management in heterogeneous legacy landscapes where (1)\u00a0legacy heterogeneous, possibly distributed platforms are integrated in a service oriented fashion, (2)\u00a0the coordination of functionality is provided at the service level, through orchestration, (3)\u00a0compliance and correctness are provided through policies and business rules, (4)\u00a0evolution and correctness-by-design are supported by the eXtreme Model Driven Development paradigm (XMDD) offered by the jABC (Margaria and Steffen in Annu. Rev. Commun. 57, 2004)\u2014the model-driven service oriented development platform we use here for integration, design, evolution, and governance. The artifacts are here semantically enriched, so that automatic synthesis plugins can field the vision of Enterprise Physics: knowledge driven business process development for the end user.<\/jats:p>\n          <jats:p>We demonstrate this vision along a concrete case study that became over the past three years a benchmark for Semantic Web Service discovery and mediation. We enhance the Mediation Scenario of the Semantic Web Service Challenge along the 2 central evolution paradigms that occur in practice: (a)\u00a0Platform migration: platform substitution of a legacy system by an ERP system and (b)\u00a0Backend extension: extension of the legacy Customer Relationship Management (CRM) and Order Management System (OMS) backends via an additional ERP layer.<\/jats:p>","DOI":"10.1007\/s13173-010-0004-4","type":"journal-article","created":{"date-parts":[[2010,5,24]],"date-time":"2010-05-24T23:51:12Z","timestamp":1274745072000},"page":"35-47","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Evolution support in heterogeneous service-oriented landscapes"],"prefix":"10.1007","volume":"16","author":[{"given":"Tiziana","family":"Margaria","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Kubczak","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,4,29]]},"reference":[{"key":"4_CR1","unstructured":"Semantic web service challenge website. http:\/\/www.sws-challenge.org"},{"key":"4_CR2","unstructured":"Efeoglu A. SAP enterprise service workplace handbook"},{"key":"4_CR3","unstructured":"SAP enterprise service website. http:\/\/www.sdn.sap.com"},{"key":"4_CR4","series-title":"LNCS","volume-title":"HVC\u2014IBM Haifa verification conference","author":"S J\u00f6rges","year":"2006","unstructured":"J\u00f6rges S, Kubczak C, Nagel R, Margaria T, Steffen B (2006) Model-driven development with the jABC. In: HVC\u2014IBM Haifa verification conference, Haifa, Israel, 23\u201326 October 2006. LNCS. Springer, Berlin"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1109\/MIC.2007.45","volume":"11","author":"M Kaiser","year":"2007","unstructured":"Kaiser M (2007) Towards the realization of policy-oriented enterprise management. IEEE Comput 11:65\u201371","journal-title":"IEEE Comput"},{"key":"4_CR6","unstructured":"Kubczak C, Margaria T, Kaiser M, Lemcke J, Knuth B (2008) On-the-fly synthesis of the mediator scenario with jABC and POEM. In: Proceedings of the 6th international workshop on evaluation of ontology-based tools and the semantic web service challenge, with ESWC 2008, Tenerifa, Spain, June 2008"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-0-387-72496-6_5","volume-title":"Semantic web services challenge\u2014results from the first year","author":"C Kubczak","year":"2009","unstructured":"Kubczak C, Margaria T, Steffen B, Nagel R (2009) Service-oriented mediation with jABC\/jETI. In: Petrie C, Margaria T, Zaremba M, Lausen H (eds) Semantic web services challenge\u2014results from the first year. Springer, Berlin, pp 71\u201399"},{"key":"4_CR8","volume-title":"Workshop on service composition & SWS challenge, part of WI-IAT\u201907, the IEEE\/WIC\/ACM international conference on web intelligence","author":"C Kubczak","year":"2007","unstructured":"Kubczak C, Margaria T, Steffen B, Naujokat S (2007) 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 (CA), November 2007. IEEE, New York"},{"key":"4_CR9","series-title":"LNBioinformatics, LNCS","first-page":"445","volume-title":"ISBRA 2008, 4th international symposium on bioinformatics research and applications","author":"A-L Lamprecht","year":"2008","unstructured":"Lamprecht A-L, Margaria T, Steffen B (2008) Seven variations of an alignment workflow\u2014an illustration of agile process design\/management in bio-jeti. In: ISBRA 2008, 4th international symposium on bioinformatics research and applications, Atlanta, GA, May 2008. LNBioinformatics, LNCS, vol 4983. Springer, Berlin, pp 445\u2013456"},{"key":"4_CR10","unstructured":"Special session on SerComp & SWS challenge 2007 workshop, IEEE\/WIC\/ACM international conference on web intelligence (WI 2007), November 2007"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-0-387-72496-6_7","volume-title":"Semantic web services challenge\u2014results from the first year","author":"T Margaria","year":"2009","unstructured":"Margaria T, Bakera M, Kubczak C, Naujokat S, Steffen B (2009) Automatic generation of the SWS-challenge mediator with jABC\/ABC. In: Petrie C, Margaria T, Zaremba M, Lausen H (eds) Semantic web services challenge\u2014results from the first year. Springer, Berlin, pp 119\u2013138"},{"issue":"11","key":"4_CR12","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2007.398","volume":"40","author":"T Margaria","year":"2007","unstructured":"Margaria T (2007) Service is in the eyes of the beholder. IEEE Comput 40(11):33\u201337","journal-title":"IEEE Comput"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Margaria T, Kubczak C, Steffen B (2007) 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), V.9\/4 2007. http:\/\/www.biomedcentral.com\/1471-2105\/9?issue=S4","DOI":"10.1186\/1471-2105-9-S4-S12"},{"key":"4_CR14","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/978-3-642-04930-9_25","volume-title":"Proceedings ISWS 2009, international semantic web conference","author":"T Margaria","year":"2009","unstructured":"Margaria T, Meyer D, Kubczak C, Isberner M, Steffen B (2009) Synthesizing semantic web service compositions with jMosel and Golog. In: Proceedings ISWS 2009, international semantic web conference, October 2009. LNCS, vol 5823. Springer, Berlin, pp 392\u2013407"},{"key":"4_CR15","unstructured":"Margaria T, Steffen B (2005) From the how to the what. In: VSTTE: verified software\u2014theories, tools, and experiments, proceedings of the IFIP working conference, Zurich, October 2005"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Margaria T, Steffen B (2006) Service engineering: linking business and IT. IEEE Comput, 53\u201363","DOI":"10.1109\/SEW.2006.29"},{"key":"4_CR17","unstructured":"Margaria T, Steffen B (2004) Aggressive model driven development for the management of service evolution. Annu Rev Commun, 57"},{"issue":"10","key":"4_CR18","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1109\/MC.2009.315","volume":"42","author":"T Margaria","year":"2009","unstructured":"Margaria T, Steffen B (2009) Continuous model-driven engineering. IEEE Comput 42(10):106\u2013109. doi.ieeecomputersociety.org\/10.1109\/MC.2009.315","journal-title":"IEEE Comput"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Margaria T, Steffen B (2009) Business process modeling in the jABC: the one-thing-approach. In: Cardoso J, van der Aalst W (eds) Handbook of research on business process modeling. IGI Global, pp 1\u201326","DOI":"10.4018\/978-1-60566-288-6.ch001"},{"issue":"11","key":"4_CR20","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MC.2007.386","volume":"40","author":"B Steffen","year":"2007","unstructured":"Steffen B, Narayan P (2007) Full lifecycle support for end-to-end processes. IEEE Comput 40(11):64\u201373","journal-title":"IEEE Comput"},{"key":"4_CR21","volume-title":"ETI proceedings SEW2007, 31st IEEE annual software engineering workshop","author":"T Margaria","year":"2007","unstructured":"Margaria T, Steffen B (2007) LTL guided planning: revisiting automatic tool composition. In: ETI proceedings SEW2007, 31st IEEE annual software engineering workshop, Loyola College, Baltimore, MD, USA, March 2007. IEEE, New York"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Margaria T (2008) The semantic web services challenge: tackling complexity at the orchestration level. In: Proceedings ICECCS\u201908, 13th IEEE international conference on engineering of complex computer systems, Belfast, UK, April 2008","DOI":"10.1109\/ICECCS.2008.41"},{"key":"4_CR23","unstructured":"Protege\u2019 webpage. http:\/\/protege.stanford.edu\/"},{"key":"4_CR24","unstructured":"GEAR: game-based easy and reverse model-checking. http:\/\/jabc.cs.uni-dortmund.de\/gear\/"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Emerson EA, Jutla CS, Prasad Sistla A (1993) On model-checking for fragments of \u03bc-calculus. In: Proceedings CAV","DOI":"10.1007\/3-540-56922-7_32"},{"key":"4_CR26","volume-title":"Semantic web services challenge\u2014results from the first year","year":"2008","unstructured":"Petrie C, Margaria T, Lausen H, Zaremba M (eds) (2008) Semantic web services challenge\u2014results from the first year. Springer, Berlin"}],"container-title":["Journal of the Brazilian Computer Society"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13173-010-0004-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s13173-010-0004-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13173-010-0004-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13173-010-0004-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,31]],"date-time":"2021-08-31T21:11:15Z","timestamp":1630444275000},"score":1,"resource":{"primary":{"URL":"https:\/\/journal-bcs.springeropen.com\/articles\/10.1007\/s13173-010-0004-4"}},"subtitle":["What if your mediation scenario for the semantic web service challenge suddenly runs SAP?"],"short-title":[],"issued":{"date-parts":[[2010,4,29]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,5]]}},"alternative-id":["4"],"URL":"https:\/\/doi.org\/10.1007\/s13173-010-0004-4","relation":{},"ISSN":["0104-6500","1678-4804"],"issn-type":[{"value":"0104-6500","type":"print"},{"value":"1678-4804","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,4,29]]},"assertion":[{"value":"5 March 2010","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 April 2010","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}