Static type checking of model transformation programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6372 LNCS, Issue , 2010, Pages 413-415

  Ujhelyi, Zoltán ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

CODE GENERATION; DEVELOPED MODEL; FORMAL MODEL; KEY ELEMENTS; MODEL DRIVEN DEVELOPMENT; MODEL TRANSFORMATION; STATIC TYPE CHECKING; TARGET APPLICATION; TRANSFORMATION PROGRAM;

ERROR DETECTION; GRAPH THEORY;

MODEL CHECKING;

EID: 78649812309     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15928-2_36     Document Type: Conference Paper

References (9)

1. 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)
2. Bauer, J., Wilhelm, R.: Static Analysis of Dynamic Communication Systems by Partner Abstraction. In: Static Analysis, pp. 249-264. Springer, Heidelberg (2007)
3. 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)
4. Meyer, B.: Applying 'design by contract'. Computer 25(10), 40-51 (1992)
5. Pennemann, K.: Resolution-Like theorem proving for High-Level conditions. In: Graph Transformations, pp. 289-304. Springer, Heidelberg (2008)
6. Rensink, A., Distefano, D.: Abstract Graph Transformation. Electronic Notes in Theoretical Computer Science 157(1), 39-59 (2006)
7. 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)
8. 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)
9. Varró, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program. 68(3), 214-234 (2007)