中文摘要：

为了应对软件动态演化面临的挑战,应提高所建立的软件体系结构模型的动态演化性。以扩展的Petri网为形式化工具,对面向动态演化的软件体系结构进行建模。首先,将Petri网扩展成为构件网结构,并设计有效支持软件动态演化的构件模型和连接件模型;其次,建立软件体系结构的静态视图和动态视图,为软件动态演化的分析和实施奠定基础;最后,通过案例研究表明：该方法是有效的,并可显著提高所建立的软件体系结构模型的动态演化性。

英文摘要：

In order to tackle with the challenges the software dynamic evolution encountered, it is necessary to improve the dynamic evolu tion ability of the software architecture models established. Therefore, the extended Petri net is used as the formal tool to model dynamic evo lutionoriented software architecture. Firstly, the Petri net is extended to component net structure, and the component model as well as con nector model effectively supporting software dynamic evolution is designed. Secondly, the static view and dynamic view of software architec ture are set up, which lays the basis for analysing and implementing the software dynamic evolution. Finally, the case study shows that the proposed method is effective, and it is able to significantly improve the dynamic evolution ability of the established software architecture mod el.