{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T15:15:54Z","timestamp":1760800554033,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031074745"},{"type":"electronic","value":"9783031074752"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-07475-2_18","type":"book-chapter","created":{"date-parts":[[2022,5,29]],"date-time":"2022-05-29T19:02:13Z","timestamp":1653850933000},"page":"267-275","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Tool for\u00a0Debugging Unsatisfiable Integrity Constraints in\u00a0UML\/OCL Class Diagrams"],"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":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9639-0186","authenticated-orcid":false,"given":"Robert","family":"Claris\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2418-2489","authenticated-orcid":false,"given":"Jordi","family":"Cabot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,5,30]]},"reference":[{"key":"18_CR1","unstructured":"Brida, S.G., et al.: Bounded exhaustive search of Alloy specification repairs. In: ICSE 2021, pp. 1135\u20131147. IEEE (2021)"},{"key":"18_CR2","first-page":"1","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. JSS 93, 1\u201323 (2014)","journal-title":"JSS"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Claris\u00f3, R., Cabot, J.: Fixing defects in integrity constraints via constraint mutation. In: QUATIC 2018, pp. 74\u201382. IEEE (2018)","DOI":"10.1109\/QUATIC.2018.00020"},{"key":"18_CR4","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":"18_CR5","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: FormSERA 2012, pp. 44\u201350 (2012). https:\/\/doi.org\/10.1109\/FormSERA.2012.6229788","DOI":"10.1109\/FormSERA.2012.6229788"},{"key":"18_CR6","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2012","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2012)"},{"key":"18_CR7","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"},{"key":"18_CR8","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"},{"issue":"2","key":"18_CR9","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. Softw. Syst. Model. 14(2), 953\u2013980 (2013). https:\/\/doi.org\/10.1007\/s10270-013-0350-8","journal-title":"Softw. Syst. Model."},{"key":"18_CR10","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: ICSE 2018, pp. 969\u2013980 (2018)","DOI":"10.1145\/3180155.3180186"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Semer\u00e1th, O., Varr\u00f3, D.: Iterative generation of diverse models for testing specifications of DSL tools. In: FASE 2018, vol. 18, pp. 227\u2013245 (2018)","DOI":"10.1007\/978-3-319-89363-1_13"},{"issue":"2","key":"18_CR12","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 TOSEM 29(2), 1\u201348 (2020)","journal-title":"ACM TOSEM"},{"key":"18_CR13","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":"18_CR14","doi-asserted-by":"crossref","unstructured":"Wang, K., Sullivan, A., Khurshid, S.: Automated model repair for Alloy. In: ASE 2018, pp. 577\u2013588. IEEE (2018)","DOI":"10.1145\/3238147.3238162"},{"key":"18_CR15","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":"18_CR16","doi-asserted-by":"crossref","unstructured":"Zhang, C., et al.: AlloyMax: bringing maximum satisfaction to relational specifications. In: ESEC-FSE 2021, pp. 155\u2013167 (2021)","DOI":"10.1145\/3468264.3468587"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Zheng, G., Bagheri, H., Nguyen, T.: Debugging declarative models in Alloy. In: ICSME 2020, pp. 844\u2013848. IEEE (2020)","DOI":"10.1109\/ICSME46990.2020.00107"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise, Business-Process and Information Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-07475-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,29]],"date-time":"2022-05-29T23:13:01Z","timestamp":1653865981000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-07475-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031074745","9783031074752"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-07475-2_18","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"30 May 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EMMSAD","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Evaluation and Modeling Methods for Systems Analysis and Development","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Leuven","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Belgium","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 June 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 June 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"emmsad2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.emmsad.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"37% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}