A combined reference model- and view-based approach to system specification

International Journal of Software Engineering and Knowledge Engineering

Volumn 7, Issue 4, 1997, Pages 457-477

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

^a UNIVERSITY OF PADERBORN   (Germany)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

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

Indexed keywords

EID: 0000650278     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194097000266     Document Type: Article

References (23)

1. T. Lewis, L. Rosenstein, W. Pree, A. Weinand, E. Gamma, P. Calder, G. Andert, J. Vlissides, and K. Schmucker, Object-oriented Application Frameworks, PrenticeHall, 1996.
2. C. J. Date, An Introduction to Database Systems, Addison-Wesley, 1979.
3. A. Finkelstein, J. Kramer, B. Nuseibeh, M. Goedicke, and L. Finkelstein, "Viewpoints: A framework for integrating multiple perspectives in system development", Int. J. of Software Engineering and Knowledge Engineering 2, 1 (1992) 31-58.
4. R. Balzer, "Current state and future perspectives of software process technology", Keynote Speech, Software Process (SP 96), Brighton, 2-6 December 1996.
5. A. Corradini, H. Ehrig, M. Löwe, 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, Springer LNCS 1073, 1996, pp. 56-74.
6. R. Heckel, A. Corradini, H. Ehrig, and M. Löwe, "Horizontal and vertical structuring of typed graph transformation systems", Math. Struc. in Comput. Science 6, 6 (1996) 613-648. Also as tech. report no. 96-22, TU Berlin.
7. L. Ribeiro, Parallel Composition and Unfolding Semantics of Graph Grammars, PhD thesis, TU Berlin, 1996.
8. R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, "Loose semantics and constraints for graph transformation systems", Technical Report 97-07, TU Berlin, 1997. http://www.cs.tu-berlin.de/cs/ifb/TechnBerichteListe.html. Submitted for publication.
9. G. Rozenberg, ed., Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations, World Scientific, 1997.
10. M. Nagl, ed., Building Tightly Integrated Software Development Environments: The IPSEN Approach, Springer LNCS 1170, 1996.
11. A. Zamperoni, "GRIDS -Graph-based integrated development of software: Integrating different perspectives of software engineering", in Proc. 18th Int. Conf. on Software Engineering (ICSE), IEEE CS Press, 1996, pp. 48-59.
12. M. Andries and G. Engels, "A hybrid query language for the extended entity relationship model", Journal of Visual Languages and Computing 7, 3 (1996) 321-352. Special Issue on Visual Query Systems.
13. 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, Springer LNCS 989, 1995, pp. 219-234.
14. A. Schürr, "Progress: A vhl-language based on graph grammars", in 4th Int. Workshop on Graph Grammars and Their Application to Computer Science, Springer LNCS 532, 1991, pp. 641-659.
15. M. Löwe and M. Beyer, "AGG - An implementation of algebraic graph rewriting", in Proc. Fifth Int. Conf. on Rewriting Techniques and Applications, Springer LNCS 690, 1993, pp. 451-456.
16. G. Taentzer, "Modeling dynamic distributed object structures by graph transformation", Object Currents 1, 12 (1996). http://www.sigs.com/publications/docs/ oc/9612/oc9701.f.taentzer.html.
17. A. Wagner, A Formal Object Specification Technique Using Rule-Based Transformation of Partial Algebras, PhD thesis, TU Berlin, 1997.
18. C. Batini, M. Lenzerini, and S. Navathe, "A comparative analysis of methodologies for database schema integration", ACM Computing Surveys 18, 4 (1986) 323-364.
19. D. Jackson, "Structuring Z specifications with views", ACM Transactions on Software Engineering and Methodology (TOSEM) 4, 4 (1995) 365-389.
20. A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe, "Algebraic approaches to graph transformation I: Basic concepts and double pushout approach", in G. Rozenberg, ed., Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations, World Scientific, 1997, pp. 163-246.
21. 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.
22. B. Westfechtel, "Structure-oriented merging of revisions of software documents", in P. Feiler, ed., Proc. 3rd Int. Workshop on Software Configuration Management (SCM3), ACM Press, New York, 1991, pp. 68-79.
23. G. Engels, R. Heckel, G. Taentzer, and H. Ehrig, "A view-oriented approach to system modeling based on graph transformation", in Proc. of ESEC/FSE'97, Zurich, Springer LNCS 1301, 1997.