{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:55Z","timestamp":1762459015059},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642314902"},{"type":"electronic","value":"9783642314919"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31491-9_30","type":"book-chapter","created":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T17:28:19Z","timestamp":1340299699000},"page":"400-415","source":"Crossref","is-referenced-by-count":40,"title":["On Model Subtyping"],"prefix":"10.1007","author":[{"given":"Cl\u00e9ment","family":"Guy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beno\u00eet","family":"Combemale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Derrien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim R. H.","family":"Steel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marc","family":"J\u00e9z\u00e9quel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/978-3-540-30187-5_21","volume-title":"<\u2009<UML>\u2009> 2004 - The Unified Modeling Language","author":"D. Varr\u00f3","year":"2004","unstructured":"Varr\u00f3, D., Pataricza, A.: Generic and Meta-transformations for Model Transformation Engineering. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol.\u00a03273, pp. 290\u2013304. Springer, Heidelberg (2004)"},{"key":"30_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-540-72901-3_6","volume-title":"Model Driven Architecture - Foundations and Applications","author":"A. Cuccuru","year":"2007","unstructured":"Cuccuru, A., Mraidha, C., Terrier, F., G\u00e9rard, S.: Templatable Metamodels for Semantic Variation Points. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) ECMDA-FA. LNCS, vol.\u00a04530, pp. 68\u201382. Springer, Heidelberg (2007)"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"Steel, J., J\u00e9z\u00e9quel, J.M.: On model typing. SoSyM 6(4) (2007)","DOI":"10.1007\/s10270-006-0036-6"},{"key":"30_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-540-69927-9_12","volume-title":"Theory and Practice of Model Transformations","author":"J. S\u00e1nchez Cuadrado","year":"2008","unstructured":"S\u00e1nchez Cuadrado, J., Garc\u00eda Molina, J.: Approaches for Model Transformation Reuse: Factorization and Composition. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 168\u2013182. Springer, Heidelberg (2008)"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Sen, S., Moha, N., Mah\u00e9, V., Barais, O., Baudry, B., J\u00e9z\u00e9quel, J.-M.: Reusable model transformations. SoSyM\u00a011(1) (2010)","DOI":"10.1007\/s10270-010-0181-9"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"de Lara, J., Guerra, E.: From types to type requirements: genericity for model-driven engineering. SoSyM (2011)","DOI":"10.1007\/s10270-011-0221-0"},{"key":"30_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-642-21732-6_5","volume-title":"Theory and Practice of Model Transformations","author":"J. S\u00e1nchez Cuadrado","year":"2011","unstructured":"S\u00e1nchez Cuadrado, J., Guerra, E., de Lara, J.: Generic Model Transformations: Write Once, Reuse Everywhere. In: Cabot, J., Visser, E. (eds.) ICMT 2011. LNCS, vol.\u00a06707, pp. 62\u201377. Springer, Heidelberg (2011)"},{"key":"30_CR8","unstructured":"Wimmer, M., Kusel, A., Retschitzegger, W., Sch\u00f6nb\u00f6ck, J., Schwinger, W., Cuadrado, J., Guerra, E., de Lara, J.: Reusing model transformations across heterogeneous metamodels. In: International Workshop on Multi-Paradigm Modeling (2011)"},{"key":"30_CR9","unstructured":"Kerboeuf, M., Babau, J.-P.: A DSML for reversible transformations. In: OOPSLA Workshop on Domain-Specific Modeling (2011)"},{"key":"30_CR10","unstructured":"Babau, J.-P., Kerboeuf, M.: Domain Specific Language Modeling Facilities. In: MoDELS Workshop on Models and Evolution (2011)"},{"key":"30_CR11","unstructured":"Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, 2nd edn. Addison-Wesley (2006)"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL (1977)","DOI":"10.1145\/512950.512973"},{"key":"30_CR13","unstructured":"OMG: Meta Object Facility (MOF) 2.0 Core Specification (2006)"},{"key":"30_CR14","unstructured":"OMG: UML Object Constraint Language (OCL) 2.0 Specification (2003)"},{"key":"30_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/3-540-45337-7_17","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"E. Ernst","year":"2001","unstructured":"Ernst, E.: Family Polymorphism. In: Lindskov Knudsen, J. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 303\u2013326. Springer, Heidelberg (2001)"},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"K\u00fchne, T.: On model compatibility with referees and contexts. SoSyM (2012)","DOI":"10.1007\/s10270-012-0241-4"},{"key":"30_CR17","doi-asserted-by":"crossref","unstructured":"Bruce, K.B., Schuett, A., van Gent, R., Fiech, A.: Polytoil: A type-safe polymorphic object-oriented language. ACM TOPLAS 25(2) (2003)","DOI":"10.1145\/641888.641891"},{"key":"30_CR18","unstructured":"Steel, J.: Typage de mod\u00e8les. PhD thesis, Universit\u00e9 de Rennes 1 (April 2007)"},{"key":"30_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-642-21210-9_15","volume-title":"Models in Software Engineering","author":"M. Wimmer","year":"2011","unstructured":"Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schoenboeck, J., Schwinger, W.: From the Heterogeneity Jungle to Systematic Benchmarking. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol.\u00a06627, pp. 150\u2013164. Springer, Heidelberg (2011)"},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"Mens, T., Gorp, P.V.: A taxonomy of model transformation. Electronic Notes in Theoretical Computer Science 152 (2006)","DOI":"10.1016\/j.entcs.2005.10.022"},{"key":"30_CR21","doi-asserted-by":"crossref","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM TOPLAS 29(3) (2007)","DOI":"10.1145\/1232420.1232424"},{"key":"30_CR22","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":"30_CR23","unstructured":"Hu, Z., Sch\u00fcrr, A., Stevens, P., Terwilliger, J.F.: Bidirectional transformation \u201dbx\u201d (dagstuhl seminar 11031). Dagstuhl Reports 1(1) (2011)"},{"key":"30_CR24","doi-asserted-by":"crossref","unstructured":"Jeanneret, C., Glinz, M., Baudry, B.: Estimating footprints of model operations. In: ICSE (2011)","DOI":"10.1145\/1985793.1985875"},{"key":"30_CR25","doi-asserted-by":"crossref","unstructured":"Vignaga, A., Jouault, F., Bastarrica, M., Bruneli\u00e9re, H.: Typing artifacts in megamodeling. SoSyM (2011)","DOI":"10.1007\/s10270-011-0191-2"}],"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-31491-9_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:03:35Z","timestamp":1620115415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31491-9_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642314902","9783642314919"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31491-9_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}