Abstract
Model transformations operate on models conforming to precisely defined metamodels. Consequently, it often seems relatively easy to chain them: the output of a transformation may be given as input to a second one if metamodels match. However, this simple rule has some obvious limitations. For instance, a transformation may only use a subset of a metamodel. Therefore, chaining transformations appropriately requires more information.
We present here an approach that automatically discovers more detailed information about actual chaining constraints by statically analyzing transformations. The objective is to provide developers who decide to chain transformations with more data on which to base their choices. This approach has been successfully applied to the case of a library of endogenous transformations. They all have the same source and target metamodel but have some hidden chaining constraints. In such a case, the simple metamodel matching rule given above does not provide any useful information.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
ATLAS Transformation Language (ATL) Library (2009), http://www.eclipse.org/m2m/atl/atlTransformations/
Apt, K.R., Wallace, M.: Constraint Logic Programming using Eclipse. Cambridge University Press, New York (2007)
Bézivin, J.: On the unification power of models. Software and System Modeling 4(2), 171–188 (2005)
Chenouard, R., Granvilliers, L., Soto, R.: Model-Driven Constraint Programming. In: Proceedings of ACM SIGPLAN PPDP, Valencia, Spain, pp. 236–246. ACM Press, New York (2008)
Chenouard, R., Granvilliers, L., Soto, R.: Rewriting Constraint Models with Metamodels. In: Proceedings of SARA2009. AAAI Press, Menlo Park (2009)
Didonet Del Fabro, M., Bézivin, J., Jouault, F., Valduriez, P.: Applying generic model management to data mapping. In: Proceedings of the Journées Bases de Données Avancées, BDA 2005 (2005)
Frisch, A.M., Grum, M., Jefferson, C., Hernández, B.M., Miguel, I.
Van Hentenryck, P.: The OPL Optimization Programming Language. The MIT Press, Cambridge (1999)
Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: Atl: a model transformation tool. Science of Computer Programming 72(3), 31–39 (2008); Special Issue on Second issue of experimental software and toolkits (EST)
Jouault, F., Bézivin, J.: Km3: a dsl for metamodel specification. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 171–185. Springer, Heidelberg (2006)
Jouault, F., Kurtev, I.: On the architectural alignment of atl and qvt. In: Proceedings of the, ACM Symposium on Applied Computing (SAC 2006), Dijon, France, pp. 1188–1195. ACM Press, New York (2006)
Jouault, F., Kurtev, I.: Transforming models with atl. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)
Marriott, K., Nethercote, N., Rafeh, R., Stuckey, P.J., de la Banda, M.G., Wallace, M.: The Design of the Zinc Modelling Language. Constraints 13(3), 229–267 (2008)
Puget, J.-F.: A C++ Implementation of CLP. In: Proceedings of SPICIS 1994, Singapore (1994)
Puget, J.-F.: Constraint Programming Next Challenge: Simplicity of Use. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 5–8. Springer, Heidelberg (2004)
Rossi, F., van Beek, P., Walsh, T.: Handbook of Constraint Programming (Foundations of Artificial Intelligence). Elsevier Science Inc., New York (2006)
Schulte, C., Tack, G.: Views and Iterators for Generic Constraint Implementations. In: Hnich, B., Carlsson, M., Fages, F., Rossi, F. (eds.) CSCLP 2005. LNCS (LNAI), vol. 3978, pp. 118–132. Springer, Heidelberg (2006)
Soto, R., Granvilliers, L.: The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models. In: Proceedings of ICTAI, pp. 243–250. IEEE Computer Society, Los Alamitos (2007)
Tisi, M., Jouault, F., Fraternali, P., Ceri, S., Bézivin, J.: On the use of higher-order model transformations. In: Proceedings of the Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA), pp. 18–33 (2009)
Vépa, E., Bézivin, J., Brunelière, H., Jouault, F.: Measuring model repositories. In: Proceedings of the Model Size Metrics Workshop at the MoDELS/UML 2006 conference, Genoava, Italy (2006)
Vignaga, A., Jouault, F., Bastarrica, M.C., Brunelière, H.: Typing in Model Management. In: Proceedings of ICMT 2009, Zurich, Switzerland, pp. 197–212 (2009)
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
Chenouard, R., Jouault, F. (2009). Automatically Discovering Hidden Transformation Chaining Constraints. In: Schürr, A., Selic, B. (eds) Model Driven Engineering Languages and Systems. MODELS 2009. Lecture Notes in Computer Science, vol 5795. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04425-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-04425-0_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04424-3
Online ISBN: 978-3-642-04425-0
eBook Packages: Computer ScienceComputer Science (R0)