2014 • In Amrani, Moussa; Syriani, Eugene; Wimmer, Manuel (Eds.) Proceedings of the Third International Workshop on Verification of Model Transformations - co-located with Software Technologies: Applications and Foundations (STAF 2014)
model transformation; completeness; graph grammars; constraints
Abstract :
[en] The analysis of model transformations is a challenging research area within model driven engineering. Triple graph grammars (TGGs) have been applied in various transformation scenarios and their formal foundation has been a vital ground for general results concerning
notions of correctness and completeness.
This paper addresses existing gaps between practical scenarios and the formal results of TGGs concerning the notion of completeness. Since the source domain language of a model transformation is usually specified independently from the TGG, we use the notion of domain completeness, which requires that the model transformation has to provide a corresponding
target model for each model of the source domain language. As main result, we provide a general method for showing that the source domain language is included in the language that is generated by the source rules of the TGG. This provides the first of two components for
verifying domain completeness. The running example is the well studied object-relational mapping.
Disciplines :
Computer science
Author, co-author :
Nachtigall, Nico ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Hermann, Frank ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Braatz, Benjamin ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Engel, Thomas ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars
Publication date :
2014
Event name :
3rd International Workshop on Verification of Model Transformations 2014 (VOLT'14)
Event organizer :
Moussa Amrani, Eugene Syriani, Manuel Wimmer
Event place :
York, United Kingdom
Event date :
21-07-2014
Audience :
International
Main work title :
Proceedings of the Third International Workshop on Verification of Model Transformations - co-located with Software Technologies: Applications and Foundations (STAF 2014)
Schurr, A.: Specification of graph translators with triple graph grammars. In: Graph-Theoretic Concepts in Computer Science. Volume 903 of LNCS., Springer (1994) 151-163
Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information preserving bidirectional model transformations. In: Fundamental Approaches to Software Engineering. Volume 4422 of LNCS., Springer (2007) 72-86
Schurr, A., Klar, F.: 15 Years of Triple Graph Grammars. In: Proc. ICGT'08. Volume 5214 of LNCS. (2008) 411-425
Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y., Gottmann, S., Engel, T.: Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Software & Systems Modeling (2013) 1-29
Object Management Group: Object Constraint Language, Version 2.2. (2010)
Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. in Computer Science 19 (2009) 1-52
Ehrig, H., Golas, U., Hermann, F.: Categorical Frameworks for Graph Transformation and HLR Systems based on the DPO Approach. Bulletin of the EATCS 102 (2010) 111-121
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer (2006)
Bezivin, J., Rumpe, B., Schuerr, A., Tratt, L.: Model transformations in practice workshop. In Bruel, J.M., ed.: Satellite Events at the MoDELS 2005 Conference. Volume 3844. Springer (January 2006) 120-127
Hermann, F., Ehrig, H., Golas, U., Orejas, F.: Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars. In Bezivin, J., Soley, R., Vallecillo, A., eds.: MDI'10, ACM (2010) 22-31
Ehrig, H., Ermel, C., Hermann, F.: Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. In Wirsing, M., Chechik, M., eds.: Proc. International Conference on Fundamental Aspects of Software Engineering (FASE'09). Volume 5503 of LNCS., Springer (2009) 325-339
Nachtigall, N., Hermann, F., Braatz, B., Engel, T.: Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars - Extended Version. Technical Report TR-SnT-2014-14, University of Luxembourg, SnT (2014)
TFS-Group, TU Berlin: AGG. (2014) http://www.tfs.tu-berlin.de/agg.
Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y.: Correctness of model synchronization based on triple graph grammars-extended version. Technical Report 2011-07, TU Berlin, Fak. IV (2011)
Giese, H., Hildebrandt, S., Lambers, L.: Bridging the gap between formal semantics and implementation of triple graph grammars. Software & Systems Modeling 13(1) (2014) 273-299
de Lara, J., Guerra, E.: Pattern-Based Model-to-Model Transformation. In Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G., eds.: Proc. 4th Int. Conf. on Graph Transformations (ICGT 2008). Volume 5214 of LNCS., Springer (2008) 426-441
Orejas, F., Guerra, E., de Lara, J., Ehrig, H.: Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. In Kurz, A., Lenisa, M., Tarlecki, A., eds.: Int. Conf. on Algebra and Coalgebra in Computer Science (CALCO'09). Volume 5728 of LNCS., Springer (2009) 383-397
Cabot, J., Clariso, R., Guerra, E., de Lara, J.: Verification and validation of declarative model-to-model transformations through invariants. J. Syst. Softw. 83(2) (February 2010) 283-302