{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:56:15Z","timestamp":1747810575963},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214691"},{"type":"electronic","value":"9783642214707"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21470-7_6","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T10:57:17Z","timestamp":1307703437000},"page":"69-84","source":"Crossref","is-referenced-by-count":17,"title":["Assessing the Kodkod Model Finder for Resolving Model Inconsistencies"],"prefix":"10.1007","author":[{"given":"Ragnhild","family":"Van Der Straeten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Pinna Puissant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Mens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-642-13094-6_28","volume-title":"Advanced Information Systems Engineering","author":"M. Almeida da Silva","year":"2010","unstructured":"Almeida da Silva, M., Mougenot, A., Blanc, X., Bendraou, R.: Towards automated inconsistency handling in design models. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol.\u00a06051, pp. 348\u2013362. Springer, Heidelberg (2010)"},{"issue":"1","key":"6_CR2","first-page":"69","volume":"9","author":"K. Anastasakis","year":"2008","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On Challenges of Model Transformation from UML to Alloy. Software and Systems Modeling, Special Issue on MoDELS 2007\u00a09(1), 69\u201386 (2008)","journal-title":"Software and Systems Modeling, Special Issue on MoDELS 2007"},{"key":"6_CR3","volume-title":"Constraint Logic Programming using ECL i PS e","author":"K. Apt","year":"2006","unstructured":"Apt, K., Wallace, M.: Constraint Logic Programming using ECL\n                  \n                    i\n                  \n                  PS\n                  \n                    e\n                  . Cambridge University Press, Cambridge (2006)"},{"key":"6_CR4","first-page":"511","volume-title":"Int\u2019l Conf. Software Engineering","author":"X. Blanc","year":"2008","unstructured":"Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: Int\u2019l Conf. Software Engineering, pp. 511\u2013520. ACM, New York (2008)"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1145\/1321631.1321737","volume-title":"ASE","author":"J. Cabot","year":"2007","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: UMLtoCSP: a tool for the formal verification of UML\/OCL models using constraint programming. In: ASE, pp. 547\u2013548. ACM, New York (2007)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume-title":"Theory and Applications of Satisfiability Testing","author":"N. E\u00e9n","year":"2004","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol.\u00a02919, pp. 502\u2013518. Springer, Heidelberg (2004)"},{"key":"6_CR7","first-page":"99","volume-title":"ASE","author":"A. Egyed","year":"2008","unstructured":"Egyed, A., Letier, E., Finkelstein, A.: Generating and evaluating choices for fixing inconsistencies in UML design models. In: ASE, pp. 99\u2013108. IEEE, Los Alamitos (2008)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"740","DOI":"10.1007\/11758549_100","volume-title":"Computational Science \u2013 ICCS 2006","author":"M. Harman","year":"2006","unstructured":"Harman, M.: Search based software engineering. In: Alexandrov, V.N., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2006. LNCS, vol.\u00a03994, pp. 740\u2013747. Springer, Heidelberg (2006)"},{"key":"6_CR9","series-title":"Logic, Language and Analysis","volume-title":"Software Abstractions","year":"2006","unstructured":"Jackson, D. (ed.): Software Abstractions. Logic, Language and Analysis. MIT Press, Cambridge (2006)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-13595-8_15","volume-title":"Modelling Foundations and Applications","author":"M. Kleiner","year":"2010","unstructured":"Kleiner, M., Didonet Del Fabro, M., Albert, P.: Model search: Formalizing and automating constraint solving in MDE platforms. In: K\u00fchne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol.\u00a06138, pp. 173\u2013188. Springer, Heidelberg (2010)"},{"key":"6_CR11","unstructured":"Kodkodi: version 1.2.11 (March 2010), \n                    \n                      www4.in.tum.de\/~blanchet\/#kodkodi"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/s10817-009-9127-8","volume":"43","author":"F. Mari\u0107","year":"2009","unstructured":"Mari\u0107, F.: Formalization and implementation of modern SAT solvers. J. Autom. Reason.\u00a043(1), 81\u2013119 (2009)","journal-title":"J. Autom. Reason."},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/11880240_15","volume-title":"Model Driven Engineering Languages and Systems","author":"T. Mens","year":"2006","unstructured":"Mens, T., Van Der Straeten, R., D\u2019Hondt, M.: Detecting and resolving model inconsistencies using transformation dependency analysis. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 200\u2013214. Springer, Heidelberg (2006)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-642-02674-4_10","volume-title":"Model Driven Architecture - Foundations and Applications","author":"A. Mougenot","year":"2009","unstructured":"Mougenot, A., Darrasse, A., Blanc, X., Soria, M.: Uniform random generation of huge metamodel instances. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol.\u00a05562, pp. 130\u2013145. Springer, Heidelberg (2009)"},{"key":"6_CR15","first-page":"455","volume-title":"ICSE","author":"C. Nentwich","year":"2003","unstructured":"Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: ICSE, pp. 455\u2013464. IEEE Computer Society, Los Alamitos (May 2003)"},{"key":"6_CR16","unstructured":"Object Management Group: Unified Modeling Language 2.1.2 Superstructure Specification. formal\/2007-11-02 (November 2007), \n                    \n                      www.omg.org"},{"key":"6_CR17","unstructured":"Pinna Puissant, J., Mens, T., Van Der Straeten, R.: Resolving model inconsistencies with automated planning. In: 3rd Workshop on Living with Inconsistencies in Software Development, CEUR Workshop Proceeding (September 2010)"},{"key":"6_CR18","first-page":"221","volume-title":"ER","author":"M. Sabetzadeh","year":"2007","unstructured":"Sabetzadeh, M., Nejati, S., Liaskos, S., Easterbrook, S.M., Chechik, M.: Consistency checking of conceptual models via model merging. In: ER, pp. 221\u2013230. IEEE, Los Alamitos (2007)"},{"key":"6_CR19","unstructured":"Torlak, E.: A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications. Ph.D. thesis, MIT (February 2009)"},{"key":"6_CR20","unstructured":"Torlak, E., Dennis, G.: Kodkod for alloy users. In: First ACM Alloy Workshop (2006)"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/978-3-540-71209-1_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Torlak","year":"2007","unstructured":"Torlak, E., Jackson, D.: Kodkod: A relational model finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 632\u2013647. Springer, Heidelberg (2007)"},{"key":"6_CR22","unstructured":"Van Der Straeten, R.: Description of UML model inconsistencies. Tech. rep., Vrije Universiteit Brussel, Belgium (2011), \n                    \n                      http:\/\/soft.vub.ac.be\/soft\/members\/ragnhildvanderstraeten\/bibliography"},{"key":"6_CR23","doi-asserted-by":"publisher","first-page":"1210","DOI":"10.1145\/1141277.1141564","volume-title":"ACM Symposium on Applied Computing (SAC 2006)","author":"R. Van Der Straeten","year":"2006","unstructured":"Van Der Straeten, R., D\u2019Hondt, M.: Model refactorings through rule-based inconsistency resolution. In: ACM Symposium on Applied Computing (SAC 2006), pp. 1210\u20131217. ACM, New York (2006)"},{"key":"6_CR24","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 Van Der","year":"2003","unstructured":"Van Der 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.\u00a02863, pp. 326\u2013340. Springer, Heidelberg (2003)"},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1145\/1595696.1595757","volume-title":"ESEC\/FSE","author":"Y. Xiong","year":"2009","unstructured":"Xiong, Y., Hu, Z., Zhao, H., Song, H., Takeichi, M., Mei, H.: Supporting automatic model inconsistency fixing. In: ESEC\/FSE, pp. 315\u2013324. ACM, New York (2009)"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21470-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T11:01:04Z","timestamp":1553770864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21470-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214691","9783642214707"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21470-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}