{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:53:56Z","timestamp":1742396036930},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642304750"},{"type":"electronic","value":"9783642304767"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30476-7_17","type":"book-chapter","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T11:29:43Z","timestamp":1337945383000},"page":"248-263","source":"Crossref","is-referenced-by-count":6,"title":["Constraint-Driven Modeling through Transformation"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Demuth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto E.","family":"Lopez-Herrejon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"17_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D.C. Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest editor\u2019s introduction: Model-driven engineering. IEEE Computer\u00a039(2), 25\u201331 (2006)","journal-title":"IEEE Computer"},{"issue":"5","key":"17_CR2","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MS.2003.1231150","volume":"20","author":"S. Sendall","year":"2003","unstructured":"Sendall, S., Kozaczynski, W.: Model transformation: The heart and soul of model-driven software development. IEEE Software\u00a020(5), 42\u201345 (2003)","journal-title":"IEEE Software"},{"issue":"3","key":"17_CR3","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":"17_CR4","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.entcs.2005.10.021","volume":"152","author":"T. Mens","year":"2006","unstructured":"Mens, T., Gorp, P.V.: A taxonomy of model transformation. Electr. Notes Theor. Comput. Sci.\u00a0152, 125\u2013142 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1-2","key":"17_CR5","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F. Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: A model transformation tool. Sci. Comput. Program.\u00a072(1-2), 31\u201339 (2008)","journal-title":"Sci. Comput. Program."},{"key":"17_CR6","unstructured":"Object Management Group, Query\/View\/Transformation (QVT), \n                    \n                      http:\/\/www.omg.org\/spec\/QVT\/"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Vierhauser, M., Gr\u00fcnbacher, P., Egyed, A., Rabiser, R., Heider, W.: Flexible and scalable consistency checking on product line variability models. In: ASE, pp. 63\u201372. ACM (2010)","DOI":"10.1145\/1858996.1859009"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-642-21732-6_14","volume-title":"Theory and Practice of Model Transformations","author":"M. Amstel van","year":"2011","unstructured":"van Amstel, M., Bosems, S., Kurtev, I., Ferreira Pires, L.: Performance in Model Transformations: Experiments with ATL and QVT. In: Cabot, J., Visser, E. (eds.) ICMT 2011. LNCS, vol.\u00a06707, pp. 198\u2013212. Springer, Heidelberg (2011)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/978-3-540-88643-3_10","volume-title":"Generative and Transformational Techniques in Software Engineering II","author":"P. Stevens","year":"2008","unstructured":"Stevens, P.: A Landscape of Bidirectional Model Transformations. In: L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2007. LNCS, vol.\u00a05235, pp. 408\u2013424. Springer, Heidelberg (2008)"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-02408-5_19","volume-title":"Theory and Practice of Model Transformations","author":"K. Czarnecki","year":"2009","unstructured":"Czarnecki, K., Foster, J.N., Hu, Z., L\u00e4mmel, R., Sch\u00fcrr, A., Terwilliger, J.F.: Bidirectional Transformations: A Cross-Discipline Perspective. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 260\u2013283. Springer, Heidelberg (2009)"},{"key":"17_CR11","unstructured":"Object Management Group, Object Constraint Language (OCL), \n                    \n                      http:\/\/www.omg.org\/spec\/OCL\/"},{"issue":"2","key":"17_CR12","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1109\/TSE.2010.38","volume":"37","author":"A. Egyed","year":"2011","unstructured":"Egyed, A.: Automatically detecting and tracking inconsistencies in software design models. IEEE Trans. Software Eng.\u00a037(2), 188\u2013204 (2011)","journal-title":"IEEE Trans. Software Eng."},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Demuth, A., Lopez-Herrejon, R.E., Egyed, A.: Cross-layer modeler: A tool for flexible multilevel modeling with consistency checking. In: ESEC\/SIGSOFT FSE, pp. 452\u2013455 (2011)","DOI":"10.1145\/2025113.2025189"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Reder, A., Egyed, A.: Model\/analyzer: a tool for detecting, visualizing and fixing design errors in UML. In: ASE, pp. 347\u2013348. ACM (2010)","DOI":"10.1145\/1858996.1859069"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-642-12029-9_15","volume-title":"Fundamental Approaches to Software Engineering","author":"I. Groher","year":"2010","unstructured":"Groher, I., Reder, A., Egyed, A.: Incremental Consistency Checking of Dynamic Constraints. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol.\u00a06013, pp. 203\u2013217. Springer, Heidelberg (2010)"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-642-21732-6_10","volume-title":"Theory and Practice of Model Transformations","author":"I. Sasano","year":"2011","unstructured":"Sasano, I., Hu, Z., Hidaka, S., Inaba, K., Kato, H., Nakano, K.: Toward Bidirectionalization of ATL with GRoundTram. In: Cabot, J., Visser, E. (eds.) ICMT 2011. LNCS, vol.\u00a06707, pp. 138\u2013151. Springer, Heidelberg (2011)"},{"key":"17_CR17","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":"17_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-19440-5_11","volume-title":"Software Language Engineering","author":"A. Cicchetti","year":"2011","unstructured":"Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: JTL: A Bidirectional and Change Propagating Transformation Language. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol.\u00a06563, pp. 183\u2013202. Springer, Heidelberg (2011)"},{"key":"17_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-13688-7_9","volume-title":"Theory and Practice of Model Transformations","author":"F. Jouault","year":"2010","unstructured":"Jouault, F., Tisi, M.: Towards Incremental Execution of ATL Transformations. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol.\u00a06142, pp. 123\u2013137. Springer, Heidelberg (2010)"},{"key":"17_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-24485-8_4","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Tisi","year":"2011","unstructured":"Tisi, M., Mart\u00ednez, S., Jouault, F., Cabot, J.: Lazy Execution of Model-to-Model Transformations. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 32\u201346. Springer, Heidelberg (2011)"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Hu, Z., Zhao, H., Song, H., Takeichi, M., Mei, H.: Supporting automatic model inconsistency fixing. In: ESEC\/SIGSOFT FSE, pp. 315\u2013324 (2009)","DOI":"10.1145\/1595696.1595757"},{"key":"17_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-16145-2_4","volume-title":"Model Driven Engineering Languages and Systems","author":"T. Saxena","year":"2010","unstructured":"Saxena, T., Karsai, G.: MDE-Based Approach for Generalizing Design Space Exploration. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part I. LNCS, vol.\u00a06394, pp. 46\u201360. Springer, Heidelberg (2010)"}],"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-30476-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T16:18:37Z","timestamp":1556813917000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30476-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642304750","9783642304767"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30476-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}