{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T16:33:49Z","timestamp":1782318829786,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,7]],"date-time":"2020-10-07T00:00:00Z","timestamp":1602028800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Consejer\u00eda de Educaci\u00f3n,Cultura y Deporte de la Direcci\u00f3n General de Universidades, In-vestigaci\u00f3n e Innovaci\u00f3n de la JCCM","award":["BPLY\/17\/180501\/000293"],"award-info":[{"award-number":["BPLY\/17\/180501\/000293"]}]},{"name":"European Research Council under the European Union?s Horizon 2020 research and innovation programme","award":["694277"],"award-info":[{"award-number":["694277"]}]},{"DOI":"10.13039\/501100002790","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["Discovery grant"],"award-info":[{"award-number":["Discovery grant"]}],"id":[{"id":"10.13039\/501100002790","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,7]]},"DOI":"10.1145\/3372020.3391554","type":"proceedings-article","created":{"date-parts":[[2020,9,12]],"date-time":"2020-09-12T20:02:05Z","timestamp":1599940925000},"page":"130-140","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["UML Consistency Rules"],"prefix":"10.1145","author":[{"given":"Damiano","family":"Torre","sequence":"first","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[{"name":"Carleton University, Ottawa, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marcela","family":"Genero","sequence":"additional","affiliation":[{"name":"University of Castilla-La Mancha, Ciudad Real, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maged","family":"Elaasar","sequence":"additional","affiliation":[{"name":"Carleton University, Ottawa, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claudio","family":"Menghi","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,10,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Practical Object-Oriented Analysis and Design","author":"Arlow Jim","unstructured":"Jim Arlow and Ila Neustadt . 2005. UML 2.0 and the Unified Process : Practical Object-Oriented Analysis and Design ( 2 nd Edition). Addison-Wesley Professional . Jim Arlow and Ila Neustadt. 2005. UML 2.0 and the Unified Process: Practical Object-Oriented Analysis and Design (2nd Edition). Addison-Wesley Professional.","edition":"2"},{"key":"e_1_3_2_1_2_1","volume-title":"Model-Driven Software Engineering in Practice","author":"Brambilla Marco","unstructured":"Marco Brambilla , Jordi Cabot , and Manuel Wimmer . 2017. Model-Driven Software Engineering in Practice , Second Edition. Morgan & Claypool Publishers . Marco Brambilla, Jordi Cabot, and Manuel Wimmer. 2017. Model-Driven Software Engineering in Practice, Second Edition. Morgan & Claypool Publishers."},{"key":"e_1_3_2_1_3_1","volume-title":"Impact Analysis and Change Management of UML Models. In 19th International Conference on Software Maintenance (ICSM 2003","author":"Briand Lionel C.","year":"2003","unstructured":"Lionel C. Briand , Yvan Labiche , and Leeshawn O'Sullivan . 2003 . Impact Analysis and Change Management of UML Models. In 19th International Conference on Software Maintenance (ICSM 2003 ), The Architecture of Existing Systems , 22-26 September 2003, Amsterdam, The Netherlands. 256--265. Lionel C. Briand, Yvan Labiche, and Leeshawn O'Sullivan. 2003. Impact Analysis and Change Management of UML Models. In 19th International Conference on Software Maintenance (ICSM 2003), The Architecture of Existing Systems, 22-26 September 2003, Amsterdam, The Netherlands. 256--265."},{"key":"e_1_3_2_1_4_1","volume-title":"7th International Conference, IFM 2009, D\u00fcsseldorf, Germany, February 16-19, 2009. Proceedings. 40--55","author":"Cabot Jordi","year":"2009","unstructured":"Jordi Cabot , Robert Claris\u00f3 , and Daniel Riera . 2009 . Verifying UML\/OCL Operation Contracts. In Integrated Formal Methods , 7th International Conference, IFM 2009, D\u00fcsseldorf, Germany, February 16-19, 2009. Proceedings. 40--55 . https:\/\/doi.org\/10.1007\/978-3-642-00255-7_4 10.1007\/978-3-642-00255-7_4 Jordi Cabot, Robert Claris\u00f3, and Daniel Riera. 2009. Verifying UML\/OCL Operation Contracts. In Integrated Formal Methods, 7th International Conference, IFM 2009, D\u00fcsseldorf, Germany, February 16-19, 2009. Proceedings. 40--55. https:\/\/doi.org\/10.1007\/978-3-642-00255-7_4"},{"key":"e_1_3_2_1_5_1","volume-title":"5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings. 211--220","author":"Czarnecki Krzysztof","year":"2006","unstructured":"Krzysztof Czarnecki and Krzysztof Pietroszek . 2006 . Verifying feature-based model templates against well-formedness OCL constraints. In Generative Programming and Component Engineering , 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings. 211--220 . Krzysztof Czarnecki and Krzysztof Pietroszek. 2006. Verifying feature-based model templates against well-formedness OCL constraints. In Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings. 211--220."},{"key":"e_1_3_2_1_6_1","volume-title":"Object-Oriented Analysis, Design and Implementation - An Integrated Approach","author":"Dathan Brahma","unstructured":"Brahma Dathan and Sarnath Ramnath . 2015. Object-Oriented Analysis, Design and Implementation - An Integrated Approach , Second Edition. Springer . Brahma Dathan and Sarnath Ramnath. 2015. Object-Oriented Analysis, Design and Implementation - An Integrated Approach, Second Edition. Springer."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1125944.1125949"},{"key":"e_1_3_2_1_8_1","volume-title":"Well-formedness and typing rules for UML Composite Structures. CoRR abs\/1010.6155","author":"Dragomir Iulia","year":"2010","unstructured":"Iulia Dragomir and Iulian Ober . 2010. Well-formedness and typing rules for UML Composite Structures. CoRR abs\/1010.6155 ( 2010 ). arXiv:1010.6155 http:\/\/arxiv.org\/abs\/1010.6155 Iulia Dragomir and Iulian Ober. 2010. Well-formedness and typing rules for UML Composite Structures. CoRR abs\/1010.6155 (2010). arXiv:1010.6155 http:\/\/arxiv.org\/abs\/1010.6155"},{"key":"e_1_3_2_1_9_1","volume-title":"Ensuring Consistency in Relational Repository of UML Models. In 10th International Conference on Information Technology, ICIT 2007","author":"Sapna P.","year":"2007","unstructured":"Sapna P. G. and Hrushikesha Mohanty. 2007 . Ensuring Consistency in Relational Repository of UML Models. In 10th International Conference on Information Technology, ICIT 2007 , Roukela, India , 17-20 December 2007 . 217--222. Sapna P. G. and Hrushikesha Mohanty. 2007. Ensuring Consistency in Relational Repository of UML Models. In 10th International Conference on Information Technology, ICIT 2007, Roukela, India, 17-20 December 2007. 217--222."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.4018\/jdm.2011070103"},{"key":"e_1_3_2_1_11_1","volume-title":"Initiating a Benchmark for UML and OCL Analysis Tools","author":"Gogolla Martin","unstructured":"Martin Gogolla , Fabian B\u00fcttner , and Jordi Cabot . 2013. Initiating a Benchmark for UML and OCL Analysis Tools . In Tests and Proofs TAP. Springer , 115--132. Martin Gogolla, Fabian B\u00fcttner, and Jordi Cabot. 2013. Initiating a Benchmark for UML and OCL Analysis Tools. In Tests and Proofs TAP. Springer, 115--132."},{"key":"e_1_3_2_1_12_1","volume-title":"TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings. 129--136","author":"Gogolla Martin","year":"2015","unstructured":"Martin Gogolla , Lars Hamann , Frank Hilken , and Matthias Sedlmeier . 2015 . Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study. In Tests and Proofs - 9th International Conference , TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings. 129--136 . Martin Gogolla, Lars Hamann, Frank Hilken, and Matthias Sedlmeier. 2015. Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study. In Tests and Proofs - 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings. 129--136."},{"key":"e_1_3_2_1_13_1","volume-title":"Model Driven Engineering Languages and Systems (MoDELS)","author":"Gogolla Martin","unstructured":"Martin Gogolla , Mirco Kuhlmann , and Fabian B\u00fcttner . 2008. A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency . In Model Driven Engineering Languages and Systems (MoDELS) . Springer . Martin Gogolla, Mirco Kuhlmann, and Fabian B\u00fcttner. 2008. A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. In Model Driven Engineering Languages and Systems (MoDELS). Springer."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976778"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/2317017.2317061"},{"key":"e_1_3_2_1_16_1","volume-title":"Rule-Based Detection of Inconsistency in UML Models. In Workshop on Consistency Problems in UML-Based Software Development.","author":"Liu WenQian","year":"2002","unstructured":"WenQian Liu , Steve Easterbrook , and John Mylopoulos . 2002 . Rule-Based Detection of Inconsistency in UML Models. In Workshop on Consistency Problems in UML-Based Software Development. WenQian Liu, Steve Easterbrook, and John Mylopoulos. 2002. Rule-Based Detection of Inconsistency in UML Models. In Workshop on Consistency Problems in UML-Based Software Development."},{"key":"e_1_3_2_1_17_1","volume-title":"MDA Guide V1.0.1, Overview and guide to OMG's architecture","author":"Mukerji Jishnu","year":"2003","unstructured":"Jishnu Mukerji and Joaquin Miller . 2003. MDA Guide V1.0.1, Overview and guide to OMG's architecture . Object Management Group ( 2003 ). http:\/\/www.omg.org\/mda\/ Jishnu Mukerji and Joaquin Miller. 2003. MDA Guide V1.0.1, Overview and guide to OMG's architecture. Object Management Group (2003). http:\/\/www.omg.org\/mda\/"},{"key":"e_1_3_2_1_18_1","volume-title":"OMG Unified Modeling LanguageTM - Superstructure Version 2.5","author":"OMG.","year":"2015","unstructured":"OMG. 2015. OMG Unified Modeling LanguageTM - Superstructure Version 2.5 . Object Management Group ( 2015 ). http:\/\/www.omg.org OMG. 2015. OMG Unified Modeling LanguageTM - Superstructure Version 2.5. Object Management Group (2015). http:\/\/www.omg.org"},{"key":"e_1_3_2_1_19_1","volume-title":"Object Management Group - Object Constraint Language (OCL)","author":"OMG.","year":"2016","unstructured":"OMG. 2016. Object Management Group - Object Constraint Language (OCL) . Object Management Group ( 2016 ). http:\/\/www.omg.org\/spec\/OCL OMG. 2016. Object Management Group - Object Constraint Language (OCL). Object Management Group (2016). http:\/\/www.omg.org\/spec\/OCL"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.11.009"},{"key":"e_1_3_2_1_21_1","unstructured":"Tom Pender. 2003. UML Bible. John Wiley& Sons Inc.  Tom Pender. 2003. UML Bible. John Wiley& Sons Inc."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2016.06.005"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.30"},{"key":"e_1_3_2_1_24_1","volume-title":"At the 22nd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019","author":"Seidewitz Ed","year":"2019","unstructured":"Ed Seidewitz . 2019 . At the 22nd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019 , Munich, Germany , September 15-20, 2019. https:\/\/twitter.com\/MFamelis\/status\/1174663155798224897?s=20 Ed Seidewitz. 2019. At the 22nd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15-20, 2019. https:\/\/twitter.com\/MFamelis\/status\/1174663155798224897?s=20"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2004.1293067"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2601248.2613084"},{"key":"e_1_3_2_1_27_1","unstructured":"Damiano Torre. 2018. Benchmark Material. https:\/\/github.com\/yvanlabiche\/UML-model-consistency  Damiano Torre. 2018. Benchmark Material. https:\/\/github.com\/yvanlabiche\/UML-model-consistency"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2601248.2601292"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.06.029"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2019.00-20"}],"event":{"name":"FormaliSE '20: 8th International Conference on Formal Methods in Software Engineering","location":"Seoul Republic of Korea","acronym":"FormaliSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 8th International Conference on Formal Methods in Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372020.3391554","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3372020.3391554","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:19Z","timestamp":1750203859000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372020.3391554"}},"subtitle":["a Case Study with Open-Source UML Models"],"short-title":[],"issued":{"date-parts":[[2020,10,7]]},"references-count":30,"alternative-id":["10.1145\/3372020.3391554","10.1145\/3372020"],"URL":"https:\/\/doi.org\/10.1145\/3372020.3391554","relation":{},"subject":[],"published":{"date-parts":[[2020,10,7]]},"assertion":[{"value":"2020-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}