Formal specification of dynamic architectural styles

摘要

Formal notations and models to support the specification of distributed software architectures are now common but they usually focus on static architectures. There is therefore an urgent need fro new notations and models,which focus on dynamic and evolving distributed architectures. An-other limitation of current notations and models is that few of them sypport the specification and analysis of architectural styles, which are important to the systematic definition and comparison of families of architectures. As a solution, we have developed ZCL, a fo0rmal notation and model based on Z, to specify and analyse dyknamic distributed architectures. In this paper,we illustrate the use of ZCL in the specification and analysis of dynamic distributed archite4ctural styles. We present the specification of two architectural styles and show how they are used in the construction of software architectures that use more than one architectural styple to design part of a system.