{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T12:45:52Z","timestamp":1774874752517,"version":"3.50.1"},"reference-count":58,"publisher":"World Scientific Pub Co Pte Ltd","issue":"05","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61772006"],"award-info":[{"award-number":["61772006"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61772004"],"award-info":[{"award-number":["61772004"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Scientific Research Foundation for Advanced Talents of Chengdu University of Information Technology","award":["KYTZ202009"],"award-info":[{"award-number":["KYTZ202009"]}]},{"DOI":"10.13039\/501100001809","name":"aNtional Natural Science Foundation of China","doi-asserted-by":"publisher","award":["12261027"],"award-info":[{"award-number":["12261027"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2023,5]]},"abstract":"<jats:p> Consistency is a significant indicator to measure the correctness of a software system in its lifecycle. It is inevitable to introduce inconsistencies between different software artifacts in the software development process. In practice, developers perform consistency checking to detect inconsistencies, and apply their corresponding repairs to restore consistencies. Even if all inconsistencies can be repaired, how to preserve consistencies in the subsequent evolution should be considered. Consistency management (consistency checking and consistency preservation) is a challenging task, especially in the multi-view model-driven software development process. Although there are some efforts to discuss consistency management, most of them lack the support of formal methods. Our work aims to provide a framework for formal consistency management, which may be used in the practical software development process. A formal model, called a Structure model, is first presented for specifying the overall model-based structure of the software system. Next, the definition of consistency is given based on consistency rules. We then investigate consistency preservation under the following two situations. One is that if the initial system is inconsistent, then the consistency can be restored through repairs. The other is that if the initial system is consistent, then the consistency can be maintained through update propagation. To demonstrate the effectiveness of our approach, we finally present a case study with a prototype tool. <\/jats:p>","DOI":"10.1142\/s0218194023500134","type":"journal-article","created":{"date-parts":[[2023,3,5]],"date-time":"2023-03-05T05:19:42Z","timestamp":1677993582000},"page":"733-763","source":"Crossref","is-referenced-by-count":6,"title":["A Formal Approach for Consistency Management in UML Models"],"prefix":"10.1142","volume":"33","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6846-6857","authenticated-orcid":false,"given":"Hao","family":"Wen","sequence":"first","affiliation":[{"name":"Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu, P.\u00a0R.\u00a0China"},{"name":"University of Chinese Academy of Sciences, Beijing, P.\u00a0R.\u00a0China"}]},{"given":"Jinzhao","family":"Wu","sequence":"additional","affiliation":[{"name":"Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu, P.\u00a0R.\u00a0China"},{"name":"University of Chinese Academy of Sciences, Beijing, P.\u00a0R.\u00a0China"},{"name":"Guilin University of Aerospace Technology, Guilin, P. R. China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5178-0081","authenticated-orcid":false,"given":"Jianmin","family":"Jiang","sequence":"additional","affiliation":[{"name":"College of Software Engineering, Chengdu University of Information Technology, Chengdu, P.\u00a0R.\u00a0China"}]},{"given":"Guofu","family":"Tang","sequence":"additional","affiliation":[{"name":"College of Software Engineering, Chengdu University of Information Technology, Chengdu, P.\u00a0R.\u00a0China"}]},{"given":"Zhong","family":"Hong","sequence":"additional","affiliation":[{"name":"College of Mathematics and Informatics, Fujian Normal University, Fuzhou, P.\u00a0R.\u00a0China"}]}],"member":"219","published-online":{"date-parts":[[2023,4,19]]},"reference":[{"key":"S0218194023500134BIB001","first-page":"15","volume-title":"2011 3rd Int. Conf. Electronics Computer Technology","author":"Nisha G.","year":"2011"},{"issue":"9","key":"S0218194023500134BIB002","doi-asserted-by":"crossref","first-page":"1473","DOI":"10.1142\/S0218194016400131","volume":"26","author":"Eckert C.","year":"2016","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"key":"S0218194023500134BIB003","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1016\/j.jss.2014.03.082","volume":"95","author":"Gorschek T.","year":"2014","journal-title":"J. Syst. Softw."},{"issue":"12","key":"S0218194023500134BIB004","doi-asserted-by":"crossref","first-page":"1631","DOI":"10.1016\/j.infsof.2009.04.009","volume":"51","author":"Lucas F. J.","year":"2009","journal-title":"Inf. Softw. Technol."},{"key":"S0218194023500134BIB005","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/978-3-319-75396-6_3","volume-title":"Graph Transformation, Specifications, and Nets","author":"Knapp A.","year":"2018"},{"key":"S0218194023500134BIB006","first-page":"381","volume-title":"Proc. 28th Int. Conf. Software Engineering","author":"Egyed A.","year":"2006"},{"issue":"1","key":"S0218194023500134BIB007","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5381\/jot.2021.20.1.a2","volume":"20","author":"Stunkel P.","year":"2021","journal-title":"J. Object Technol."},{"key":"S0218194023500134BIB008","first-page":"165","volume-title":"Int. Conf. Model Driven Engineering Languages and Systems","author":"Diskin Z.","year":"2010"},{"key":"S0218194023500134BIB009","first-page":"1","volume-title":"2017 ACM\/IEEE 20th Int. Conf. Model Driven Engineering Languages and Systems","author":"Stevens P.","year":"2017"},{"issue":"1","key":"S0218194023500134BIB010","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1049\/sej.1996.0004","volume":"11","author":"Easterbrook S.","year":"1996","journal-title":"Softw. Eng. J."},{"key":"S0218194023500134BIB011","first-page":"169","volume-title":"5th Working IEEE\/IFIP Conf. Software Architecture","author":"Muskens J.","year":"2005"},{"key":"S0218194023500134BIB013","volume-title":"SysML Distilled: A Brief Guide to the Systems Modeling Language","author":"Delligatti L.","year":"2013"},{"key":"S0218194023500134BIB014","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/j.jss.2018.06.029","volume":"144","author":"Torre D.","year":"2018","journal-title":"J. Syst. Softw."},{"key":"S0218194023500134BIB015","first-page":"130","volume-title":"Proc. 8th Int. Conf. Formal Methods in Software Engineering","author":"Torre D.","year":"2020"},{"key":"S0218194023500134BIB016","first-page":"292","volume-title":"29th Int. Conf. Software Engineering","author":"Egyed A.","year":"2007"},{"key":"S0218194023500134BIB017","first-page":"220","volume-title":"Proc. 27th IEEE\/ACM Int. Conf. Automated Software Engineering","author":"Reder A.","year":"2012"},{"key":"S0218194023500134BIB018","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/s10270-022-00996-0","volume":"22","author":"Marchezan L.","year":"2023","journal-title":"Softw. Syst. Model."},{"key":"S0218194023500134BIB019","first-page":"158","volume-title":"Proc. 13th Int. Conf. Software Engineering","author":"Balzer R.","year":"1991"},{"key":"S0218194023500134BIB020","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/978-3-642-02408-5_19","volume-title":"Int. Conf. Theory and Practice of Model Transformations","author":"Czarnecki K.","year":"2009"},{"key":"S0218194023500134BIB021","first-page":"315","volume-title":"Proc. 7th Joint Meeting of the European Software Engineering Conf. and the ACM SIGSOFT Symp. the Foundations of Software Engineering","author":"Xiong Y.","year":"2009"},{"issue":"4","key":"S0218194023500134BIB022","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1145\/292182.292187","volume":"7","author":"Hunter A.","year":"1998","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"S0218194023500134BIB023","first-page":"455","volume-title":"Proc. 25th Int. Conf. Software Engineering","author":"Nentwich C.","year":"2003"},{"issue":"7","key":"S0218194023500134BIB024","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1109\/TSE.2016.2620145","volume":"43","author":"Macedo N.","year":"2016","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"S0218194023500134BIB025","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1592434.1592436","volume":"41","author":"Woodcock J.","year":"2009","journal-title":"ACM Comput. Surv."},{"issue":"4","key":"S0218194023500134BIB026","doi-asserted-by":"crossref","first-page":"935","DOI":"10.1007\/s10270-020-00788-4","volume":"19","author":"Stevens P.","year":"2020","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"S0218194023500134BIB027","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1147\/sj.453.0515","volume":"45","author":"Aizenbud-Reshef N.","year":"2006","journal-title":"IBM Syst. J."},{"key":"S0218194023500134BIB028","volume-title":"The Object Constraint Language: Getting Your Models Ready for MDA","author":"Warmer J. B.","year":"2003"},{"key":"S0218194023500134BIB029","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/j.jss.2015.06.044","volume":"112","author":"Dam H. K.","year":"2016","journal-title":"J. Syst. Softw."},{"key":"S0218194023500134BIB030","first-page":"24","volume-title":"2010 14th IEEE Int. Enterprise Distributed Object Computing Conf.","author":"Dam H. K.","year":"2010"},{"issue":"3","key":"S0218194023500134BIB032","doi-asserted-by":"crossref","first-page":"783","DOI":"10.1007\/s10270-014-0437-x","volume":"15","author":"Macedo N.","year":"2016","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"S0218194023500134BIB033","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/j.jss.2005.05.001","volume":"79","author":"Briand L.","year":"2006","journal-title":"J. Syst. Softw."},{"issue":"7","key":"S0218194023500134BIB034","doi-asserted-by":"crossref","first-page":"2376","DOI":"10.1109\/TSE.2021.3059481","volume":"48","author":"Huang Y.","year":"2021","journal-title":"IEEE Trans. Softw. Eng."},{"key":"S0218194023500134BIB035","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1109\/FOSM.2008.4659245","volume-title":"2008 Frontiers of Software Maintenance","author":"De Lucia A.","year":"2008"},{"key":"S0218194023500134BIB036","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1145\/3357766.3359546","volume-title":"Proc. 12th ACM SIGPLAN Int. Conf. Software Language Engineering","author":"Khelladi D. E.","year":"2019"},{"issue":"1","key":"S0218194023500134BIB037","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1007\/s10270-013-0317-9","volume":"14","author":"Puissant J. P.","year":"2015","journal-title":"Softw. Syst. Model."},{"key":"S0218194023500134BIB038","doi-asserted-by":"publisher","DOI":"10.1142\/9789812389718_0015"},{"issue":"2","key":"S0218194023500134BIB039","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1109\/TSE.2010.38","volume":"37","author":"Egyed A.","year":"2010","journal-title":"IEEE Trans. Softw. Eng."},{"key":"S0218194023500134BIB040","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jss.2014.03.023","volume":"93","author":"Cabot J.","year":"2014","journal-title":"J. Syst. Softw."},{"key":"S0218194023500134BIB041","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/1173706.1173738","volume-title":"Proc. 5th Int. Conf. Generative Programming and Component Engineering","author":"Czarnecki K.","year":"2006"},{"key":"S0218194023500134BIB042","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1007\/978-3-540-30482-1_35","volume-title":"Formal Methods and Software Engineering: 6th Int. Conf. Formal Engineering Methods","author":"Am\u00e1lio N.","year":"2004"},{"key":"S0218194023500134BIB043","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/11589976_20","volume-title":"Integrated Formal Methods: 5th Int. Conf.","author":"Lam V. S.","year":"2005"},{"issue":"4","key":"S0218194023500134BIB044","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1007\/s007660200020","volume":"7","author":"Campbell L. A.","year":"2002","journal-title":"Requir. Eng."},{"key":"S0218194023500134BIB045","first-page":"292","volume-title":"Proc. 28th Int. Conf. Software Engineering","author":"Xu C.","year":"2006"},{"key":"S0218194023500134BIB046","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/B978-044482830-9\/50019-9","volume-title":"Handbook of Process Algebra","author":"Van Glabbeek R. J.","year":"2001"},{"issue":"2","key":"S0218194023500134BIB047","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2523108","volume":"23","author":"Lu L.","year":"2014","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"S0218194023500134BIB048","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/j.jss.2015.11.020","volume":"113","author":"Lambolais T.","year":"2016","journal-title":"J. Syst. Softw."},{"key":"S0218194023500134BIB049","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-3-642-30473-6_8","volume-title":"Tests and Proofs","author":"de Le\u00f3n H. P.","year":"2012"},{"key":"S0218194023500134BIB050","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/s10270-006-0025-9","volume":"6","author":"van der Straeten R.","year":"2007","journal-title":"Softw. Syst. Model."},{"key":"S0218194023500134BIB051","first-page":"642","volume-title":"2019 ACM\/IEEE 22nd Int. Conf. Model Driven Engineering Languages and Systems Companion","author":"Jongeling R.","year":"2019"},{"issue":"2","key":"S0218194023500134BIB052","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/514183.514186","volume":"2","author":"Nentwich C.","year":"2002","journal-title":"ACM Trans. Internet Technol."},{"issue":"1","key":"S0218194023500134BIB053","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/839268.839271","volume":"12","author":"Nentwich C.","year":"2003","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"S0218194023500134BIB054","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1109\/VLHCC.2011.6070373","volume-title":"2011 IEEE Symp. Visual Languages and Human-Centric Computing","author":"Hegedus A.","year":"2011"},{"key":"S0218194023500134BIB055","first-page":"456","volume-title":"2017 24th Asia-Pacific Software Engineering Conf.","author":"Kretschmer R.","year":"2017"},{"issue":"3","key":"S0218194023500134BIB056","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1007\/s10458-010-9163-0","volume":"23","author":"Dam H. K.","year":"2011","journal-title":"Auton. Agents Multi-Agent Syst."},{"issue":"5","key":"S0218194023500134BIB057","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1109\/TSE.2016.2610424","volume":"43","author":"Hebig R.","year":"2017","journal-title":"IEEE Trans. Softw. Eng."},{"key":"S0218194023500134BIB058","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1016\/j.jss.2015.08.047","volume":"111","author":"Paige R. F.","year":"2016","journal-title":"J. Syst. Softw."},{"key":"S0218194023500134BIB059","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1145\/2976767.2976788","volume-title":"Proc. ACM\/IEEE 19th Int. Conf. Model Driven Engineering Languages and Systems","author":"Semer\u00e1th O.","year":"2016"},{"issue":"2","key":"S0218194023500134BIB060","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1007\/s10270-020-00823-4","volume":"20","author":"Kretschmer R.","year":"2021","journal-title":"Softw. Syst. Model."}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194023500134","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,19]],"date-time":"2023-05-19T05:13:55Z","timestamp":1684473235000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S0218194023500134"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,19]]},"references-count":58,"journal-issue":{"issue":"05","published-print":{"date-parts":[[2023,5]]}},"alternative-id":["10.1142\/S0218194023500134"],"URL":"https:\/\/doi.org\/10.1142\/s0218194023500134","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,4,19]]}}}