AToM3: A Tool for Multi-formalism and Meta-modelling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Database Systems Concepts
A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views
VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Advanced model transformation language constructs in the VIATRA2 framework
Proceedings of the 2006 ACM symposium on Applied computing
Visual specification of measurements and redesigns for domain specific visual languages
Journal of Visual Languages and Computing
On the relationship of model transformations based on triple and plain graph grammars
Proceedings of the third international workshop on Graph and model transformations
Opportunities and challenges for traceable graph rewriting systems
Proceedings of the third international workshop on Graph and model transformations
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
15 Years of Triple Graph Grammars
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Domain Specific Languages with Graphical and Textual Views
Applications of Graph Transformations with Industrial Relevance
Supporting user-oriented analysis for multi-view domain-specific visual languages
Information and Software Technology
On Integrating OCL and Triple Graph Grammars
Models in Software Engineering
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
A transformation-driven approach to the verification of security policies in web designs
ICWE'07 Proceedings of the 7th international conference on Web engineering
Information and Software Technology
Proceedings of the First International Workshop on Model-Driven Interoperability
How far can enterprise modeling for banking be supported by graph transformation?
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Formal analysis of functional behaviour for model transformations based on triple graph grammars
ICGT'10 Proceedings of the 5th international conference on Graph transformations
A framework for evolution of modelling languages
Science of Computer Programming
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Towards a distributed modeling process based on composite models
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Proceedings of the Eleventh ACM International Conference on Embedded Software
Hi-index | 0.00 |
In this paper, we present our approach for model view management in the context of Multi-View Visual Languages (MVVLs). These are made of a number of diagram types (or viewpoints) that can be used for the specification of the different aspects of a system. Therefore, the user can build different system views conform to the viewpoints, which are merged in a repository in order to perform consistency checking. In addition, the user can define derived views by means of graph query patterns in order to extract information from a base model (a system view or the repository). We have provided automatic mechanisms to keep synchronized the base model and the derived view when the former changes. Predefined queries by the MVVL designer result in so-called audience-oriented views. Finally, semantic views are used for analysing the system by its translation into a semantic domain. Our approach is based on meta-modelling to describe the syntax of the MVVL and each viewpoint, and on triple graph transformation systems to synchronize and maintain correspondences between the system views and the repository, as well as between the derived, audience-oriented and semantic views and the base models. We illustrate these concepts by means of an example in the domain of security for web systems.