Two Graph-Based Techniques for Software Architecture Reconfiguration

Abstract A software architecture style identifies classes of software architectures that present distinguishable commonalties. One major problem in the specification of software architectures is when evolution includes reconfiguration and mobility. With this in mind and understanding the relevance of visual languages specially at the design level, we present in this paper a graphical model using hyperedge replacement systems as a formal model to represent styles and their reconfigurations. To model the reconfiguration of styles we present two approaches. The first approach uses Synchronized Hyperedge Replacement Systems with the addition of name mobility to model dynamic reconfiguration. The second approach models consistent reconfigurations with respect to a style over the rewriting system derivations, based on the typing power of the lambda-calculus.