A constraint architectural description approach to self-organising component-based software systems

Abstract

We propose a constraint-based structural architectural description language for specifying and reasoning about self-organising software architectures and for guiding their evolution. We also introduce a notion of tactics added into the new language so as to mitigate the NP-complete problem of constraint satisfaction used for self-organising the specified architectures.