A graph transformation approach to software architecture reconfiguration

Abstract

For guidance on citations see FAQs.

Evolution styles: Foundations and tool support for software architecture evolution

“…A number of researchers have proposed formal models that can capture structural and behavioral transformation [17], [35], [40]. For example, Wermelinger uses category theory to describe how transformations can occur in software architecture [40].…”

“…We plan to explore other, more declarative, ways of specifying evolution operators, perhaps in the style of graph grammars used in [40] or rewrite rules as in [21]. Furthermore, we would like to develop and explore better ways to analyze evolution paths, perhaps considering approaches from various economic theories.…”

Temporal Specification and Deductive Verification of a Distributed Component Model and Its Environment

“…Among other applications of formal methods in this area we mention formal approaches in configuration [24], [22] and the application of model checking methods [10]. However, while the former work is too general the latter approach does not consider the environment.…”

Sustainable Street Lighting Design Supported by Hypergraph-Based Computational Model

“…Extensive research shows that a graph-based representation fulfills such demands [7][8][9][10][11][12][13][14]. In particular, its expressiveness allows for modeling a range of lighting design problems (including control issues), and on the other side, it may be easily distributed and populated by a multi-agent system performing a solution search [15].…”