构件系统建模及其动态演化一致性验证方法.doc

构件系统建模及其动态演化一致性验证 方法 棊于构件的软件开发已成为软件开发的主流方法，但针对构件系统动态演化后 的一致性保持问题，目前尚缺乏统一的标准，为此提出一种验证构件系统动态 演化一致性的方法。首先，应用进程代数构造构件模型，并在此基础上得到粗粒 度的构件系统模型;然后，根据构件系统模型及其状态的变化，提岀构件系统外 部行为提取算法，并基于弱互模拟理论定义构件系统动态演化-致性的验证准 则;最后，提取演化前后构件系统的行为，并将其转换成便于Pi演算自动工具 MWB （Mobility Workbench）识别的格式，以进行行为一致性验证。案例研允表 明，该方法是可行且有效的。 关键词： 构件;构件系统;进程代数;弱互模拟;动态演化; 郑明（1992-），男，生，主要研宄方向为软件演化、形式化方 法等； 李彤（1963-）,男，教授，生导师，CCF高级会员，主要研究 方向为软件工程、信息安全； 林英（1973-），女，，副教授，主要研究方向为信息安全、软 E-mail:linying@ynu. edu.cn; 周小煊（1993-），女，生，CCF学生会员，主要研宂方向为软 件工程、软件演化、数据挖掘； 李响（1993-）,男，生，主要研究方向为领域软件工程、软件 演化； 明利（1989-）,女，生，主要研宂方向为软件动态演化、云计 算。 2016-10-20 基金：国家自然科学基金 Dynamic Evolution Consistency Verification Method for Component System Modeling ZHENG Ming LI Tong LIN Ying ZHOU Xiao-xuan Xiang MING Li School of Software, Yunnan University; Abstract： Component-based technology has become a main stream approach for software development, however, how to maintain a high level of consistency of the component system after dynamic evolution is still lacking agenerally accepted standard. So a verification method was proposed to verify whether a component system is consistent after dynamic evolution. Firstly, component model was proposed based on process algebraic, and a complex component system model could be obtained by combination of the components model.Secondly, according to the component system model and its state changes, an algorithm for extracting the external behavior of the component system was proposed, and a verification standard of consistency of the component system was presented based on weak bisimulation theory. Finally, the behavior of the component system was obtained, and then these behaviors were converted into a format which is convenient for Mobility Workbench to identify and verify. The case study shows that the proposed approach is feasible and effective. Keyword： Component; Component system; Process algebraic; Weak bisimulation; Dynamic evolution; Received： 2016-10-20 1引言 随着软件开发技术的发展，基于构件式的软