A view-oriented approach to system modelling based on graph transformation

  • Gregor Engels
  • Reiko Heckel
  • Gabi Taentzer
  • Hartmut Ehrig
Regular Sessions System Modeling
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1301)


The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specification technique based on graph transformations which supports such a development approach. The use of graphs and graph transformations supports an intuitive understanding and an integration of static and dynamic aspects on a well-defined semantical base. On this background, formal notions of view and view relation are developed and the behaviour of views is described by a loose semantics. We define a construction for automatic view integration which assumes that the dependencies between different views are described by a reference model. The views and the reference model are kept consistent manually, which is the task of a model manager. All concepts and results are illustrated at the well-known example of a banking system.


specification language view viewpoint view integration software process graph transformation systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AE96]
    M. Andries and uG. Engels. A hybrid query language for the extended entity relationship model. Journal of Visual Languages and Computing, 7(3):321–352, 1996. Special Issue on Visual Query Systems.Google Scholar
  2. [Bal96]
    R. Balzer. Current state and future perspectives of software process technology. Keynote Speech, Software Process (SP 96), Brighton, 2–6 December 1996.Google Scholar
  3. [BLN86]
    C. Batini, M. Lenzerini, and S. Navathe. A comparative analysis of methodologies for database schema integration. ACM Computing Surveys, 18(4):323–364, 1986.Google Scholar
  4. [CEL+96]
    A. Corradini, H. Ehrig, M. Lowe, U. Montanari, and J. Padberg. The category of typed graph grammars and their adjunction with categories of derivations. In 5th Int. Workshop on Graph Grammars and their Application to Computer Science, Williamsburg '94, LNCS 1073, pages 56–74, 1996.Google Scholar
  5. [Dat79]
    C.J. Date. An Introduction to Database Systems. Addison-Wesley, 1979.Google Scholar
  6. [FKN+92]
    A. Finkelstein, J. Kramer, B. Nuseibeh, M. Goedicke, and L. Finkelstein. Viewpoints: A framework for integrating multiple perspectives in system development. International Journal of Software Engineering and Knowledge Engineering, 2(1):31–58, March 1992.Google Scholar
  7. [HCEL96]
    R. Heckel, A. Corradini, H. Ehrig, and M. Lowe. Horizontal and vertical structuring of typed graph transformation systems. Math. Struc. in Comp. Science, 6(6):613–648, 1996. Also techn. report no 96-22, TU Berlin.Google Scholar
  8. [HEWC97]
    R. Heckel, H. Ehrig, U. Wolter, and A. Corradini. Integrating the specification techniques of graph transformation and temporal logic. In Proc. of MFCS'97, Bratislava, 1997. To appear.Google Scholar
  9. [Jac95]
    D. Jackson. Structuring Z specifications with views. ACM Transactions on Software Engineering and Methodology (TOSEM), 4(4):365–389, October 1995.Google Scholar
  10. [LB93]
    M. Lowe and M. Beyer. AGG-an implementation of algebraic graph rewriting. In Proc. Fifth Int. Conf. Rewriting Techniques and Applications, LNCS 690, pages 451–456. Springer Verlag, 1993.Google Scholar
  11. [LRP+96]
    T. Lewis, L. Rosenstein, W. Pree, A. Weinand, E. Gamma, P. Calder, G. Andert, J. Vlissides, and K. Schmucker. Object-oriented Application Frameworks. Prentice-Hall, 1996.Google Scholar
  12. [Nag96]
    M. Nagl, editor. Building Tightly Integrated Software Development Environments: The IPSEN Approach. LNCS 1170, Springer, 1996.Google Scholar
  13. [Rib96]
    L. Ribeiro. Parallel Composition and Unfolding Semantics of Graph Grammars. PhD thesis, TU Berlin, 1996.Google Scholar
  14. [Roz97]
    G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific, 1997.Google Scholar
  15. [Sch91]
    A. Schürr Progress: A vhl-language based on graph grammars. In 4th Int. Workshop on Graph Grammars and their Application to Computer Science, LNCS 532. Springer, 1991.Google Scholar
  16. [SWZ95]
    A. Schürr, A.J. Winter, and A. Zündorf. Graph grammar engineering with PROGRES. In W. Schäfer and P. Botella, editors, 5th European Software Engineering Conference (ESEC'95), Sitges, pages 219–234. Springer LNCS 989, September 1995.Google Scholar
  17. [Tae96]
    G. Taentzer. Modeling dynamic distributed object structures by graph transformation. Object Currents, 1(12), Dec. 1996. http: // taentzer.html.Google Scholar
  18. [Wag97]
    A. Wagner. A Formal Object Specification Technique Using Rule-Based Transformation of Partial Algebras. PhD thesis, TU Berlin, 1997.Google Scholar
  19. [Wes91]
    B. Westfechtel. Structure-oriented merging of revisions of software documents. In P. Feiler, editor, Proc. 3rd Int. Workshop on Software Configuration Management (SCM3) New York, pages 68–79. ACM Press, 1991.Google Scholar
  20. [Zam96]
    A. Zamperoni. GRIDS-graph-based integrated development of software: Integrating different perspectives of software engineering. In Proc. 18th International Conference on Software Engineering (ICSE), pages 48–59. IEEE CS Press, March 25–29 1996.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Gregor Engels
    • 1
  • Reiko Heckel
    • 2
  • Gabi Taentzer
    • 2
  • Hartmut Ehrig
    • 2
  1. 1.Dept. of Computer ScienceLeiden UniversityRA LeidenThe Netherlands
  2. 2.Dept. of Computer ScienceTechnical University of BerlinBerlinGermany

Personalised recommendations