{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T16:46:17Z","timestamp":1755794777332},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135941"},{"type":"electronic","value":"9783642135958"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13595-8_15","type":"book-chapter","created":{"date-parts":[[2010,5,31]],"date-time":"2010-05-31T00:15:17Z","timestamp":1275264917000},"page":"173-188","source":"Crossref","is-referenced-by-count":16,"title":["Model Search: Formalizing and Automating Constraint Solving in MDE Platforms"],"prefix":"10.1007","author":[{"given":"Mathias","family":"Kleiner","sequence":"first","affiliation":[]},{"given":"Marcos Didonet","family":"Del Fabro","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Albert","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","first-page":"151","volume-title":"STOC","author":"S.A. Cook","year":"1971","unstructured":"Cook, S.A.: The complexity of theorem-proving procedures. In: STOC, pp. 151\u2013158. ACM, New York (1971)"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/3-540-45800-X_5","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"A. Felfernig","year":"2002","unstructured":"Felfernig, A., Friedrich, G., Jannach, D., Zanker, M.: Configuration knowledge representation using uml\/ocl. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 49\u201362. Springer, Heidelberg (2002)"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-02408-5_10","volume-title":"Theory and Practice of Model Transformations","author":"A. Petter","year":"2009","unstructured":"Petter, A., Behring, A., Muhlhauser, M.: Solving constraints in model transformations. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 132\u2013147. Springer, Heidelberg (2009)"},{"unstructured":"Alloy usecase (2010), http:\/\/www.lsis.org\/kleinerm\/MS\/Alloy_mm.html","key":"15_CR4"},{"doi-asserted-by":"crossref","unstructured":"Jackson, D.: Automating first-order relational logic. In: FSE, pp. 130\u2013139 (2000)","key":"15_CR5","DOI":"10.1145\/355045.355063"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/11768869_14","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., B\u00e9zivin, J.: Km3: A dsl for metamodel specification. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 171\u2013185. Springer, Heidelberg (2006)"},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1145\/1173706.1173744","volume-title":"GPCE","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., B\u00e9zivin, J., Kurtev, I.: TCS: a DSL for the specification of textual concrete syntaxes in model engineering. In: GPCE, pp. 249\u2013254. ACM, New York (2006)"},{"unstructured":"IBM ILOG CPLEX Development Bundle (December 2009), http:\/\/www-01.ibm.com\/software\/integration\/optimization\/cplex-dev-bundles\/","key":"15_CR8"},{"unstructured":"OCL+ usecase (2010), http:\/\/www.lsis.org\/kleinerm\/MS\/OCLP_mm.html","key":"15_CR9"},{"doi-asserted-by":"crossref","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 (2007)","key":"15_CR10","DOI":"10.1145\/1321631.1321737"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11663430_14","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"J. Jouault","year":"2006","unstructured":"Jouault, J., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 128\u2013138. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"White, J., Schmidt, D.C., Benavides, D., Trinidad, P., Ruiz-Cortez, A.: Automated diagnosis of product-line configuration errors in feature models. In: Software Product Lines Conference (SPLC 2008), Limmerick, Ireland (2008)","key":"15_CR12","DOI":"10.1109\/SPLC.2008.16"},{"unstructured":"Spivey, J.M.: The Z Notation: a reference manual (2001)","key":"15_CR13"},{"unstructured":"Kurtev, I., Bezivin, J., Aksit, M.: Technological spaces: An initial appraisal. In: International Symposium on Distributed Objects and Applications (2002)","key":"15_CR14"},{"issue":"1-3","key":"15_CR15","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.\u00a069(1-3), 27\u201334 (2007)","journal-title":"Sci. Comput. Program."},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-540-87875-9_12","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Kessentini","year":"2008","unstructured":"Kessentini, M., Sahraoui, H.A., Boukadoum, M.: Model transformation as an optimization problem. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 159\u2013173. Springer, Heidelberg (2008)"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-04425-0_10","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Kleiner","year":"2009","unstructured":"Kleiner, M., Albert, P., Bezivin, J.: Parsing sbvr-based controlled languages. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 122\u2013136. Springer, Heidelberg (2009)"},{"unstructured":"Model search (2010), http:\/\/www.lsis.org\/kleinerm\/MS\/ModelSearch-Alloy.html","key":"15_CR18"},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/978-3-540-74970-7_38","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"N. Nethercote","year":"2007","unstructured":"Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.: Minizinc: Towards a standard cp modelling language. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol.\u00a04741, pp. 529\u2013543. Springer, Heidelberg (2007)"},{"unstructured":"Object Management Group. Meta Object Facility (MOF) 2.0 Query\/View\/Transformation (QVT) Specification, version 1.0 (2008)","key":"15_CR20"},{"unstructured":"OCL 2.0 specification (2008), http:\/\/www.omg.org\/spec\/OCL\/2.0\/","key":"15_CR21"},{"key":"15_CR22","volume-title":"Software Product Lines: Practices and Patterns","author":"P. Clements","year":"2001","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns, 1st edn. Addison-Wesley, Reading (2001)","edition":"1"},{"unstructured":"Tessier, P., Servat, D., Gerard, S.: Variability management on behavioral models. In: VaMoS Workshop, pp. 121\u2013130 (2008)","key":"15_CR23"},{"key":"15_CR24","first-page":"359","volume-title":"SPLC","author":"P. Trinidad","year":"2008","unstructured":"Trinidad, P., Benavides, D., Cort\u00e9s, A.R., Segura, S., Jimenez, A.: Fama framework. In: SPLC, p. 359. IEEE Computer Society, Los Alamitos (2008)"},{"doi-asserted-by":"crossref","unstructured":"Chenouard, R., Granvilliers, L., Soto, R.: Model-driven constraint programming. In: 10th ACM SIGPLAN PPDP, Valence, Spain (2008)","key":"15_CR25","DOI":"10.1145\/1389449.1389479"},{"unstructured":"SAT4J. A SATisfiability libray for Java (2010), http:\/\/www.sat4j.org","key":"15_CR26"},{"key":"15_CR27","volume-title":"IJCAI 2003","author":"U. Junker","year":"2003","unstructured":"Junker, U., Mailharro, D.: The logic of (j)configurator: Combining constraint programming with a description logic. In: IJCAI 2003. Springer, Heidelberg (2003)"},{"key":"15_CR28","volume-title":"The Optimization Programming Language","author":"P.V. Hentenryck","year":"1999","unstructured":"Hentenryck, P.V.: The Optimization Programming Language. MIT Press, Cambridge (1999)"}],"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-13595-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T13:54:09Z","timestamp":1559138049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13595-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135941","9783642135958"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13595-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}