Formal specification of reconfigurable architecture

Abstract

Widespread popularization of Internet and emergence of many novel software paradigms such as pervasive computing and grid computing have taken lots of application domains to reconfigruable software architecture. However, existing formal methods for reconfigurable software architectures almost haven't enough facilities to involve specification of structure, behaviour and reconfiguration. Moreover, they can't effectively validate structural correctness and behavioural consistency of evolving architectures. In this paper, we formalize reconfigurable software architecture on structure, behavior and reconfiguration, and ensure reconfigurable architecture well-formed and consistent. © Springer-Verlag Berlin Heidelberg 2012.