计算机科学 ›› 2017, Vol. 44 ›› Issue (11): 80-86.doi: 10.11896/j.issn.1002-137X.2017.11.012
郑明,李彤,林英,周小煊,李响,明利
ZHENG Ming, LI Tong, LIN Ying, ZHOU Xiao-xuan, LI Xiang and MING Li
摘要： 基于构件的软件开发已成为软件开发的主流方法,但针对构件系统动态演化后的一致性保持问题,目前尚缺乏统一的标准,为此提出一种验证构件系统动态演化一致性的方法。首先,应用进程代数构造构件模型,并在此基础上得到粗粒度的构件系统模型；然后,根据构件系统模型及其状态的变化,提出构件系统外部行为提取算法,并基于弱互模拟理论定义构件系统动态演化一致性的验证准则；最后,提取演化前后构件系统的行为,并将其转换成便于Pi演算自动工具MWB(Mobility Workbench)识别的格式,以进行行为一致性验证。案例研究表明,该方法是可行且有效的。
| [1] 王映辉.构件式软件技术[M].北京机械工业出版社,2012. [2] YANG F Q,MEI H,LI K Q.Software Reuse and SoftwareComponent Technology[J].Acta Electronica Sinica,1999,27(2):68-75.(in Chinese) 杨芙清,梅宏,李克勤.软件复用与软件构件技术[J].电子学报,1999,27(2):68-75. [3] PLASIL F,VISOVSKY S.Behavior protocols for software components[J].IEEE Transactions on Software Engineering,2002,28(11):1056-1076. [4] LUO Y,LI X Y,GUAN L W,et al.Study on Behaavior Consistency of System on Component Evolution[J].Computer Science,2008,35(1):266-270.(in Chinese) 罗毅,李兴宇,关连伟,等.构件演化中的系统行为一致性的研究[J].计算机科学,2008,35(1):266-270. [5] SHEN L M,MA C,WANG T.Research on behavioral consistency of component dynamic evolution based on process algebra[J].Application Research of Computers,2009,26(4):1345-1348.(in Chinese) 申利民,马川,王涛.基于进程代数的构件动态演化行为一致性研究[J].计算机应用研究,2009,26(4):1345-1348. [6] MA C,SHEN L M,WANG T.Behavior Consistency Verification Method Based on Component Dynamic Evolution[J].Computer Engineering,2010,36(6):80-83.(in Chinese) 马川,申利民,王涛.基于构件动态演化的行为一致性验证方法[J].计算机工程,2010,36(6):80-83. [7] ZHOU Y,HUANG Y K,HUANG Z Q,et al.Towards an Approach of Consistency Verification for Online Software Evolution in Open Environments[J].Journal of Software,2015,26(4):747-759.(in Chinese) 周宇,黄延凯,黄志球,等.一种开放环境下软件在线演化一致性验证方法[J].软件学报,2015,26(4):747-759. [8] VICTOR B,MOLLER F.The Mobility Workbench—a tool for the π-calculus[C]∥International Conference on Computer Aided Verification.Springer Berlin Heidelberg,1994:428-440. [9] MILNER R.Communicating and mobile systems:the pi calculus [M].Cambridge University Press,1999. [10] BERGSTRA J A,KLOP J W.Fixed point semantics in process algebras[J].Stichting Mathematisch Centrum Informatica,1982:1-21. [11] HU H Y,LV J,MA X X,et al.Study on Behavioral Compatibi-lity of Components in Software Architecture Using Object-Orien-ted Paradigm[J].Journal of Software,2006,17(6):1276-1286.(in Chinese) 胡海洋,吕建,马晓星,等.面向对象范型体系结构中构件行为相容性研究[J].软件学报,2006,17(6):1276-1286. [12] BERNARDO M,CIANCARINI P,D ONATIELLO L.Architecting families of software systems with process algebras[J].ACM Transactions on Software Engineering and Methodology (TOSEM),2002,11(4):386-426. [13] DAI F,LI T,XIE Z W,et al.Towards an algebraic semantics of software evolution process models[J].Journal of Software,2012,23(4):846-863.(in Chinese) 代飞,李彤,谢仲文,等.一种软件演化过程模型的代数语义[J].软件学报,2012,23(4):846-863. |
| No related articles found! |
|
||
首页