Towards an engine for coordination-based architectural reconfigurations

Software recon���gurability became increasingly relevant to the architectural process due to the crescent dependency of modern societies on reliable and adaptable systems. Such systems are supposed to adapt themselves to surrounding environmental changes with minimal service disruption, if any. This paper introduces an engine that statically applies recon���gurations to (formal) models of software architectures. Recon���gurations are speci���ed using a domain speci���c language��� ReCooPLa���which targets the manipulation of software coordinationstructures,typicallyusedinservice-orientedarchitectures(soa).Theengine is responsible for the compilation of ReCooPLa instances and their application to the relevant coordination structures. The resulting con���gurations are amenable to formal analysis of qualitative and quantitative (probabilistic) properties.