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

摘要

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 a generally 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.%基于构件的软件开发已成为软件开发的主流方法,但针对构件系统动态演化后的一致性保持问题,目前尚缺乏统一的标准,为此提出一种验证构件系统动态演化一致性的方法.首先,应用进程代数构造构件模型,并在此基础上得到粗粒度的构件系统模型;然后,根据构件系统模型及其状态的变化,提出构件系统外部行为提取算法,并基于弱互模拟理论定义构件系统动态演化一致性的验证准则;最后,提取演化前后构件系统的行为,并将其转换成便于Pi演算自动工具MWB(Mobility Workbench)识别的格式,以进行行为一致性验证.案例研究表明,该方法是可行且有效的.