{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:25:57Z","timestamp":1760833557457,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":57,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032086228","type":"print"},{"value":"9783032086235","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-08623-5_1","type":"book-chapter","created":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T10:42:26Z","timestamp":1760784146000},"page":"3-23","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Interactive Repair of\u00a0Inconsistencies in\u00a0Conceptual Models"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5541-0141","authenticated-orcid":false,"given":"Juan Antonio","family":"G\u00f3mez-Guti\u00e9rrez","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9639-0186","authenticated-orcid":false,"given":"Robert","family":"Claris\u00f3","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,19]]},"reference":[{"issue":"10","key":"1_CR1","doi-asserted-by":"publisher","first-page":"1376","DOI":"10.1109\/TSE.2013.17","volume":"39","author":"S Ali","year":"2013","unstructured":"Ali, S., Zohaib Iqbal, M., Arcuri, A., Briand, L.C.: Generating test data from OCL constraints with search techniques. IEEE Trans. Software Eng. 39(10), 1376\u20131402 (2013). https:\/\/doi.org\/10.1109\/TSE.2013.17","journal-title":"IEEE Trans. Software Eng."},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-540-75209-7_30","volume-title":"Model Driven Engineering Languages and Systems","author":"K Anastasakis","year":"2007","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: a challenging model transformation. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 436\u2013450. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75209-7_30"},{"key":"1_CR3","doi-asserted-by":"publisher","unstructured":"Bailey, J., Stuckey, P.J.: Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization. In: Hermenegildo, M.V., Cabeza, D. (eds.) PADL 2005. LNCS, vol. 3350, pp. 174\u2013186. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-30557-614","DOI":"10.1007\/978-3-540-30557-614"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/11784180_28","volume-title":"Algebraic Methodology and Software Technology","author":"M Clavel","year":"2006","unstructured":"Clavel, M., Egea, M.: ITP\/OCL: a rewriting-based validation tool for UML+OCL static class diagrams. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol. 4019, pp. 368\u2013373. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11784180_28"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Brida, S.G., et al.: Bounded exhaustive search of Alloy specification repairs. In: International Conference on Software Engineering (ICSE), ICSE 2021, pp. 1135\u20131147. IEEE (2021)","DOI":"10.1109\/ICSE43902.2021.00105"},{"key":"1_CR6","doi-asserted-by":"publisher","unstructured":"Brucker, A.D., Wolff, B.: HOL-OCL: a formal proof environment for UML\/OCL. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 97\u2013100. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78743-3_8. https:\/\/www.scopus.com\/inward\/record.uri?eid=2-s2.0-47249144817&doi=10.1007%2f978-3-540-78743-3_8 &partnerID=40 &md5=3d9dac3d08ff2a5bdae1293d10912067","DOI":"10.1007\/978-3-540-78743-3_8"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jss.2014.03.023","volume":"93","author":"J Cabot","year":"2014","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: On the verification of UML\/OCL class diagrams using constraint programming. J. Syst. Softw. 93, 1\u201323 (2014)","journal-title":"J. Syst. Softw."},{"key":"1_CR8","unstructured":"Cadoli, M., Calvanese, D., De Giacomo, G., Mancini, T.: Finite satisfiability of UML class diagrams by constraint programming. In: CSP Techniques with Immediate Application (CSPIA), vol. 2, pp. 2\u201316 (2004)"},{"issue":"1","key":"1_CR9","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1613\/jair.3196","volume":"40","author":"A Cimatti","year":"2011","unstructured":"Cimatti, A., Griggio, A., Sebastiani, R.: Computing small unsatisfiable cores in satisfiability modulo theories. J. Artif. Intell. Res. 40(1), 701\u2013728 (2011)","journal-title":"J. Artif. Intell. Res."},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Claris\u00f3, R., Cabot, J.: Fixing defects in integrity constraints via constraint mutation. In: International Conference on the Quality of Information and Communications Technology (QUATIC), pp. 74\u201382. IEEE (2018)","DOI":"10.1109\/QUATIC.2018.00020"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Clavel, M., Egea, M.: ITP\/OCL: a rewriting-based validation tool for UML + OCL static class diagrams. In: International Conference on Algebraic Methodology and Software Technology (AMAST). LNCS, vol.\u00a04019, pp. 368\u2013373. Springer, Cham (2006)","DOI":"10.1007\/11784180_28"},{"key":"1_CR12","doi-asserted-by":"publisher","unstructured":"Dania, C., Clavel, M.: OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints. In: International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 65\u201375. ACM Press, New York, NY, USA (2016). https:\/\/doi.org\/10.1145\/2976767.2976774","DOI":"10.1145\/2976767.2976774"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-642-54624-2_11","volume-title":"Specification, Algebra, and Software","author":"F Dur\u00e1n","year":"2014","unstructured":"Dur\u00e1n, F., Rold\u00e1n, M., Moreno, A., \u00c1lvarez, J.M.: Dynamic validation of Maude prototypes of UML models. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol. 8373, pp. 212\u2013228. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54624-2_11"},{"key":"1_CR14","doi-asserted-by":"publisher","unstructured":"Egyed, A.: Instant consistency checking for the UML. In: International Conference on Software Engineering (ICSE), ICSE 2006, pp. 381\u2013390. ACM, New York, NY, USA (2006). https:\/\/doi.org\/10.1145\/1134285.1134339","DOI":"10.1145\/1134285.1134339"},{"key":"1_CR15","doi-asserted-by":"publisher","unstructured":"Egyed, A.: Fixing inconsistencies in UML design models. In: International Conference on Software Engineering (ICSE), pp. 292\u2013301. IEEE (2007). https:\/\/doi.org\/10.1109\/ICSE.2007.38","DOI":"10.1109\/ICSE.2007.38"},{"key":"1_CR16","doi-asserted-by":"publisher","unstructured":"Egyed, A., Letier, E., Finkelstein, A.: Generating and evaluating choices for fixing inconsistencies in UML design models. In: International Conference on Automated Software Engineering (ASE), pp. 99\u2013108. IEEE (2008). https:\/\/doi.org\/10.1109\/ASE.2008.20","DOI":"10.1109\/ASE.2008.20"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: USE: a UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69, 27\u201334 (2007). https:\/\/doi.org\/10.1016\/j.scico.2007.01.013","journal-title":"Sci. Comput. Program."},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-031-07475-2_18","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"JA G\u00f3mez-Guti\u00e9rrez","year":"2022","unstructured":"G\u00f3mez-Guti\u00e9rrez, J.A., Claris\u00f3, R., Cabot, J.: A tool for debugging unsatisfiable integrity constraints in UML\/OCL class diagrams. In: Augusto, A., Gill, A., Bork, D., Nurcan, S., Reinhartz-Berger, I., Schmidt, R. (eds.) Enterprise, Business-Process and Information Systems Modeling, pp. 267\u2013275. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-07475-2_18"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez, C.A., Cabot, J.: Formal verification of static software models in MDE: a systematic review. Inf. Softw. Technol. 56(8), 821\u2013838 (2014)","DOI":"10.1016\/j.infsof.2014.03.003"},{"key":"1_CR20","doi-asserted-by":"publisher","unstructured":"Gonz\u00e1lez, C.A., B\u00fcttner, F., Claris\u00f3, R., Cabot, J.: EMFtoCSP: a tool for the lightweight verification of EMF models. In: International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA), pp. 44\u201350 (2012). https:\/\/doi.org\/10.1109\/FormSERA.2012.6229788","DOI":"10.1109\/FormSERA.2012.6229788"},{"issue":"4","key":"1_CR21","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1142\/S0218213008004138","volume":"17","author":"E Gr\u00e9goire","year":"2008","unstructured":"Gr\u00e9goire, E., Mazure, B., Piette, C.: On finding minimally unsatisfiable cores of CSP. Int. J. Artif. Intell. Tools 17(4), 745\u2013763 (2008)","journal-title":"Int. J. Artif. Intell. Tools"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/3-540-45581-7_19","volume-title":"Conceptual Modeling \u2014 ER 2001","author":"S Hartmann","year":"2001","unstructured":"Hartmann, S.: Coping with inconsistent constraint specifications. In: Kunii, H.S., Jajodia, S., S\u00f8lvberg, A. (eds.) ER 2001. LNCS, vol. 2224, pp. 241\u2013255. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45581-7_19"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-36596-6_5","volume-title":"Semantics in Databases","author":"S Hartmann","year":"2003","unstructured":"Hartmann, S.: Soft constraints and heuristic constraint correction in entity-relationship modelling. In: Bertossi, L., Katona, G.O.H., Schewe, K.-D., Thalheim, B. (eds.) SiD 2001. LNCS, vol. 2582, pp. 82\u201399. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36596-6_5"},{"key":"1_CR24","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press (2012)"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-642-21952-8_21","volume-title":"Objects, Models, Components, Patterns","author":"M Kuhlmann","year":"2011","unstructured":"Kuhlmann, M., Hamann, L., Gogolla, M.: Extensive validation of OCL models by integrating SAT solving into USE. In: Bishop, J., Vallecillo, A. (eds.) TOOLS 2011. LNCS, vol. 6705, pp. 290\u2013306. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21952-8_21"},{"issue":"2","key":"1_CR26","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/s10601-015-9183-0","volume":"21","author":"MH Liffiton","year":"2016","unstructured":"Liffiton, M.H., Previti, A., Malik, A., Marques-Silva, J.: Fast, flexible MUS enumeration. Constraints 21(2), 223\u2013250 (2016)","journal-title":"Constraints"},{"key":"1_CR27","unstructured":"Lynce, I., Marques-Silva, J.: On computing minimum unsatisfiable cores. In: International Symposium on Theory and Applications of Satisfiability Testing (SAT), pp. 305\u2013310 (2004)"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1007\/978-3-642-24485-8_44","volume-title":"Model Driven Engineering Languages and Systems","author":"S Maoz","year":"2011","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: CD2Alloy: class diagrams analysis using alloy revisited. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 592\u2013607. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24485-8_44"},{"issue":"1","key":"1_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10703-016-0267-2","volume":"55","author":"A Milicevic","year":"2019","unstructured":"Milicevic, A., Near, J.P., Kang, E., Jackson, D.: Alloy*: a general-purpose higher-order relational constraint solver. Formal Methods Syst. Des. 55(1), 1\u201332 (2019)","journal-title":"Formal Methods Syst. Des."},{"key":"1_CR30","unstructured":"OMG: Object Constraint Language specification (version 2.4). https:\/\/www.omg.org\/spec\/OCL\/2.4\/"},{"key":"1_CR31","unstructured":"OMG: Unified Modeling Language specification (version 2.5.1). https:\/\/www.omg.org\/spec\/UML\/2.5.1"},{"issue":"1","key":"1_CR32","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1049\/iet-cps.2016.0022","volume":"1","author":"N Przigoda","year":"2016","unstructured":"Przigoda, N., Soeken, M., Wille, R., Drechsler, R.: Verifying the structure and behavior in UML\/OCL models using satisfiability solvers. IET Cyber-Phys. Syst. Theory Appl. 1(1), 49\u201359 (2016)","journal-title":"IET Cyber-Phys. Syst. Theory Appl."},{"key":"1_CR33","doi-asserted-by":"publisher","unstructured":"Przigoda, N., Wille, R., Drechsler, R.: Contradiction analysis for inconsistent formal models. In: International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), pp. 171\u2013176. IEEE (2015). https:\/\/doi.org\/10.1109\/DDECS.2015.52","DOI":"10.1109\/DDECS.2015.52"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Przigoda, N., Wille, R., Drechsler, R.: Analyzing inconsistencies in UML\/OCL models. J. Circuits Syst. Comput. 25(03), 1640021 (2016)","DOI":"10.1142\/S0218126616400211"},{"key":"1_CR35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-72814-8","volume-title":"Automated Validation & Verification of UML\/OCL Models Using Satisfiability Solvers","author":"N Przigoda","year":"2018","unstructured":"Przigoda, N., Wille, R., Przigoda, J., Drechsler, R.: Automated Validation & Verification of UML\/OCL Models Using Satisfiability Solvers. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-72814-8"},{"key":"1_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.datak.2011.09.004","volume":"73","author":"A Queralt","year":"2012","unstructured":"Queralt, A., Artale, A., Calvanese, D., Teniente, E.: OCL-lite: finite reasoning on UML\/OCL conceptual schemas. Data Knowl. Eng. 73, 1\u201322 (2012). https:\/\/doi.org\/10.1016\/j.datak.2011.09.004","journal-title":"Data Knowl. Eng."},{"issue":"2","key":"1_CR37","doi-asserted-by":"publisher","first-page":"953","DOI":"10.1007\/s10270-013-0350-8","volume":"14","author":"G Rull","year":"2013","unstructured":"Rull, G., Farr\u00e9, C., Queralt, A., Teniente, E., Urp\u00ed, T.: AuRUS: explaining the validation of UML\/OCL conceptual schemas. Soft. Syst. Model. 14(2), 953\u2013980 (2013). https:\/\/doi.org\/10.1007\/s10270-013-0350-8","journal-title":"Soft. Syst. Model."},{"key":"1_CR38","doi-asserted-by":"publisher","unstructured":"Rull, G., Farr\u00e9, C., Teniente, E., Urp\u00ed, T.: Computing explanations for unlively queries in databases. In: ACM Conference on Information and Knowledge Management (CIKM), p.\u00a0955. ACM Press, New York, NY, USA (2007). https:\/\/doi.org\/10.1145\/1321440.1321584","DOI":"10.1145\/1321440.1321584"},{"key":"1_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-319-92997-2_3","volume-title":"Modelling Foundations and Applications","author":"JS Cuadrado","year":"2018","unstructured":"Cuadrado, J.S.: Optimising OCL synthesized code. In: Pierantonio, A., Trujillo, S. (eds.) ECMFA 2018. LNCS, vol. 10890, pp. 28\u201345. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-92997-2_3"},{"key":"1_CR40","doi-asserted-by":"publisher","unstructured":"S\u00e1nchez\u00a0Cuadrado, J., Gogolla, M.: Model finding in the EMF ecosystem. J. Object Technol. 19(2), 10:1\u201321 (2020). https:\/\/doi.org\/10.5381\/JOT.2020.19.2.A10","DOI":"10.5381\/JOT.2020.19.2.A10"},{"issue":"5","key":"1_CR41","doi-asserted-by":"publisher","first-page":"1713","DOI":"10.1007\/s10270-021-00884-z","volume":"20","author":"O Semer\u00e1th","year":"2021","unstructured":"Semer\u00e1th, O., et al.: Automated generation of consistent, diverse and structurally realistic graph models. Softw. Syst. Model. 20(5), 1713\u20131734 (2021). https:\/\/doi.org\/10.1007\/s10270-021-00884-z","journal-title":"Softw. Syst. Model."},{"key":"1_CR42","doi-asserted-by":"publisher","unstructured":"Semer\u00e1th, O., Babikian, A.A., Li, A., Marussy, K., Varr\u00f3, D.: Automated generation of consistent models with structural and attribute constraints. In: Syriani, E., Sahraoui, H.A., de\u00a0Lara, J., Abrah\u00e3o, S. (eds.) International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 187\u2013199. ACM (2020). https:\/\/doi.org\/10.1145\/3365438.3410962","DOI":"10.1145\/3365438.3410962"},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"Semer\u00e1th, O., Nagy, A.S., Varr\u00f3, D.: A graph solver for the automated generation of consistent domain-specific models. In: International Conference on Software Engineering (ICSE), pp. 969\u2013980 (2018)","DOI":"10.1145\/3180155.3180186"},{"key":"1_CR44","doi-asserted-by":"publisher","unstructured":"Shaikh, A., Claris\u00f3, R., Wiil, U.K., Memon, N.: Verification-driven slicing of UML\/OCL models. In: International Conference on Automated Software Engineering (ASE), pp. 185\u2013194. ACM, New York, NY, USA (2010). https:\/\/doi.org\/10.1145\/1858996.1859038","DOI":"10.1145\/1858996.1859038"},{"key":"1_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-642-25271-6_13","volume-title":"Formal Methods for Components and Objects","author":"C Snook","year":"2011","unstructured":"Snook, C., Savicks, V., Butler, M.: Verification of UML models by translation to UML-B. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 251\u2013266. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25271-6_13"},{"issue":"2","key":"1_CR46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3381032","volume":"29","author":"G Soltana","year":"2020","unstructured":"Soltana, G., Sabetzadeh, M., Briand, L.C.: Practical constraint solving for generating system test data. ACM Trans. Softw. Eng. Methodol. (TOSEM) 29(2), 1\u201348 (2020)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"1_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-68237-0_23","volume-title":"FM 2008: Formal Methods","author":"E Torlak","year":"2008","unstructured":"Torlak, E., Chang, F.S.-H., Jackson, D.: Finding minimal unsatisfiable cores of declarative specifications. In: Cuellar, J., Maibaum, T., Sere, K. (eds.) FM 2008. LNCS, vol. 5014, pp. 326\u2013341. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68237-0_23"},{"key":"1_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-45221-8_28","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"R Straeten","year":"2003","unstructured":"Straeten, R., Mens, T., Simmonds, J., Jonckers, V.: Using description logic to maintain consistency between UML models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 326\u2013340. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-45221-8_28"},{"key":"1_CR49","doi-asserted-by":"crossref","unstructured":"Wang, K., Sullivan, A., Khurshid, S.: Automated model repair for Alloy. In: International Conference on Automated Software Engineering (ASE), pp. 577\u2013588. IEEE (2018)","DOI":"10.1145\/3238147.3238162"},{"key":"1_CR50","doi-asserted-by":"publisher","unstructured":"Wille, R., Soeken, M., Drechsler, R.: Debugging of inconsistent UML\/OCL models. In: Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 1078\u20131083. IEEE (2012). https:\/\/doi.org\/10.1109\/DATE.2012.6176655","DOI":"10.1109\/DATE.2012.6176655"},{"key":"1_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-319-66845-1_23","volume-title":"Integrated Formal Methods","author":"H Wu","year":"2017","unstructured":"Wu, H.: MaxUSE: a tool for finding achievable constraints and conflicts for inconsistent UML class diagrams. In: Polikarpova, N., Schneider, S. (eds.) IFM 2017. LNCS, vol. 10510, pp. 348\u2013356. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66845-1_23"},{"key":"1_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-030-99429-7_17","volume-title":"Fundamental Approaches to Software Engineering","author":"H Wu","year":"2022","unstructured":"Wu, H.: QMaxUSE: a query-based verification tool for UML class diagrams with OCL invariants. In: FASE 2022. LNCS, vol. 13241, pp. 310\u2013317. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-99429-7_17"},{"issue":"4","key":"1_CR53","doi-asserted-by":"publisher","first-page":"1271","DOI":"10.1007\/s10270-020-00849-8","volume":"20","author":"H Wu","year":"2021","unstructured":"Wu, H., Farrell, M.: A formal approach to finding inconsistencies in a metamodel. Softw. Syst. Model. 20(4), 1271\u20131298 (2021). https:\/\/doi.org\/10.1007\/s10270-020-00849-8","journal-title":"Softw. Syst. Model."},{"key":"1_CR54","doi-asserted-by":"crossref","unstructured":"Zhang, C., et al.: AlloyMax: bringing maximum satisfaction to relational specifications. In: ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC-FSE), pp. 155\u2013167 (2021)","DOI":"10.1145\/3468264.3468587"},{"key":"1_CR55","doi-asserted-by":"crossref","unstructured":"Zheng, G., Bagheri, H., Nguyen, T.: Debugging declarative models in Alloy. In: International Conference on Software Maintenance and Evolution (ICSME), pp. 844\u2013848. IEEE (2020)","DOI":"10.1109\/ICSME46990.2020.00107"},{"key":"1_CR56","doi-asserted-by":"publisher","unstructured":"Zheng, G., et al.: ATR: template-based repair for Alloy specifications. In: International Symposium on Software Testing and Analysis (ISSTA), pp. 666\u2013677. ACM, New York, NY, USA (2022). https:\/\/doi.org\/10.1145\/3533767.3534369","DOI":"10.1145\/3533767.3534369"},{"key":"1_CR57","doi-asserted-by":"publisher","unstructured":"Zheng, G., et al.: Flack: counterexample-guided fault localization for Alloy models. In: International Conference on Software Engineering (ICSE), pp. 637\u2013648. IEEE Press (2021). https:\/\/doi.org\/10.1109\/ICSE43902.2021.00065","DOI":"10.1109\/ICSE43902.2021.00065"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-08623-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T10:42:32Z","timestamp":1760784152000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-08623-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,19]]},"ISBN":["9783032086228","9783032086235"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-08623-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,19]]},"assertion":[{"value":"19 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ER","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Conceptual Modeling","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poitiers","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 October 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 October 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"44","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"er2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/er2025.ensma.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}