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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1301, Issue , 1997, Pages 327-343

  Engels, Gregor ^a   Heckel, Reiko ^b   Taentzer, Gabi ^b   Ehrig, Hartmut ^b  

^a LEIDEN UNIVERSITY   (Netherlands)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Graph transformation systems; Software process; Specification language; View; View integration; Viewpoint

Indexed keywords

GRAPH THEORY; INTEGRATION; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS;

GRAPH TRANSFORMATION SYSTEM; SOFTWARE PROCESS; VIEW; VIEW INTEGRATIONS; VIEWPOINT;

SOFTWARE ENGINEERING;

EID: 84949455089     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63531-9_23     Document Type: Conference Paper

References (20)

1. M. Andries and G. 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.
2. R. Balzer. Current state and future perspectives of software process technology. Keynote Speech, Software Process (SP 96), Brighton, 2-6 December 1996.
3. C. Batini, M. Lenzerini, and S. Navathe. A comparative analysis of methodologies for database schema integration. ACM Computing Surveys, 18(4):323-364, 1986.
4. A. Corradini, H. Ehrig, M. Löwe, U. Montanan, 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.
5. C.J. Date. An Introduction to Database Systems. Addison-Wesley, 1979.
6. A. Pinkelstein, 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.
7. R. Heckel, A. Corradini, H. Ehrig, and M. Löwe, 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.
8. 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.
9. D. Jackson. Structuring Z specifications with views. ACM Transactions on Software Engineering and Methodology (TOSEM), 4(4):365-389, October 1995.
10. M. Löwe 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.
11. 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.
12. M. Nagl, editor. Building Tightly Integrated Software Development Environments: The IPSEN Approach. LNCS 1170, Springer, 1996.
13. L. Ribeiro. Parallel Composition and Unfolding Semantics of Graph Grammars. PhD thesis, TU Berlin, 1996.
14. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific, 1997.
15. 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.
16. 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.
17. G. Taentzer. Modeling dynamic distributed object structures by graph transformation. Object Currents, 1(12), Dec. 1996. http://www.sigs.eom/publications/docs/oc/9612/oc9701.f.taentzer.html.
18. A. Wagner. A Formal Object Specification Technique Using Rule-Based Transformation of Partial Algebras. PhD thesis, TU Berlin, 1997.
19. 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.
20. 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.