Introduction
Model transformations, utilized for various tasks, such as formal model analysis or code generation are key elements of model-driven development processes. As the complexity of developed model transformations grows, ensuring the correctness of transformation programs becomes increasingly difficult. Nonetheless, error detection is critical as errors can propagate into the target application.
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 subscriptionsReferences
Baldan, P., Corradini, A., Heindel, T., Knig, B., Sobociski, P.: Unfolding Grammars in Adhesive Categories. In: Kurz, A., Lenisa, M., Tarlecki, A. (eds.) CALCO 2009. LNCS, vol. 5728, pp. 350–366. Springer, Heidelberg (2009)
Bauer, J., Wilhelm, R.: Static Analysis of Dynamic Communication Systems by Partner Abstraction. In: Static Analysis, pp. 249–264. Springer, Heidelberg (2007)
Caseau, Y.: Efficient handling of multiple inheritance hierarchies. In: OOPSLA 1993: Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 271–287. ACM, New York (1993)
Meyer, B.: Applying ‘design by contract’. Computer 25(10), 40–51 (1992)
Pennemann, K.: Resolution-Like theorem proving for High-Level conditions. In: Graph Transformations, pp. 289–304. Springer, Heidelberg (2008)
Rensink, A., Distefano, D.: Abstract Graph Transformation. Electronic Notes in Theoretical Computer Science 157(1), 39–59 (2006)
Sen, S., Moha, N., Baudry, B., Jézéquel, J.: Meta-model Pruning. In: Model Driven Engineering Languages and Systems, pp. 32–46. Springer, Heidelberg (2009)
Ujhelyi, Z., Horváth, A., Varró, D.: Static Type Checking of Model Transformations by Constraint Satisfaction Programming. Technical Report TUB-TR-09-EE20, Budapest University of Technology and Economics (June 2009)
Varró, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program. 68(3), 214–234 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ujhelyi, Z. (2010). Static Type Checking of Model Transformation Programs. In: Ehrig, H., Rensink, A., Rozenberg, G., Schürr, A. (eds) Graph Transformations. ICGT 2010. Lecture Notes in Computer Science, vol 6372. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15928-2_36
Download citation
DOI: https://doi.org/10.1007/978-3-642-15928-2_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15927-5
Online ISBN: 978-3-642-15928-2
eBook Packages: Computer ScienceComputer Science (R0)