Abstract
Where object-oriented languages deal with objects as described by classes, model-driven development uses models, as graphs of interconnected objects, described by metamodels. A number of new languages have been and continue to be developed for this model-based paradigm, both for model transformation and for general programming using models. Many of these use single-object approaches to typing, derived from solutions found in object-oriented systems, while others use metamodels as model types, but without a clear notion of polymorphism. Both of these approaches lead to brittle and overly restrictive reuse characteristics. In this paper we propose a simple extension to object-oriented typing to better cater for a model-oriented context, including a simple strategy for typing models as a collection of interconnected objects. Using a simple example we show how this extended approach permits more flexible reuse, while preserving type safety.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)
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. 2306, pp. 143–158. Springer, Heidelberg (2002)
Bézivin, J., Jouault, F., Valduriez, P.: On the need for megamodels. In: OOPSLA and GPCE Workshop on Best Practices for Model Driven Software Development
Bierman, G., Wren, A.: First-class relationships in an object-oriented language. In: Foundations of Object-Oriented Languages (FOOL 2005) (2005)
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)
Bruce, K.B.: Some challenging typing issues in object-oriented languages. Electr. Notes Theor. Comput. Sci. 82(7) (2003)
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)
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–199. ACM Press, New York (2004)
Ernst, E.: Family polymorphism. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 303–326. Springer, Heidelberg (2001)
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. 2505, pp. 90–105. Springer, Heidelberg (2002)
LaLonde, W., Pugh, J.: Subclassing ≠ subtyping ≠ is-a. Journal of Object-Oriented Programming 3(5), 57–62 (1991)
Object Management Group. Enterprise collaboration architecture (ECA). OMG Document no. formal/2004-02-01 (2004)
QVT-Merge Group. Revised submission for MOF 2.0 Query/Views/Transformations RFP. OMG document number ad/2005-03-02 (March 2005)
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)
Steel, J., Jézéquel, J.-M.: Typing relationships in MDA. In: Akehurst, D.H. (ed.) Second European Workshop on Model-Driven Architecture, EWMDA-2 (2004)
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–160 (2004)
Vojtisek, D., Jézéquel, J.-M.: MTL and umlaut NG - engine and framework for model transformation. ERCIM news (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Steel, J., Jézéquel, JM. (2005). Model Typing for Improving Reuse in Model-Driven Engineering. In: Briand, L., Williams, C. (eds) Model Driven Engineering Languages and Systems. MODELS 2005. Lecture Notes in Computer Science, vol 3713. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11557432_7
Download citation
DOI: https://doi.org/10.1007/11557432_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29010-0
Online ISBN: 978-3-540-32057-9
eBook Packages: Computer ScienceComputer Science (R0)