Title :
Formalizing architectural refactorings as graph transformation systems
Author_Institution :
Sch. of lTEE, Queensland Univ., Brisbane, Qld., Australia
Abstract :
Architectural refactorings are an appropriate technique for the development and improvement of architectural specifications. However, these refactorings are often applied manually. This paper presents a mapping of an architectural specification language to a hypergraph-based data structure. Thus, architectural refactorings can be formalized as hypergraph transformation rules and can be applied automatically.
Keywords :
data structures; formal specification; graph grammars; specification languages; architectural refactoring; architectural specification language; graph transformation systems; hypergraph-based data structure; Architecture description languages; Australia; Data structures; Labeling; Programming; Q factor; Software design; Software maintenance; Software quality; Specification languages;
Conference_Titel :
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, 2005 and First ACIS International Workshop on Self-Assembling Wireless Networks. SNPD/SAWN 2005. Sixth International Conference on
Print_ISBN :
0-7695-2294-7
DOI :
10.1109/SNPD-SAWN.2005.37
