Visual design of software architecture and evolution based on graph transformation

Electronic Notes in Theoretical Computer Science

Volumn 44, Issue 4, 2001, Pages 52-66

  Ermel, C ^a   Bardohl, R ^a   Padberg, J ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; GRAPH THEORY; MATHEMATICAL MODELS; SEMANTICS;

DATA STORE; GRAPH TRANSFORMATION; MODELING FORMALISMS; SOFTWARE ARCHITECTURES;

COMPUTER SOFTWARE;

EID: 18944395419     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80943-5     Document Type: Conference Paper

References (22)

1. R. Bardohl. Visual Definition of Visual Languages based on Algebraic Graph Transformation. PhD thesis, Technische Universitát Berlin, 1999. Published by Verlag Dr. Kovac, 2000.
2. Donohe P. Software Architecture. 1999;Kluwer Academic Publishers
3. Ehrig H., Heckel R., Korff M., Löwe M., Ribeiro L., Wagner A., Corradini A. Algebraic Approaches to Graph Transformation II: Single Pushout Approach and Comparison with Double Pushout Approach. Rozenberg G. Handbook of Graph Grammars and Computing by Graph Transformation, volume 1: Foundations, chapter 4. 1997;247-312 World Scientific
4. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1985.
5. Ermel C., Rudolf M., Taentzer G. The AGG-Approach: Language and Tool Environment. Ehrig H., Engels G., Kreowski J.-J., Rozenberg G. Handbook of Graph Grammars and Computing by Graph Transformation, volume 2: Applications, Languages and Tools. 1999;551-603 World Scientific
6. H. Fahmy and R. Holt. Using Graph Rewriting to Specify Software Architectural Transformations. In Proc. of Automated Software Engineering (ASE 2000), 2000.
7. H. Giese, J. Graf, and G. Wirtz. Modeling Distributed Software Systems with Object Coordination Nets. In Proc. Int. Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'98), Kyoto, Japan, pages 107-116, July 1998.
8. M. Goedicke, T. Meyer, and G. Taentzer. ViewPoint-oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies. In Proc. 4th IEEE Int. Symposium on Requirements Engineering (RE'99), June 7-11, 1999, University of Limerick, Ireland. IEEE Computer Society, 1999. ISBN 0-7695-0188-5.
9. P. Griebel. Paralleles Lösen von grafischen Constraints. PhD thesis, University of Paderborn, Germany, February 1996.
10. M. Große-Rhode, R. Kutsche, and F. Bübl. Concepts for the Evolution of Component-Based Software Systems. Technical Report TR-2000/11, FB Informatik, TU Berlin, 2000.
11. D. Hirsch, P. Inverardi, and U. Montanari. Graph Grammars and Constraint Solving for Software Architecture Styles. In Proc. Int. Software Architecture Workshop (ISAW'98), 1998.
12. D. Hirsch, P. Inverardi, and U. Montanari. Modeling Software Architectures and Styles with Graph Grammars and Constraint Solving. In Proc. First Working IFIP Conference on Software Architecture (WICSA1'99), 1999.
13. Hofmeister C., Nord R., Soni D. Describing Software Architecture in UML. 1999;145-159 Kluwer Academic Publishers
14. Issarny V., Bellissard L., Riveill M., Zarras A. Component-Based Programming of Distributed Applications. Distributed Systems. LNCS 1752 :2000;327-353 Springer-Verlag
15. J. Kramer and J. Magee. Analysing Dynamic Change in Software Architectures:A Case Study. In Proc. of 4th Int. Conference on Configurable Distributed Systems (ICCDS'98), Annapolis, USA, 1998.
16. Padberg J., Ehrig H., Ribeiro L. Algebraic High-Level Net Transformation Systems. Mathematical Structures in Computer Science. 5:1995;217-256
17. J. Padberg, L. Jansen, H. Ehrig, E. Schnieder, and R. Heckel. Cooperability in Train Control Systems Specification of Scenarios Using Open Nets. Journal of Integrated Design and Process Technology, 2000.
18. H. Störrle and M. Wirsing. Formal Analysis of Architectural Models. In Proc. GI-Workshop "Rigorose Entwicklung software-intensiver Systeme", pages 33-42, Berlin, 2000.
19. Szyperski C. Component Software. 1998;Addison Wesley, Reading/MA
20. Taentzer G. Distributed graphs and graph transformation. Applied Categorical Structures. 1999
21. G. Taentzer and H. Ehrig. Semantics of distributed system specifications based on graph transformation. In GI Workshop "Rigorose Entwicklung software- intensiver Systeme", Berlin, 2000.
22. Wermelinger M., Fiadeiro J. A Graph Transformation Approach to Software Architecture Reconfiguration. Ehrig H., Taentzer G. Proc. Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems (GRATRA 'OO). 2000;TU, Berlin, FB Informatik, TR 2000-2. Accepted to Journal of Science of Computer Programming