基于Petri网的面向动态演化的软件体系结构建模

摘要

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