UPPAAL—a tool suite for automatic verification of real-time systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Efficient on-the-fly algorithms for the analysis of timed games
CONCUR 2005 - Concurrency Theory
Model transformation in the large
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
On Integrating OCL and Triple Graph Grammars
Models in Software Engineering
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
S2A: a compiler for multi-modal UML sequence diagrams
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Formal analysis of functional behaviour for model transformations based on triple graph grammars
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Extended triple graph grammars with efficient and compatible graph translators
Graph transformations and model-driven engineering
Model synchronization at work: keeping SysML and AUTOSAR models consistent
Graph transformations and model-driven engineering
A comparison of rule inheritance in model-to-model transformation languages
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
MOFLON: a standard-compliant metamodeling framework with graph transformations
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
| Hi-index | 0.00 |
Declarative model transformation languages like QVT-R and TGGs are particularly convenient because mappings between models can be specified in a rule-based way, describing how patterns in one model correspond to patterns in another. The same mapping specification can be used for different transformation and synchronization scenarios, which are important in model-based software engineering. However, even though these languages already exist for a while, they are not widely used in practice today. One reason for that is that these languages often do not provide sufficiently rich features to cope with many problems that occur in practice. We report on a complex model transformation that we have solved by TGGs. We present advanced extensions of the TGG language that we have integrated in our tool, the TGG Interpreter.