{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:56:02Z","timestamp":1756000562982},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2007,1,16]],"date-time":"2007-01-16T00:00:00Z","timestamp":1168905600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2007,11,20]]},"DOI":"10.1007\/s10270-006-0036-6","type":"journal-article","created":{"date-parts":[[2007,1,16]],"date-time":"2007-01-16T20:15:38Z","timestamp":1168978538000},"page":"401-413","source":"Crossref","is-referenced-by-count":71,"title":["On model typing"],"prefix":"10.1007","volume":"6","author":[{"given":"Jim","family":"Steel","sequence":"first","affiliation":[]},{"given":"Jean-Marc","family":"J\u00e9z\u00e9quel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,1,16]]},"reference":[{"key":"36_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi M. and Cardelli L. (1996). A Theory of Objects. Springer, Berlin"},{"key":"36_CR2","unstructured":"B\u00e9zivin, J., Jouault, F., Valduriez, P.: On the need for megamodels. In: OOPSLA and GPCE Workshop on Best Practices for Model Driven Software Development (2004)"},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"Bierman, G., Wren, A.: First-class relationships in an object-oriented language. In: Foundations of Object- Oriented Languages (FOOL 2005) (2005)","DOI":"10.1007\/11531142_12"},{"key":"36_CR4","doi-asserted-by":"crossref","unstructured":"Blanc, X.: Gervais, M.P., Sriplakich, P.: Model bus: Towards the interoperability of modelling tools. In: Model Driven Architecture: Foundations and Applications (MDAFA 2004) (2004)","DOI":"10.1007\/11538097_2"},{"issue":"7","key":"36_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S1571-0661(04)80799-0","volume":"82","author":"K.B. Bruce","year":"2003","unstructured":"Bruce K.B. (2003). Some challenging typing issues in object- oriented languages. Electr. Notes Theor. Comput. Sci. 82(7): 1\u201329","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"2","key":"36_CR6","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1145\/641888.641891","volume":"25","author":"K.B. Bruce","year":"2003","unstructured":"Bruce K.B., Schuett A., van Gent R. and Fiech A. (2003). Polytoil: a type-safe polymorphic object-oriented language. ACM Trans. Program. Lang. Syst. 25(2): 225\u2013290","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"36_CR7","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1016\/S1571-0661(04)80066-5","volume":"20","author":"K.B. Bruce","year":"1999","unstructured":"Bruce K.B. and Vanderwaart J. (1999). Semantics-driven language design: Statically type-safe virtual types in object-oriented languages. Electr. Notes Theor. Comput. Sci. 20: 50\u201375","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"36_CR8","volume-title":"Eclipse Modeling Framework Eclipse Series","author":"F. Budinsky","year":"2003","unstructured":"Budinsky F., Steinberg D., Merks E., Ellersick R. and Grose T.J. (2003). Eclipse Modeling Framework Eclipse Series. Addison-Wesley, Reading"},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"Duddy, K., Gerber, A., Lawley, M.J., Raymond, K., Steel, J.: Model transformation: A declarative, reusable patterns approach. In: Proceedings of 7th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2003, pp. 174\u2013195, Brisbane, Australia (2003)","DOI":"10.1109\/EDOC.2003.1233847"},{"key":"36_CR10","unstructured":"Duddy, K., Gerber, A., Lawley, M.J., Raymond, K., Steel, J.: Declarative transformation for object-oriented models. In: van Bommel, P. (ed.) Transformation of Knowledge, Information, and Data: Theory and Applications. Idea Group Publishing, Hershey, PA (2004)"},{"key":"36_CR11","doi-asserted-by":"crossref","unstructured":"Edwards, J., Jackson, D., Torlak, E.: A type system for object models. In: SIGSOFT \u201904\/FSE-12: Proceedings of the 12th ACM SIGSOFT 12th International Symposium on Foundations of Software Engineering pp. 189\u2013199. ACM Press, New York (2004)","DOI":"10.1145\/1029894.1029921"},{"key":"36_CR12","doi-asserted-by":"crossref","unstructured":"Ernst, E.: Family polymorphism. In: ECOOP \u201901: Proceedings of the 15th European Conference on Object-oriented Programming. pp. 303\u2013326. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-45337-7_17"},{"key":"36_CR13","doi-asserted-by":"crossref","unstructured":"Gerber, A., Lawley, M.J., Raymond, K., Steel, J., Wood, A.: Transformation: the missing link of MDA. In: Proceedings of 1st International Conference on Graph Transformation, ICGT\u201902, vol. 2505 of Lecture Notes in Computer Science, pp. 90\u2013105. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45832-8_9"},{"issue":"5","key":"36_CR14","first-page":"57","volume":"3","author":"W. LaLonde","year":"1991","unstructured":"LaLonde W. and Pugh J. (1991). Subclassing \u2260\u00a0 subtyping \u2260\u00a0 is-a. J. Object-Oriented Program. 3(5): 57\u201362","journal-title":"J. Object-Oriented Program."},{"key":"36_CR15","doi-asserted-by":"crossref","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, vol. 3713 of Lecture Notes in Computer Science pp. 264\u2013278. Springer Heidelberg (2005)","DOI":"10.1007\/11557432_19"},{"key":"36_CR16","unstructured":"Object Management Group: Enterprise collaboration architecture (ECA). OMG Document no. formal\/2004-02-01 (2004)"},{"key":"36_CR17","unstructured":"QVT-Merge Group: Revised submission for MOF 2.0 Query\/Views\/Transformations RFP. OMG document number ad\/2005-03-02 (2005)"},{"key":"36_CR18","unstructured":"Sendall, S.: Combining generative and graph transformation techniques for model transformation: an effective alliance? In: Proceedings of 2nd OOPSLA Workshop on Generative Techniques in the context of Model Driven Architecture (2003)"},{"key":"36_CR19","doi-asserted-by":"crossref","unstructured":"Steel, J., Lawley, M.: Model-based test driven development of the tefkat model-transformation engine. In: 15th International Symposium on Software Reliability Engineering (ISSRE 2004) pp. 151\u2013160 (2004)","DOI":"10.1109\/ISSRE.2004.23"},{"key":"36_CR20","unstructured":"Tobin-Hochstadt, S., Allen, E.: A core calculus of metaclasses. In: Fundamentals of Object-Oriented Languages (FOOL) (2005)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-006-0036-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-006-0036-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-006-0036-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T11:55:23Z","timestamp":1559130923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-006-0036-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1,16]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,11,20]]}},"alternative-id":["36"],"URL":"https:\/\/doi.org\/10.1007\/s10270-006-0036-6","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1,16]]}}}