K. Guennoun, K. Drira, and M. Diaz (France)
Software Design and Development, Formal Description, Dynamicity Management, Components, Graph Rewriting
This paper presents the Abstract Component Graph (ACG), a graph-based approach for managing evolving dynamic ar chitectures. This approach allows, in addition to the speci fication of architecture dynamic evolving, a specification of the dynamicity at the level of components attributes. It can be used to simulate different steps of component instantia tion, behavior change at runtime, migration, and more spe cific distributed characteristics of a software system archi tecture. This approach has also the advantage of allowing to check the architecture-related correctness properties at these two levels of specification through specific modeling of these properties.
Important Links:
Go Back
