{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T08:02:43Z","timestamp":1780300963666,"version":"3.54.0"},"reference-count":46,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2026,8]]},"DOI":"10.1016\/j.scico.2026.103478","type":"journal-article","created":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T01:48:30Z","timestamp":1775180910000},"page":"103478","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Co-evolution of UML sequence diagrams through an ATL rule-based approach with semantic preservation in Maude"],"prefix":"10.1016","volume":"253","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-0822-6430","authenticated-orcid":false,"given":"Asma","family":"Chouikh","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Khaled","family":"Khalfaoui","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7635-7458","authenticated-orcid":false,"given":"Elhillali","family":"Kerkouche","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Allaoua","family":"Chaoui","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.scico.2026.103478_bib0001","series-title":"Ing\u00e9nierie Dirig\u00e9e par les Mod\u00e8les: Des concepts \u00e0 la pratique","author":"J\u00e9z\u00e9quel","year":"2012"},{"key":"10.1016\/j.scico.2026.103478_bib0002","series-title":"Model-Driven Software Engineering in Practice","author":"Brambilla","year":"2017"},{"key":"10.1016\/j.scico.2026.103478_bib0003","unstructured":"OMG, Unified Modeling Language (UML) Superstructure version 2.2, 2009, (Available online: http:\/\/www.omg.org\/spec\/UML\/2.2\/). Accessed May 2025."},{"key":"10.1016\/j.scico.2026.103478_bib0004","series-title":"International Conference on Theory and Practice of Model Transformations","first-page":"24","article-title":"Using models of partial knowledge to test model transformations","author":"Sagar","year":"2012"},{"key":"10.1016\/j.scico.2026.103478_bib0005","series-title":"2009 Fourth International Conference on Software Engineering Advances","first-page":"86","article-title":"Integrating formal methods with model-driven engineering","author":"Gargantini","year":"2009"},{"issue":"5","key":"10.1016\/j.scico.2026.103478_bib0006","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1109\/TSE.2016.2610424","article-title":"Approaches to co-evolution of metamodels and models: a survey","volume":"43","author":"Hebig","year":"2017","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/j.scico.2026.103478_bib0007","series-title":"International Conference on Model Driven Engineering Languages and Systems","first-page":"264","article-title":"Weaving executability into object-oriented meta-languages","author":"Muller","year":"2005"},{"key":"10.1016\/j.scico.2026.103478_bib0008","series-title":"Computer Science and Its Applications: 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20\u201321, 2015, Proceedings 5","first-page":"563","article-title":"Hybrid approach for metamodel and model co-evolution","author":"Anguel","year":"2015"},{"key":"10.1016\/j.scico.2026.103478_bib0009","series-title":"Model Driven Architecture Foundations and Applications: 5th European Conference, ECMDA-FA 2009, Enschede, the Netherlands, Proceedings 5","first-page":"34","article-title":"Managing model adaptation by precise detection of metamodel changes","author":"Garc\u00e9s","year":"2009"},{"key":"10.1016\/j.scico.2026.103478_bib0010","doi-asserted-by":"crossref","first-page":"735","DOI":"10.1007\/s10270-012-0296-2","article-title":"Epsilon flock: a model migration language","volume":"13","author":"Rose","year":"2014","journal-title":"Softw. Syst. Model."},{"key":"10.1016\/j.scico.2026.103478_bib0011","series-title":"Proceedings of the 2nd International Workshop on Model Comparison in Practice (IWMCP 2011)","first-page":"30","article-title":"What is needed for managing co-evolution in MDE?","author":"Di Ruscio","year":"2011"},{"key":"10.1016\/j.scico.2026.103478_bib0012","first-page":"807","article-title":"A semi-formal description of migrating domain-specific models with evolving domains","volume":"13","author":"Levendovszky","year":"2014","journal-title":"Softw. Syst. Model."},{"key":"10.1016\/j.scico.2026.103478_bib0013","series-title":"Evolving Software Systems","first-page":"33","article-title":"Coupled evolution of software metamodels and models","author":"Herrmannsd\u00f6rfer","year":"2013"},{"key":"10.1016\/j.scico.2026.103478_bib0014","series-title":"International Conference on Model Driven Engineering Languages and Systems","first-page":"630","article-title":"Heterogeneous coupled evolution of software languages","author":"Vermolen","year":"2008"},{"issue":"3\u20134","key":"10.1016\/j.scico.2026.103478_bib0015","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/j.jvlc.2004.01.006","article-title":"A domain-specific visual language for domain model evolution","volume":"15","author":"Sprinkle","year":"2004","journal-title":"J. Visual Lang. Comput."},{"key":"10.1016\/j.scico.2026.103478_bib0016","doi-asserted-by":"crossref","DOI":"10.1016\/j.jss.2024.112012","article-title":"Supporting reusable model migration with Edelta","volume":"212","author":"Bettini","year":"2024","journal-title":"J. Syst. Softw."},{"issue":"1\u20132","key":"10.1016\/j.scico.2026.103478_bib0017","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","article-title":"ATL: a model transformation tool","volume":"72","author":"Jouault","year":"2008","journal-title":"Sci. Comput. Program."},{"key":"10.1016\/j.scico.2026.103478_bib0018","article-title":"A generic in-place transformation-based approach to structured model co-evolution","volume":"42","author":"Meyers","year":"2011","journal-title":"Electron. Commun. EASST"},{"key":"10.1016\/j.scico.2026.103478_bib0019","series-title":"Proceedings of the Second Workshop on Graphical Modeling Language Development","first-page":"51","article-title":"Traceability visualization in metamodel change impact detection","author":"Di Rocco","year":"2013"},{"key":"10.1016\/j.scico.2026.103478_bib0020","series-title":"Towards Automated Support for the Co-Evolution of Meta-Models and Grammars","author":"Zhang","year":"2023"},{"key":"10.1016\/j.scico.2026.103478_bib0021","series-title":"2023 ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)","first-page":"9","article-title":"How MetaEdit+ supports co-evolution of modeling languages, tools and models","author":"Kelly","year":"2023"},{"key":"10.1016\/j.scico.2026.103478_bib0022","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1016\/j.ic.2013.08.004","article-title":"The rewriting logic semantics project: a progress report","volume":"231","author":"Meseguer","year":"2013","journal-title":"Inform. Comput."},{"issue":"3","key":"10.1016\/j.scico.2026.103478_bib0023","doi-asserted-by":"crossref","DOI":"10.7494\/csci.2024.25.3.5964","article-title":"Formalization and analysis of UML 2.0 interaction overview diagram using maude rewriting logic language: using Maude rewriting logic language","volume":"25","author":"Djaoui","year":"2024","journal-title":"Comput. Sci."},{"issue":"2","key":"10.1016\/j.scico.2026.103478_bib0024","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1504\/IJCAET.2020.105578","article-title":"A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach","volume":"12","author":"Kerkouche","year":"2020","journal-title":"Int. J. Comput. Aid. Eng. Technol."},{"key":"10.1016\/j.scico.2026.103478_bib0025","doi-asserted-by":"crossref","DOI":"10.1016\/j.scico.2022.102859","article-title":"Formal verification of IoT applications using rewriting logic: an MDE-based approach","volume":"222","author":"Fortas","year":"2022","journal-title":"Sci. Comput. Program."},{"key":"10.1016\/j.scico.2026.103478_bib0026","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1016\/j.jss.2015.08.047","article-title":"Evolving models in model-driven engineering: state-of-the-art and future challenges","volume":"111","author":"Paige","year":"2016","journal-title":"J. Syst. Softw."},{"key":"10.1016\/j.scico.2026.103478_bib0027","series-title":"2008 Frontiers of Software Maintenance","first-page":"129","article-title":"The past, present, and future of software evolution","author":"Godfrey","year":"2008"},{"key":"10.1016\/j.scico.2026.103478_bib0028","unstructured":"O.M. Group, OMG Unified Modeling Language (UML) Specification (Version 2.5.1), 2017, (Available online: https:\/\/www.omg.org\/spec\/UML\/2.5.1\/PDF). Accessed May 2025."},{"key":"10.1016\/j.scico.2026.103478_bib0029","unstructured":"Eclipse Foundation, Acceleo Overview, 2025, (Available online: https:\/\/eclipse.dev\/acceleo\/overview.html). Last accessed 26 February 2025."},{"key":"10.1016\/j.scico.2026.103478_bib0030","series-title":"Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4\u20139, 2009. Proceedings 12","first-page":"706","article-title":"Automatic domain model migration to manage metamodel evolution","author":"Narayanan","year":"2009"},{"key":"10.1016\/j.scico.2026.103478_bib0031","series-title":"Proceedings of the International Workshop on Model-Driven Software Evolution","first-page":"3","article-title":"Towards synchronizing models with evolving metamodels","author":"Gruschko","year":"2007"},{"key":"10.1016\/j.scico.2026.103478_bib0032","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.infsof.2018.09.003","article-title":"Automated metamodel\/model co-evolution: a search-based approach","volume":"106","author":"Kessentini","year":"2019","journal-title":"Inf. Softw. Technol."},{"key":"10.1016\/j.scico.2026.103478_bib0033","series-title":"International Conference on Software Language Engineering","first-page":"144","article-title":"Model transformation co-evolution: a semi-automatic approach","author":"Garc\u00eda","year":"2012"},{"key":"10.1016\/j.scico.2026.103478_bib0034","series-title":"Proceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming","first-page":"1","article-title":"Deep semantic versioning for evolution and variability","author":"Carvalho","year":"2021"},{"key":"10.1016\/j.scico.2026.103478_bib0035","series-title":"International Conference on Fundamental Approaches to Software Engineering","first-page":"18","article-title":"Rewriting logic semantics and verification of model transformations","author":"Boronat","year":"2009"},{"key":"10.1016\/j.scico.2026.103478_bib0036","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1016\/S1571-0661(04)00040-4","article-title":"Rewriting logic as a logical and semantic framework","volume":"4","author":"Mart\u00ed-Oliet","year":"1996","journal-title":"Electron. Note.Theor. Comput. Sci."},{"issue":"1","key":"10.1016\/j.scico.2026.103478_bib0037","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","article-title":"Conditional rewriting logic as a unified model of concurrency","volume":"96","author":"Meseguer","year":"1992","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.scico.2026.103478_bib0038","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/S1571-0661(05)82534-4","article-title":"The Maude LTL model checker","volume":"71","author":"Eker","year":"2004","journal-title":"Electron. Note. Theor. Comput. Sci."},{"key":"10.1016\/j.scico.2026.103478_bib0039","series-title":"International Conference on Rewriting Techniques and Applications","first-page":"1","article-title":"Rewriting logic and Maude: concepts and applications","author":"Meseguer","year":"2000"},{"key":"10.1016\/j.scico.2026.103478_bib0040","unstructured":"Eclipse Foundation, Eclipse Modeling Framework Overview, 2025a, (Available online: https:\/\/www.eclipse.org\/emf\/a). Last accessed 26 February 2025."},{"key":"10.1016\/j.scico.2026.103478_bib0041","unstructured":"Eclipse Foundation, EMF Compare Overview, 2025b, (Available online: https:\/\/eclipse.dev\/emf\/compare\/overview.htmlb). Last accessed 26 February 2025."},{"key":"10.1016\/j.scico.2026.103478_bib0042","unstructured":"Eclipse Foundation, ATL (Atlas Transformation Language) Overview, 2025c, (Available online: https:\/\/eclipse.dev\/atl\/documentationc). Last accessed 26 February 2025."},{"key":"10.1016\/j.scico.2026.103478_bib0043","unstructured":"Eclipse Foundation, EMF Sirius Overview, 2025d, (Available online: https:\/\/eclipse.dev\/sirius\/overview.htmld). Last accessed 26 February 2025."},{"key":"10.1016\/j.scico.2026.103478_bib0044","doi-asserted-by":"crossref","DOI":"10.7494\/csci.2022.23.3.4356","article-title":"Automatic bridge between BPMN models and UML activity diagrams based on graph transformation","volume":"23","author":"Rahmoune","year":"2022","journal-title":"Comput. Sci."},{"key":"10.1016\/j.scico.2026.103478_bib0045","unstructured":"Object Management Group, Unified Modeling Language (UML) Version 1.5, 2003, (Available online: https:\/\/www.omg.org\/spec\/UML\/1.5\/). Accessed May 2025."},{"key":"10.1016\/j.scico.2026.103478_bib0046","unstructured":"Object Management Group, Unified Modeling Language (UML) Version 2.5, 2015, (Available online: https:\/\/www.omg.org\/spec\/UML\/2.5\/). Accessed May 2025."}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642326000444?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642326000444?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T07:25:11Z","timestamp":1780298711000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642326000444"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8]]},"references-count":46,"alternative-id":["S0167642326000444"],"URL":"https:\/\/doi.org\/10.1016\/j.scico.2026.103478","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2026,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Co-evolution of UML sequence diagrams through an ATL rule-based approach with semantic preservation in Maude","name":"articletitle","label":"Article Title"},{"value":"Science of Computer Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.scico.2026.103478","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"103478"}}