Automated software architecture evolution with hypergraph transformation

Proceedings of the IASTED International Conference on Software Engineering and Applications

Volumn 7, Issue , 2003, Pages 613-620

  Grunske, Lars ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

Architecture Specification and Evolution; Hypergraph Transformation; Non Functional Properties

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA STRUCTURES; GRAPH THEORY; KNOWLEDGE ENGINEERING; RELIABILITY; SPECIFICATIONS;

ARCHITECTURE SPECIFICATION AND EVOLUTION; HYPERGRAPH TRANSFORMATION; NON-FUNCTIONAL PROPERTIES;

SOFTWARE ENGINEERING;

EID: 1542748195     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. P. Liggesmeyer, Qualitätssicherung software-intensiver technischer Systeme(Heidelberg: Spektrum-Akademischer-Verlag, 2000).
2. J. Bosch und P. Molin, Software Architecture Design, Evaluation and Transformation, IEEE Engineering of Computer Based Systems Symposium, 1999.
3. A.Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe, Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach, in Rozenberg G. (Ed.), Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations (Singapore: World Scientific Publisher, 1997), 163-245.
4. A. Habel, Hyperedge Replacement: Grammars and Languages, Lecture Notes in Computer Science, No. 643, Berlin: Springer, 1992).
5. B. Hoffmann, Shapely Hierarchical Graph Transformation, Proc. Symposium on Visual Languages and Formal Methods, September 5-7, 2001, Stresa, Lago Maggiore, Italy, IEEE Press, 2001, pp. 30-37.
6. B. Hoffmann, and M. Minas, Transformation of shaped nested graphs and diagrams, in: Brand M. van den, Verma R. (Eds.), Electronic Notes in Theoretical Computer Science, Vol. 59, Elsevier Science Publishers, 2001.
7. F. Drewes, B. Hoffmann, and D. Plump, Hierarchical graph transformation, Journal of Computer and System Sciences, Vol. 64, No. 2, 2002, 249-283.
8. L. Grunske, and R. Neumann, Quality Improvement by Integrating Non-Functional Properties in a Software Architecture Specification, Proceedings of the Second Workshop on Evaluating and Architecting System dependability, San Jose, October 3-6, 2002, 23-33.
9. C. Hofmeister, R. Nord, and D. Soni, Applied Software Architecture(Reading, Massachusetts:, Addison Wesley Longman, 1999).
10. B.P. Douglas, Doing Hard Time, Reading, Massachusetts: Addison Wesley, 1999).
11. H. Gomaa, Designing Concurrent, Distributed, and Real-Time Applications with UML (Reading, Massachusetts: Addison-Wesley Publishing Company, 2000).
12. A. Birolini, Reliability engineering: theory and practice (New York: Springer, 1999).
13. Y. Papadopoulos, J.A. McDermid, R. Sasse, G. Heiner, Analysis and Synthesis of the Behaviour of Complex Programmable Electronic Systems in Conditions of Failure, Reliability Engineering and System Safety, 71(3), Elsevier Science, 2001, pp 229-247.
14. P. Fenelon, J.A. McDermid, M. Nicholson and D. J. Pumfrey, Towards Integrated Safety Analysis and Design, ACM Applied Computing Review, 1994.
15. Musa, J.D.; Iannino, A.; Okumoto, K.: Software Reliability - Measurement, Prediction, Application, McGraw-Hill International Editions, 1987.
16. L. de Alfaro, and T.A. Henzinger, Interface automata, 9th Symp. Foundations of Software Engineering, ACM Press, 2001.
17. D.C. Luckham, J.J. Kenney, L.M. Augustin, J. Vera, D. Bryan, and W. Mann, Specification and Analysis of System Architecture Using Rapide, IEEE Transactions on Software Engineering, Vol. 21, No. 4, April 1995, pp. 336-355.
18. G. Booch, J. Rumbaugh and I. Jacobson, The Unified Modeling Language User Guide (New York: Addison Wesley, 1999).
19. B. Selic, G. Gullekson, and P. T. Ward, Real-Time Object-Oriented Modeling(New York: Wiley, 1994).
20. H. Ehrig, Introduction to the Algebraic Theory of Graph Grammars, in: V. Claus, H. Ehrig, and G. Rozenberg (Eds.), 1st Graph Grammar Workshop, Springer LNCS 73, 1979, 1-69.
21. J. P. Loyall and S. M. Kaplan, Visual Concurrent Programming with Δ-Grammars, Journal of Visual Languages and Computing, Vol. 3, 1992, pp. 107-133.