{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T19:26:37Z","timestamp":1725737197389},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642390128"},{"type":"electronic","value":"9783642390135"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39013-5_9","type":"book-chapter","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T08:30:46Z","timestamp":1372149046000},"page":"118-133","source":"Crossref","is-referenced-by-count":7,"title":["Using Model Types to Support Contract-Aware Model Substitutability"],"prefix":"10.1007","author":[{"given":"Wuliang","family":"Sun","sequence":"first","affiliation":[]},{"given":"Benoit","family":"Combemale","sequence":"additional","affiliation":[]},{"given":"Steven","family":"Derrien","sequence":"additional","affiliation":[]},{"given":"Robert B.","family":"France","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Steel, J., J\u00e9z\u00e9quel, J.M.: On model typing. SoSyM\u00a06(4) (2007)","DOI":"10.1007\/s10270-006-0036-6"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"9_CR3","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":"9_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":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-642-16145-2_2","volume-title":"Model Driven Engineering Languages and Systems","author":"J. Lara de","year":"2010","unstructured":"de Lara, J., Guerra, E.: Generic meta-modelling with concepts, templates and mixin layers. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part I. LNCS, vol.\u00a06394, pp. 16\u201330. Springer, Heidelberg (2010)"},{"key":"9_CR6","unstructured":"OMG: UML Object Constraint Language (OCL) 2.0 Specification (2003)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/978-3-642-31491-9_30","volume-title":"Modelling Foundations and Applications","author":"C. Guy","year":"2012","unstructured":"Guy, C., Combemale, B., Derrien, S., Steel, J.R.H., J\u00e9z\u00e9quel, J.-M.: On Model Subtyping. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., St\u00f6rrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol.\u00a07349, pp. 400\u2013415. Springer, Heidelberg (2012)"},{"issue":"10","key":"9_CR8","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying design by contract. Computer\u00a025(10), 40\u201351 (1992)","journal-title":"Computer"},{"key":"9_CR9","unstructured":"OMG: Meta Object Facility (MOF) 2.0 Core Specification (2006)"},{"key":"9_CR10","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":"9_CR11","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\u00a025(2) (2003)","DOI":"10.1145\/641888.641891"},{"issue":"6","key":"9_CR12","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B. Liskov","year":"1994","unstructured":"Liskov, B., Wing, J.: A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a016(6), 1811\u20131841 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"issue":"2","key":"9_CR13","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 (TOSEM)\u00a011(2), 256\u2013290 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Sun, W., France, R., Ray, I.: Rigorous analysis of uml access control policy models. In: IEEE POLICY, pp. 9\u201316 (2011)","DOI":"10.1109\/POLICY.2011.30"},{"issue":"1","key":"9_CR15","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","volume":"9","author":"K. Anastasakis","year":"2010","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from uml to alloy. Software and Systems Modeling\u00a09(1), 69\u201386 (2010)","journal-title":"Software and Systems Modeling"},{"key":"9_CR16","unstructured":"Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework. Addison-Wesley Professional (2008)"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11557432_19","volume-title":"Model Driven Engineering Languages and Systems","author":"P.-A. Muller","year":"2005","unstructured":"Muller, P.-A., Fleurey, F., J\u00e9z\u00e9quel, J.-M.: Weaving executability into object-oriented meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 264\u2013278. Springer, Heidelberg (2005)"},{"key":"9_CR18","unstructured":"Meyer, B.: Design by contract. the eiffel method. In: Proceedings of the Technology of Object-Oriented Languages, TOOLS 26, pp. 446\u2013446 (1998)"},{"key":"9_CR19","unstructured":"K\u00fchne, T.: On model compatibility with referees and contexts. Software & Systems Modeling, 1\u201314 (2012)"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-75209-7_3","volume-title":"Model Driven Engineering Languages and Systems","author":"B. Vanhooff","year":"2007","unstructured":"Vanhooff, B., Ayed, D., Van Baelen, S., Joosen, W., Berbers, Y.: Uniti: A unified transformation infrastructure. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 31\u201345. Springer, Heidelberg (2007)"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Aranega, V., Etien, A., Mosser, S.: Using feature model to build model transformation chains. Model Driven Engineering Languages and Systems, 562\u2013578 (2012)","DOI":"10.1007\/978-3-642-33666-9_36"},{"key":"9_CR22","unstructured":"Yie, A., Casallas, R., Deridder, D., Wagelaar, D.: Realizing model transformation chain interoperability. Software and Systems Modeling, 1\u201321 (2012)"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39013-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:37:38Z","timestamp":1558301858000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39013-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390128","9783642390135"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39013-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}