{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:07:57Z","timestamp":1725566877258},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290100"},{"type":"electronic","value":"9783540320579"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11557432_7","type":"book-chapter","created":{"date-parts":[[2005,11,2]],"date-time":"2005-11-02T03:43:26Z","timestamp":1130903006000},"page":"84-96","source":"Crossref","is-referenced-by-count":7,"title":["Model Typing for Improving Reuse in Model-Driven Engineering"],"prefix":"10.1007","author":[{"given":"Jim","family":"Steel","sequence":"first","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":"7_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., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/3-540-45923-5_10","volume-title":"Fundamental Approaches to Software Engineering","author":"M. Belaunde","year":"2002","unstructured":"Belaunde, M., Peltier, M.: From edoc components to ccm components: A precise mapping specification. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 143\u2013158. Springer, Heidelberg (2002)"},{"key":"7_CR3","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"},{"key":"7_CR4","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":"7_CR5","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"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Bruce, K.B.: Some challenging typing issues in object-oriented languages. Electr. Notes Theor. Comput. Sci.\u00a082(7) (2003)","DOI":"10.1016\/S1571-0661(04)80799-0"},{"key":"7_CR7","volume-title":"Transformation of Knowledge, Information, and Data: Theory and Applications","author":"K. Duddy","year":"2004","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, USA (2004)"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1145\/1029894.1029921","volume-title":"SIGSOFT 2004\/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering","author":"J. Edwards","year":"2004","unstructured":"Edwards, J., Jackson, D., Torlak, E.: A type system for object models. In: SIGSOFT 2004\/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, pp. 189\u2013199. ACM Press, New York (2004)"},{"key":"7_CR9","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: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 303\u2013326. Springer, Heidelberg (2001)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/3-540-45832-8_9","volume-title":"Graph Transformation","author":"A. Gerber","year":"2002","unstructured":"Gerber, A., Lawley, M.J., Raymond, K., Steel, J., Wood, A.: Transformation: The missing link of MDA. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 90\u2013105. Springer, Heidelberg (2002)"},{"issue":"5","key":"7_CR11","first-page":"57","volume":"3","author":"W. LaLonde","year":"1991","unstructured":"LaLonde, W., Pugh, J.: Subclassing \u2260 subtyping \u2260 is-a. Journal of Object-Oriented Programming\u00a03(5), 57\u201362 (1991)","journal-title":"Journal of Object-Oriented Programming"},{"key":"7_CR12","unstructured":"Object Management Group. Enterprise collaboration architecture (ECA). OMG Document no. formal\/2004-02-01 (2004)"},{"key":"7_CR13","unstructured":"QVT-Merge Group. Revised submission for MOF 2.0 Query\/Views\/Transformations RFP. OMG document number ad\/2005-03-02 (March 2005)"},{"key":"7_CR14","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":"7_CR15","unstructured":"Steel, J., J\u00e9z\u00e9quel, J.-M.: Typing relationships in MDA. In: Akehurst, D.H. (ed.) Second European Workshop on Model-Driven Architecture, EWMDA-2 (2004)"},{"key":"7_CR16","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":"7_CR17","unstructured":"Vojtisek, D., J\u00e9z\u00e9quel, J.-M.: MTL and umlaut NG - engine and framework for model transformation. ERCIM news (2004)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11557432_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:48:25Z","timestamp":1605624505000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11557432_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290100","9783540320579"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11557432_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}