{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:33:10Z","timestamp":1761597190411},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642120282"},{"type":"electronic","value":"9783642120299"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12029-9_2","type":"book-chapter","created":{"date-parts":[[2010,3,8]],"date-time":"2010-03-08T00:56:48Z","timestamp":1268009808000},"page":"13-28","source":"Crossref","is-referenced-by-count":5,"title":["A Formalisation of Constraint-Aware Model Transformations"],"prefix":"10.1007","author":[{"given":"Adrian","family":"Rutle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Rossini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yngve","family":"Lamo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Wolter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Biermann, E., Ehrig, K., K\u00f6hler, C., Kuhns, G., Taentzer, G., Weiss, E.: EMF Model Refactoring based on Graph Transformation Concepts. ECEASST\u00a03 (2006)"},{"key":"2_CR2","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-642-02571-6_7","volume-title":"TOOLS Europe 2009: 47 th International Conference on Objects, Components, Models and Patterns","author":"A. Boronat","year":"2009","unstructured":"Boronat, A., Meseguer, J.: Algebraic Semantics of OCL-Constrained Metamodel Specifications. In: Oriol, M., Meyer, B. (eds.) TOOLS Europe 2009: 47\n                    th\n                   International Conference on Objects, Components, Models and Patterns. LNBIP, vol.\u00a033, pp. 96\u2013115. Springer, Heidelberg (2009)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-69927-9_16","volume-title":"Theory and Practice of Model Transformations","author":"J. Cabot","year":"2008","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: Analysing Graph Transformation Rules through OCL. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 229\u2013244. Springer, Heidelberg (2008)"},{"key":"2_CR4","unstructured":"Czarnecki, K., Helsen, S.: Classification of Model Transformation Approaches. In: OOPSLA 2003: 2\n                    nd\n                   Workshop on Generative Techniques in the Context of MDA (2003)"},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/978-94-017-2740-2_8","volume-title":"Practical foundations of business system specifications","author":"Z. Diskin","year":"2003","unstructured":"Diskin, Z.: Mathematics of UML: Making the Odysseys of UML less dramatic. In: Practical foundations of business system specifications, pp. 145\u2013178. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"2_CR6","unstructured":"Diskin, Z., Dingel, J.: A metamodel Independent Framework for Model Transformation: Towards Generic Model Management Patterns in Reverse Engineering. Technical Report 1\/2006, ATEM 2006, Johannes Gutenberg Universit\u00e4t Mainz, Germany (October 2006)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-71289-3_7","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Ehrig","year":"2007","unstructured":"Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information Preserving Bidirectional Model Transformations. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol.\u00a04422, pp. 72\u201386. Springer, Heidelberg (2007)"},{"key":"2_CR8","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)"},{"key":"2_CR9","volume-title":"Categories for Software Engineering","author":"J.L. Fiadeiro","year":"2004","unstructured":"Fiadeiro, J.L.: Categories for Software Engineering. Springer, Heidelberg (2004)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/11581741_15","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"F. Fondement","year":"2005","unstructured":"Fondement, F., Baar, T.: Making Metamodels Aware of Concrete Syntax. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, pp. 190\u2013204. Springer, Heidelberg (2005)"},{"key":"2_CR11","volume-title":"MDA Explained: The Model Driven Architecture: Practice and Promise","author":"A.G. Kleppe","year":"2003","unstructured":"Kleppe, A.G., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)"},{"issue":"1","key":"2_CR12","first-page":"113","volume":"148","author":"A. K\u00f6nigs","year":"2006","unstructured":"K\u00f6nigs, A., Sch\u00fcrr, A.: Tool Integration with Triple Graph Grammars \u2013 A Survey. ENTCS\u00a0148(1), 113\u2013150 (2006)","journal-title":"ENTCS"},{"issue":"2","key":"2_CR13","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"},{"issue":"1","key":"2_CR14","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10270-007-0056-x","volume":"7","author":"S. Markovi\u0107","year":"2008","unstructured":"Markovi\u0107, S., Baar, T.: Refactoring OCL annotated UML class diagrams. Software and System Modeling\u00a07(1), 25\u201347 (2008)","journal-title":"Software and System Modeling"},{"key":"2_CR15","first-page":"125","volume":"152","author":"T. Mens","year":"2006","unstructured":"Mens, T., Gorp, P.V.: A Taxonomy of Model Transformation. ENTCS\u00a0152, 125\u2013142 (2006)","journal-title":"ENTCS"},{"key":"2_CR16","unstructured":"Object Management Group: Meta-Object Facility Specification (January 2006), \n                    \n                      http:\/\/www.omg.org\/cgi-bin\/doc?formal\/2006-01-01"},{"key":"2_CR17","unstructured":"Object Management Group: Unified Modeling Language Specification (February 2009), \n                    \n                      http:\/\/www.omg.org\/cgi-bin\/doc?formal\/2009-02-04"},{"key":"2_CR18","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., M\u00fchlh\u00e4user, M.: Solving Constraints in Model Transformations. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 132\u2013147. Springer, Heidelberg (2009)"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/11786160_15","volume-title":"Architecting Systems with Trustworthy Components","author":"I.H. Poernomo","year":"2006","unstructured":"Poernomo, I.H.: A Type Theoretic Framework for Formal Metamodelling. In: Reussner, R., Stafford, J.A., Szyperski, C. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol.\u00a03938, pp. 262\u2013298. Springer, Heidelberg (2006)"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-642-00593-0_5","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Rutle","year":"2009","unstructured":"Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A Category-Theoretical Approach to the Formalisation of Version Control in MDE. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 64\u201378. Springer, Heidelberg (2009)"},{"key":"2_CR21","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-02571-6_4","volume-title":"TOOLS Europe 2009: 47 th International Conference on Objects, Components, Models and Patterns","author":"A. Rutle","year":"2009","unstructured":"Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A Diagrammatic Formalisation of MOF-Based Modelling Languages. In: Brakhage, H. (ed.) TOOLS Europe 2009: 47\n                    th\n                   International Conference on Objects, Components, Models and Patterns. LNBIP, vol.\u00a033, pp. 37\u201356. Springer, Heidelberg (2009)"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1621087.1621105","volume-title":"EATIS 2008: Euro American Conference on Telematics and Information Systems","author":"A. Rutle","year":"2008","unstructured":"Rutle, A., Wolter, U., Lamo, Y.: A Diagrammatic Approach to Model Transformations. In: EATIS 2008: Euro American Conference on Telematics and Information Systems, pp. 1\u20138. ACM, New York (2008)"},{"issue":"5","key":"2_CR23","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"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12029-9_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:46:53Z","timestamp":1606186013000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12029-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642120282","9783642120299"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12029-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}