Formal Specification Based on a Dynamic Architecture

With the development of software engineering,software dynamic evolution requires higher demands and dynamic architecture specification language becomes an important tool.Based on the specification of the formal language Z,components,connectors and configuration were defined to meet dynamic evolution by Z architecture.