Wins and losses of algebraic transformations of software architectures

Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Volumn , Issue , 2001, Pages 51-60

  Fahmy, H M ^a   Holt, R C ^a   Cordy, J R ^b  

^a UNIVERSITY OF WATERLOO   (Canada)

^b QUEEN S UNIVERSITY   (Canada)

Author keywords

Graph transformation; Relational algebra; Software architecture; Software maintenance

Indexed keywords

ALGEBRA; COMPUTER SOFTWARE MAINTENANCE; SOFTWARE ARCHITECTURE;

ALGEBRAIC TRANSFORMATIONS; ARCHITECTURAL TRANSFORMATION; AS GRAPH; GRAPH TRANSFORMATION; ITS ARCHITECTURE; RELATIONAL ALGEBRA;

GRAPH THEORY;

EID: 4544342400     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2001.989790     Document Type: Conference Paper

References (18)

1. R. Behnke, R. Gerghammer, T. Hoffmann, G. Leonik, and P. Schneider. "Applications of the RELVIEW System," in Berghammer R., Lakhnech Y. (eds), Tool Support for System Specification, Development and Verification, Advances in Computing Science, Springer-Wien, pp. 33-47, 1999.
2. D. Blostein and A. Schürr. "Computing with Graphs and Graph Transformations," Software- Practice and Experience, Vol. 29(3), pp. 197-217, 1999.
3. st International Conference on Software Engineering, Los Angeles, May 1999.
4. H. Fahmy, R.C. Holt, and S. Mancoridis. "Repairing Software Style Using Graph Grammars," IBM Proceedings of the Seventh Centre for Advanced Studies Conference (CASCON '97), Toronto, Canada, Nov. 1997.
5. H. Fahmy and R.C. Holt. "Software Architecture Transformations," Proceedings of the International Conference on Software Maintenance, San Jose, Oct. 2000.
6. H. Fahmy and R.C. Holt. "Using Graph Rewriting to Specify Software Architectural Transformations," Proceedings of Automated Software Engineering, Grenoble, France, Sept. 2000.
7. L. Feijs, R. Krikhaar and R. Van Ommering. "A Relational Approach to Support Software Architecture Analysis," Software-Practice and Experience, Vol. 28(4), pp. 371-400, April 1998.
8. T. Henderson, Discrete Relaxation Techniques, Oxford University Press, New York, 1990.
9. R.C. Holt. "Structural Manipulations of Software Architecture Using Tarski Relational Algebra," Proceedings of the 5th Working Conference on Reverse Engineering 1998, Honolulu, Hawaii, October 12-14,1998.
10. R.C. Holt. "Software Architecture Abstraction and Aggregation as Algebraic Manipulations," Proceedings of CASCON '99, Toronto, Canada, Nov. 1999.
11. R.C. Holt. "An Introduction to TA: The Tuple-Attribute Language," Available at http://plg.uwaterloo.ca/~holt/papers/ta.html, Nov. 1998.
12. h International Workshop on Program Comprehension, Toronto, Canada, May 2001.
13. H. Muller, O. Mehmet, S. Tilley, J. Uhl. "A Reverse Engineering Approach to Subsystem Identification," Software Maintenance and Practice, Vol. 5, pp. 181-204, 1993.
14. G.C. Murphy, D. Notkin, and K. Sullivan. "Software Reflexion Models: Bridging the Gap Between Source and High-Level Models," Proceedings of the Third ACM Symposium on the Foundations of Software Engineering, Oct. 1995.
15. Portable Bookshelf (PBS) tools. Available at http://swag.uwaterloo.ca/pbs.
16. PROGRES. Available at http://www-i3.informatik.rwthaachen.de/research/progres/release.html.
17. J.B. Tran and R.C. Holt. "Forward and Reverse Repair of Software Architecture," Proceedings of the IBM CAS Conference, Nov. 1999.
18. A. Tarski. "On the Calculus of Relations, " Journal of Symbolic Logic, Vol. 6, No. 3, 1941, pp. 73-89.