Advertisement

Model View Management with Triple Graph Transformation Systems

  • Esther Guerra
  • Juan de Lara
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4178)

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.

Keywords

System View Query Pattern Semantic View Positive Restriction Role Attribute 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Balogh, A., Varró, D.: Advanced Model Transformation Language Constructs in the VIATRA2 Framework. In: ACM SAC 2006 (to appear, 2006)Google Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 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. 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. 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. 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. 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. 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. 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. 10.
    Kozankiewicz, H., Subieta, K.: SBQL Views - Prototype of Updateable Views. In: Proc. Advances in Databases and Information Systems (ADBIS) (2004)Google Scholar
  11. 11.
    QVT specification by OMG: http://www.omg.org/docs/ptc/05-11-01.pdf
  12. 12.
    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)CrossRefGoogle Scholar
  13. 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. 14.
    Silberschatz, A., Korth, H., Sudarshan, S.: Database System Concepts, 5th edn. McGraw Hill, New York (2005)Google Scholar
  15. 15.
    Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edn. Pearson Education, Boston (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Esther Guerra
    • 1
  • Juan de Lara
    • 2
  1. 1.Computer Science DepartmentUniversidad Carlos III de MadridSpain
  2. 2.Polytechnic SchoolUniversidad Autónoma de MadridSpain

Personalised recommendations