Model View Management with Triple Graph Transformation Systems
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.
KeywordsSystem View Query Pattern Semantic View Positive Restriction Role Attribute
Unable to display preview. Download preview PDF.
- 1.Balogh, A., Varró, D.: Advanced Model Transformation Language Constructs in the VIATRA2 Framework. In: ACM SAC 2006 (to appear, 2006)Google Scholar
- 3.Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)Google Scholar
- 4.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)Google Scholar
- 5.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)Google Scholar
- 6.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
- 7.Heckel, R., Wagner, A.: Ensuring consistency of conditional graph rewriting - a constructive approach. In: Proc. SEGRAGRA 1995. ENTCS, vol. 2 (1995)Google Scholar
- 8.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)Google Scholar
- 9.Jensen, K.: Coloured Petri Nets. Basic Concepts, analysis methods and practical use. EATCS Monogr. on Theoretical Computer Science, vol.1. Springer, Heidelberg (1992)Google Scholar
- 10.Kozankiewicz, H., Subieta, K.: SBQL Views - Prototype of Updateable Views. In: Proc. Advances in Databases and Information Systems (ADBIS) (2004)Google Scholar
- 11.QVT specification by OMG: http://www.omg.org/docs/ptc/05-11-01.pdf
- 13.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)Google Scholar
- 14.Silberschatz, A., Korth, H., Sudarshan, S.: Database System Concepts, 5th edn. McGraw Hill, New York (2005)Google Scholar
- 15.Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edn. Pearson Education, Boston (2003)Google Scholar