Abstract
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.
Research partially supported by the German Research Council (DFG), the TMR network GETGRATS, and the ESPRIT Basic Research Working Group APPLIGRAPH
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
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.
R. Balzer. Current state and future perspectives of software process technology. Keynote Speech, Software Process (SP 96), Brighton, 2–6 December 1996.
C. Batini, M. Lenzerini, and S. Navathe. A comparative analysis of methodologies for database schema integration. ACM Computing Surveys, 18(4):323–364, 1986.
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.
C.J. Date. An Introduction to Database Systems. Addison-Wesley, 1979.
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.
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.
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.
D. Jackson. Structuring Z specifications with views. ACM Transactions on Software Engineering and Methodology (TOSEM), 4(4):365–389, October 1995.
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.
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.
M. Nagl, editor. Building Tightly Integrated Software Development Environments: The IPSEN Approach. LNCS 1170, Springer, 1996.
L. Ribeiro. Parallel Composition and Unfolding Semantics of Graph Grammars. PhD thesis, TU Berlin, 1996.
G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific, 1997.
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.
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.
G. Taentzer. Modeling dynamic distributed object structures by graph transformation. Object Currents, 1(12), Dec. 1996. http: //www.sigs.com/publications/docs/oc/9612/oc9701.f. taentzer.html.
A. Wagner. A Formal Object Specification Technique Using Rule-Based Transformation of Partial Algebras. PhD thesis, TU Berlin, 1997.
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.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Engels, G., Heckel, R., Taentzer, G., Ehrig, H. (1997). A view-oriented approach to system modelling based on graph transformation. In: Jazayeri, M., Schauer, H. (eds) Software Engineering — ESEC/FSE'97. ESEC SIGSOFT FSE 1997 1997. Lecture Notes in Computer Science, vol 1301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63531-9_23
Download citation
DOI: https://doi.org/10.1007/3-540-63531-9_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63531-4
Online ISBN: 978-3-540-69592-9
eBook Packages: Springer Book Archive