{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:19:11Z","timestamp":1725585551056},"publisher-location":"Berlin, Heidelberg","reference-count":13,"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_12","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T10:57:17Z","timestamp":1307703437000},"page":"160-171","source":"Crossref","is-referenced-by-count":2,"title":["An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform"],"prefix":"10.1007","author":[{"given":"Guillaume","family":"Doux","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Albert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Barbier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jordi","family":"Cabot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcos Didonet","family":"Del Fabro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott Uk-Jin","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-642-14819-4_19","volume-title":"Evaluation of Novel Approaches to Software Engineering","author":"A. Cicchetti","year":"2010","unstructured":"Cicchetti, A., Di Ruscio, D., Pelliccione, P., Pierantonio, A., Zacchiroli, S.: Towards a model driven approach to upgrade complex software systems. In: Maciaszek, L.A., Gonz\u00e1lez-P\u00e9rez, C., Jablonski, S. (eds.) ENASE 2008\/2009. Communications in Computer and Information Science, vol.\u00a069, pp. 262\u2013276. Springer, Heidelberg (2010)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Le Berre, D., Rapicault, P.: Dependency management for the eclipse ecosystem. In: Proceedings of IWOCE 2009, International workshop on Open Component Ecosystems (2009)","DOI":"10.1145\/1595800.1595805"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Gruber, O., Hargrave, B.J., McAffer, J., Rappicault, P., Watson, T.: The eclipse 3.0 platform: Adopting osgi technology. IBM Systems Journal 44(2) (2005)","DOI":"10.1147\/sj.442.0289"},{"key":"12_CR4","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., Del Fabro, M.D., 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":"12_CR5","unstructured":"EMF. Eclipse Modeling Project. Reference site, \n                    \n                      http:\/\/www.eclipse.org\/emf"},{"key":"12_CR6","unstructured":"OCL 2.0 specification (2008), \n                    \n                      http:\/\/www.omg.org\/spec\/OCL\/2.0\/"},{"key":"12_CR7","unstructured":"ILOG OPL-CPLEX development bundle (January 2010), \n                    \n                      http:\/\/www-01.ibm.com\/software\/integration\/optimization\/cplex-dev-bundles\/"},{"issue":"2","key":"12_CR8","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology\u00a011(2), 256\u2013290 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"12_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511615320","volume-title":"Principle of Constraint Programming","author":"K.R. Apt","year":"2003","unstructured":"Apt, K.R.: Principle of Constraint Programming. Cambridge University Press, Cambridge (2003)"},{"key":"12_CR10","unstructured":"Brucker, A.D., Wolff, B.: The HOL-OCL book. Technical Report 525, ETH Zurich (2006)"},{"key":"12_CR11","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 2007, pp. 547\u2013548 (2007)","DOI":"10.1145\/1321631.1321737"},{"key":"12_CR12","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":"12_CR13","doi-asserted-by":"crossref","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: Uml2alloy: A challenging model transformation. In: ACM\/IEEE 10th International Conference on Model Driven Engineering Languages and Systems, pp. 436\u2013450 (2007)","DOI":"10.1007\/978-3-540-75209-7_30"}],"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_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T11:12:34Z","timestamp":1553771554000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21470-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214691","9783642214707"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21470-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}