Semantical correctness and completeness of model transformations using graph and rule transformation

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

Volumn 5214 LNCS, Issue , 2008, Pages 194-210

  Ehrig, Hartmut ^a   Ermel, Claudia ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DO-MAINS; GRAPH TRANSFORMATION RULES; MODEL TRANSFORMATIONS; OF GRAPHS; OPERATIONAL BEHAVIORS; ORIGINAL MODELS; PRODUCTION SYSTEMS; SOURCE MODELS; SOURCE SYSTEMS; TARGET MODELS; TARGET SYSTEMS; VISUAL LANGUAGES; VISUAL MODELS;

INFORMATION THEORY; MARINE BIOLOGY; PETRI NETS; TARGETS;

GRAPH THEORY;

EID: 56449119386     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87405-8_14     Document Type: Conference Paper

References (12)

1. Narayanan, A., Karsai, G.: Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations. In: Proc. Workshop on Graph and Model Transformation (GraMoT 2006). EC-EASST, EASST, vol. 4 (2006)
2. Ermel, C.: Simulation and Animation of Visual Languages based on Typed Algebraic Graph Transformation. PhD thesis, Technische Universitat Berlinfak, IV, Books on Demand, Norderstedt (2006)
3. Ermel, C., Ehrig, H., Ehrig, K.: Semantical Correctness of Simulation-to-Animation Model and Rule Transformation. In: Proc. Workshop on Graph and Model Transformation (GraMoT 2006). EC-EASST, vol. 4, EASST (2006)
4. Ermel, C., Ehrig, H.: Behavior-preserving simulation-to-animation model and rule transformation. In: Proc. Workshop on Graph Transformation for Verification and Concurrency (GT-VC 2007). ENTCS, vol. 213(1), pp. 55-74. Elsevier Science, Amsterdam (2008)
5. Ehrig, H., Ermel, C.: Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version. Technical Report 2008-13, TU Berlin (2008), http://iv.tu-berlin.de/TechnBerichte/2008/ 2008-13.pdf
6. de Lara, J., Vangheluwe, H.: Translating Model Simulators to Analysis Models. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 77-92. Springer, Heidelberg (2008)
7. Lara, J., Bardohl, R.., Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Attributed Graph Transformation with Node Type Inheritance. Theoretical Computer Science 376(3), 139-163 (2007)
8. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theor. Comp. Science. Springer, Heidelberg (2006)
9. Kreowski, H.-J.: A Comparison between Petri Nets and Graph Grammars. In: Noltemeier, H. (ed.) WG 1980. LNCS, vol. 100, pp. 1-19. Springer, Heidelberg (1981)
10. Ehrig, H., Ehrig, K.: Overview of Formal Concepts for Model Transformations based on Typed Attributed Graph Transformation. In: Proc. Workshop on Graph and Model Transformation (GraMoT 2005). ENTCS, vol. 152. Elsevier, Amsterdam (2005)
11. Varró, D.: Automated formal verification of visual modeling languages by model checking. Software and System Modeling 3(2), 85-113 (2004)
12. Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151-163. Springer, Heidelberg (1995)