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

MODELLING DYNAMIC EVOLUTION-ORIENTED SOFTWARE ARCHITECTURE BASED ON PETRI NET

作　　者：谢仲文[1,2] 李彤[1,2] 代飞[1,2] 秦江龙[1,2] 张璇[1,2] 莫启[1] 朱锐[1] 

机构地区：[1]云南大学软件学院,云南昆明650091 [2]云南省软件工程重点实验室,云南昆明650091

出　　处：《计算机应用与软件》2012年第10期36-39,127,共5页Computer Applications and Software

基　　金：国家自然科学基金项目(60963007);云南省软件工程重点实验室开放基金项目(2010KS01;2011SE04;2011SE05)

摘　　要：为了应对软件动态演化面临的挑战,应提高所建立的软件体系结构模型的动态演化性。以扩展的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.

关 键 词：软件动态演化 软件体系结构 PETRI网 构件 连接件 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]