Abstract
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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Balogh, A., Varró, D.: Advanced Model Transformation Language Constructs in the VIATRA2 Framework. In: ACM SAC 2006 (to appear, 2006)
de Lara, J., Vangheluwe, H.: AToM3: A Tool for Multi-Formalism Modelling and Meta-Modelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 174–188. Springer, Heidelberg (2002)
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)
Ferraiolo, D., Cugini, J., Kuhn, D.R.: Role-Based Access Control (RBAC): Features and Motivations. In: Computer Security Applications, pp. 241–248. Springer, Heidelberg (1995)
Guerra, E., Díaz, P., de Lara, J.: A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views. In: Proc. IEEE VL/HCC, pp. 284–286 (2005)
Guerra, E., de Lara, J.: Attributed Typed Triple Graph Transformation with Inheritance in the Double Pushout Approach. Tech. Rep. Universidad Carlos III (2006), available at : http://www.ii.uam.es/jlara/investigacion/techRep_UC3M.pdf
Heckel, R., Wagner, A.: Ensuring consistency of conditional graph rewriting - a constructive approach. In: Proc. SEGRAGRA 1995. ENTCS, vol. 2 (1995)
Jakob, J., Schürr, A.: View Creation of Meta Models by Using Modified Triple Graph Grammars. In: Proc. GT-VMT 2006. ENTCS. Elsevier, Amsterdam (to appear, 2006)
Jensen, K.: Coloured Petri Nets. Basic Concepts, analysis methods and practical use. EATCS Monogr. on Theoretical Computer Science, vol.1. Springer, Heidelberg (1992)
Kozankiewicz, H., Subieta, K.: SBQL Views - Prototype of Updateable Views. In: Proc. Advances in Databases and Information Systems (ADBIS) (2004)
QVT specification by OMG: http://www.omg.org/docs/ptc/05-11-01.pdf
Rensink, A.: Representing First-Order Logic Using Graphs. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 319–335. Springer, Heidelberg (2004)
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)
Silberschatz, A., Korth, H., Sudarshan, S.: Database System Concepts, 5th edn. McGraw Hill, New York (2005)
Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edn. Pearson Education, Boston (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guerra, E., de Lara, J. (2006). Model View Management with Triple Graph Transformation Systems. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds) Graph Transformations. ICGT 2006. Lecture Notes in Computer Science, vol 4178. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11841883_25
Download citation
DOI: https://doi.org/10.1007/11841883_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38870-8
Online ISBN: 978-3-540-38872-2
eBook Packages: Computer ScienceComputer Science (R0)