Abstract
Model management is essential for coping with the complexity introduced by the increasing number and varied nature of artifacts involved in MDE-based projects. Global Model Management (GMM) addresses this issue enabling the representation of artifacts, particularly transformation composition and execution, by a model called a megamodel. Typing information about artifacts can be used for preventing type errors during execution. In this work, we present a type system for GMM that improves its current typing approach and enables formal reasoning about the type of artifacts within a megamodel. This type system is able to capture non-trivial situations such as the use of higher order transformations.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
AM3 Project. Internet (2009), http://www.eclipse.org/gmt/am3/
ATL Transformations Zoo. Internet (2009), http://www.eclipse.org/m2m/atl/atlTransformations/
Barbero, M., Jouault, F., Bézivin, J.: Model Driven Management of Complex Systems: Implementing the Macroscope’s Vision. In: 15th ECBS 2008. IEEE, Los Alamitos (2008)
Bézivin, J., Büttner, F., Gogolla, M., Jouault, F., Kurtev, I., Lindow, A.: Model Transformations? Transformation Models! In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 440–453. Springer, Heidelberg (2006)
Bézivin, J., Jouault, F.: KM3: a DSL for Metamodel Specification. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 171–185. Springer, Heidelberg (2006)
Bézivin, J., Jouault, F., Rosenthal, P., Valduriez, P.: Modeling in the Large and Modeling in the Small. In: Aßmann, U., Aksit, M., Rensink, A. (eds.) MDAFA 2003. LNCS, vol. 3599, pp. 33–46. Springer, Heidelberg (2005)
Cardelli, L.: Typechecking Dependent Types and Subtypes. In: Boscarol, M., Levi, G., Aiello, L.C. (eds.) Foundations of Logic and Functional Programming. LNCS, vol. 306, pp. 45–57. Springer, Heidelberg (1988)
Cardelli, L.: Type Systems. In: Tucker, A.B. (ed.) The Computer Science and Engineering Handbook, pp. 2208–2236. CRC Press, Boca Raton (1997)
Czarnecki, K., Helsen, S.: Feature-based Survey of Model Transformation Approaches. IBM Systems Journal 45(3), 621–646 (2006)
Favre, J.-M.: Towards a Basic Theory to Model Model Driven Engineering. In: 3rd Workshop in Software Model Engineering, Lisbon, Portugal (2004)
Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A Model Transformation Tool. Sci. Comput. Program. 72(1-2), 31–39 (2008)
Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)
MODELPLEX IST-FP6 European Project. Internet (2009), https://www.modelplex-ist.org/
Paulin-Mohring, C.: Le Système Coq. Thèse d’habilitation, ENS Lyon (1997)
Poernomo, I.: A Type Theoretic Framework for Formal Metamodelling. In: Reussner, R., Stafford, J.A., Szyperski, C. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol. 3938, pp. 262–298. Springer, Heidelberg (2006)
Steel, J., Jézéquel, J.-M.: On Model Typing. Software and System Modeling 6(4), 401–413 (2007)
The Coq Proof Assistant Reference Manual. Version 8.2 (2009), http://coq.inria.fr/doc-eng.html
Vanhooff, B., Ayed, D., Baelen, S.V., Joosen, W., Berbers, Y.: UniTI: A Unified Transformation Infrastructure. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 31–45. Springer, Heidelberg (2007)
Werner, B.: Une Théorie des Constructions Inductives. Thèse de doctorat, Université Paris 7 (1994)
Willink, E.D.: OMELET: Exploiting Meta-Models as Type Systems. In: Akehurst, D.H. (ed.) 2nd European Workshop on MDA, pp. 160–164. University of Kent (2004)
Wright, A.K., Felleisen, M.: A Syntactic Approach to Type Soundness. Inf. Comput. 115(1), 38–94 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vignaga, A., Jouault, F., Bastarrica, M.C., Brunelière, H. (2009). Typing in Model Management. In: Paige, R.F. (eds) Theory and Practice of Model Transformations. ICMT 2009. Lecture Notes in Computer Science, vol 5563. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02408-5_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-02408-5_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02407-8
Online ISBN: 978-3-642-02408-5
eBook Packages: Computer ScienceComputer Science (R0)