构件系统建模及其动态演化一致性验证方法-计算机科学.pdfVIP

Vo 1. 44 No. 11 第 44 卷第11 期 计算机科学 2017 年 11 月 COMPUTER SCIENCE Nov.2017 构件系统建模及其动态演化一致性验证方法 郑明1 李彤1 ， 2 林英1 ， 2 周小煌1 李晌1 明利1 (云南大学软件学院 昆明 650500)1 (云南省软件工程重点实验室 昆明 650500)2 摘 要 基于构件的软件开发已成为软件开发的主流方法，但针对构件系统动态演化后的一致性保持问题，目前尚缺 乏统一的标准，为此提出一种验证构件系统动态演化一致性的方法。首先，应用进程代数构造构件模型，并在此基础 上得到粗粒度的构件系统模型;然后，根据构件系统模型及其状态的变化，提出构件系统外部行为提取算法，并基于弱 互模拟理论定义构件系统动态演化一致性的验证准则;最后，提取演化前后构件系统的行为，并将其转换成便于 Piì寅 算自动工具MWBCMobility Workbench)识别的格式，以进行行为一致性验证。案例研究表明，该方法是可行且有效的。 关键词 构件，构件系统，进程代数，弱互模拟，动态演化 中图法分类号 TP311 文献标识码 A 001 10, 11896/j, issn. 1002-1372豆 2017.1 1. 012 Dynamic Evolution Consistency Verification Method for Component System Modeling 1 1 1 1 1 ZHENG Ming LI Tong ,2 LIN Ying 1,2 ZHOU Xiao-xuan LI Xiang MING Li CSchool of Scftware ,Yunnan University ,Kunrning 650500 ,China) 1 CKey Laboratory in Scftware Engineering of Yunnan Province ,Kunming 650500 ,China)2 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 stilllacking a generally accepted standard. So a verification method was proposed to verify whether a component system is consistent after dynamic evo lution. Firstly , component model was proposed based on process algebraic , and a complex component system model could be obtained by combination of the components mode l. Secondly ,according to the component system model and its state changes ,