{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:32:27Z","timestamp":1761597147667},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642024078"},{"type":"electronic","value":"9783642024085"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02408-5_10","type":"book-chapter","created":{"date-parts":[[2009,6,26]],"date-time":"2009-06-26T11:10:04Z","timestamp":1246014604000},"page":"132-147","source":"Crossref","is-referenced-by-count":12,"title":["Solving Constraints in Model Transformations"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Petter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Behring","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Max","family":"M\u00fchlh\u00e4user","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"OMG: Meta object facility (mof) 2.0 query\/view\/transformation specification. OMG, ptc\/07-07-07 (July 2007)"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1145\/1244002.1244216","volume-title":"SAC 2007: Proceedings of the, ACM symposium on Applied computing","author":"M. Lawley","year":"2007","unstructured":"Lawley, M., Raymond, K.: Implementing a practical declarative logic-based model transformation engine. In: SAC 2007: Proceedings of the, ACM symposium on Applied computing, pp. 971\u2013977. ACM, New York (2007)"},{"key":"10_CR3","series-title":"Object Technology Series","volume-title":"The Object Constraint Language: Getting Your Models Ready for MDA","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Object Technology Series. Addison-Wesley, Reading (2003)"},{"key":"10_CR4","unstructured":"OMG: Object constraint language omg available specification version 2.0. OMG (May 2006)"},{"issue":"1","key":"10_CR5","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1023\/A:1009749006768","volume":"2","author":"E.C. Freuder","year":"1997","unstructured":"Freuder, E.C.: In pursuit of the holy grail. Constraints\u00a02(1), 57\u201361 (1997)","journal-title":"Constraints"},{"key":"10_CR6","first-page":"213","volume":"5","author":"A.D. Brucker","year":"2006","unstructured":"Brucker, A.D., Doser, J., Wolff, B.: Semantic issues of OCL: Past, present, and future. Electronic Communications of the EASST\u00a05, 213\u2013228 (2006)","journal-title":"Electronic Communications of the EASST"},{"key":"10_CR7","unstructured":"Ratschan, S.: Applications of quantified constraint solving over the reals. Internet (January 2008), http:\/\/www2.cs.cas.cz\/~ratschan\/appqcs.html visited 01\/09"},{"issue":"3","key":"10_CR8","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal\u00a045(3), 621\u2013646 (2006)","journal-title":"IBM Systems Journal"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"1188","DOI":"10.1145\/1141277.1141561","volume-title":"SAC 2006: Proceedings of the, ACM symposium on Applied computing","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., Kurtev, I.: On the architectural alignment of atl and qvt. In: SAC 2006: Proceedings of the, ACM symposium on Applied computing, pp. 1188\u20131195. ACM Press, New York (2006)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-75209-7_1","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Stevens","year":"2007","unstructured":"Stevens, P.: Bidirectional model transformations in qvt: Semantic issues and open questions. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 1\u201315. Springer, Heidelberg (2007)"},{"key":"10_CR11","unstructured":"IBM United Kingdom Laboratories\u00a0Ltd., I.a.: Model transformation framework (mtf). IBM alphaWorks (2004), http:\/\/www.alphaworks.ibm.com\/tech\/mtf"},{"key":"10_CR12","unstructured":"OMG: Meta object facility 2.0 core final adopted specification. OMG (October 2003)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Cabot, J., Clariso, R., Riera, D.: Verification of uml\/ocl class diagrams using constraint programming. In: Model Driven Engineering, Verification, And Validation: Integrating Verification And Validation in MDE, MoDeVVA 2008 (2008)","DOI":"10.1109\/ICSTW.2008.54"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/3-540-45832-8_9","volume-title":"Graph Transformation","author":"A. Gerber","year":"2002","unstructured":"Gerber, A., Lawley, M., Raymond, K., Steel, J., Wood, A.: Transformation: The missing link of mda. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 90\u2013105. Springer, Heidelberg (2002)"},{"key":"10_CR15","volume-title":"Constraint Logic Programming using Eclipse","author":"K.R. Apt","year":"2007","unstructured":"Apt, K.R., Wallace, M.: Constraint Logic Programming using Eclipse. Cambridge University Press, New York (2007)"},{"key":"10_CR16","unstructured":"Jussien, N., Rochart, G., Lorca, X.: The choco constraint programming solver. In: CPAIOR 2008 workshop on Open-Source Software for Integer and Contraint Programming (OSSICP 2008), Paris, France (June 2008)"},{"key":"10_CR17","unstructured":"ikv++\u00a0technologies AG: Qvt medini. Internet, http:\/\/www.ikv.de\/ikv_movies\/mediniQVT.swf"},{"key":"10_CR18","unstructured":"Ehrig, K., Taentzer, G., Varro, D.: Tool integration by model transformations based on the eclipse modeling framework. Technical report, EASST Newsletter (2006)"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/978-3-540-46464-8_17","volume-title":"Theory and Application of Graph Transformations","author":"M. Rudolf","year":"2000","unstructured":"Rudolf, M.: Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol.\u00a01764, pp. 381\u2013394. Springer, Heidelberg (2000)"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-540-30203-2_21","volume-title":"Graph Transformations","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., Ehrig, K., Habel, A., Pennemann, K.H.: Constraints and application conditions: From graphs to high-level structures. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 287\u2013303. Springer, Heidelberg (2004)"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-540-87875-9_14","volume-title":"Model Driven Engineering Languages and Systems","author":"G. El-Boussaidi","year":"2008","unstructured":"El-Boussaidi, G., Mili, H.: Detecting patterns of poor design solutions using constraint propagation. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 189\u2013203. Springer, Heidelberg (2008)"},{"key":"10_CR22","unstructured":"Compuware-Corporation, SUN-Microsystems: Xmof queries, views and transformations on models using mof, ocl and patterns. OMG, OMG Document ad\/2003-08-07 (August 2003)"},{"key":"10_CR23","unstructured":"OMG: Mof 2.0 query \/ views \/ transformations rfp (April 2004)"},{"issue":"2","key":"10_CR24","first-page":"339","volume":"17","author":"L. Lengyel","year":"2005","unstructured":"Lengyel, L., Levendovszky, T., Charaf, H.: Constraint Validation Support in Visual Model Transformation Systems. Acta Cybernetica\u00a017(2), 339\u2013357 (2005)","journal-title":"Acta Cybernetica"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"White, J., Gray, J., Schmidt, D.C.: Constraint-based model weaving. In: Transactions on Aspect-Oriented Software Development (2009) (to appear)","DOI":"10.1007\/978-3-642-03764-1_5"},{"key":"10_CR26","first-page":"93","volume-title":"IUI 2004: Proceedings of the 9th international conference on Intelligent user interfaces","author":"K. Gajos","year":"2004","unstructured":"Gajos, K., Weld, D.S.: Supple: automatically generating user interfaces. In: IUI 2004: Proceedings of the 9th international conference on Intelligent user interfaces, pp. 93\u2013100. ACM Press, New York (2004)"},{"key":"10_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3425-1","volume-title":"Formal Methods in Human-Computer Interaction","author":"P. Palanque","year":"1998","unstructured":"Palanque, P., Paterno, F.: Formal Methods in Human-Computer Interaction. Springer, Berlin (1998) ISBN 978-3540761587"},{"key":"10_CR28","unstructured":"Browne, T., Davila, D., Rugaber, S., Stirewalt, R.E.K.: The mastermind user interface generation project. Technical report, Georgia Institute of Technology (1996)"},{"key":"10_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-69927-9_3","volume-title":"Theory and Practice of Model Transformations","author":"T. Hettel","year":"2008","unstructured":"Hettel, T., Lawley, M., Raymond, K.: Model synchronisation: Definitions for round-trip engineering. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 31\u201345. Springer, Heidelberg (2008)"},{"key":"10_CR30","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/EDOCW.2006.68","volume-title":"EDOCW 2006: Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops, Washington, DC, USA","author":"A. Cicchetti","year":"2006","unstructured":"Cicchetti, A., Di Ruscio, D., Eramo, R.: Towards propagation of changes by model approximations. In: EDOCW 2006: Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops, Washington, DC, USA, p. 24. IEEE Computer Society, Los Alamitos (2006)"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02408-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T23:24:56Z","timestamp":1558394696000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02408-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024078","9783642024085"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02408-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}