计算机科学 ›› 2018, Vol. 45 ›› Issue (3): 151-157.doi: 10.11896/j.issn.1002-137X.2018.03.024
郑明,李彤,莫启,周小煊,向文坤,何云
ZHENG Ming, LI Tong, MO Qi, ZHOU Xiao-xuan, XIANG Wen-kun and HE Yun
摘要： 基于构件的软件开发已成为软件开发的主流方法,针对构件式软件动态演化后的一致性保持问题,目前大多数学者主要是从构件式软件的外部一致性角度进行分析和研究。为此,从构件内部的角度出发,提出一种保证构件式软件动态演化构件内部一致性的方法。首先,对构件及其相关模型进行建模,并给出了构件内部类有向图的同态映射关系的判定算法；其次,给出构件式构件动态演化内部一致性的标准,基于进程代数的强模拟理论和图论中的同态映射关系,分别从全局和局部的角度定义了构件式软件动态演化前后构件内部一致性标准的充分条件和必要条件,并对其进行了证明；然后,基于上述工作,给出了构件动态演化内部一致性保证方法的流程；最后,通过案例研究表明该方法的可行性和有效性。
| [1] 王映辉.构件式软件技术[M].北京:机械工业出版社,2012. [2] YANG F Q,MEI H.Software Reuse and Software Component Technology [J].Acta Electronica Sinica,1999,27(2):68-75.(in Chinses) 杨芙清,梅宏.软件复用与软件构件技术[J].电子学报,1999,27(2):68-75. [3] ZHENG M,LI T,LIN Y,et al.Dynamic Evolution Consistency Verification Method for Component System Modeling[J].Computer Sccience,2017,4(11):80-86.(in Chinese) 郑明,李彤,林英,等.构件系统建模及其动态演化一致性验证方法[J].计算机科学,2017,44(11):80-86. [4] 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. [5] LUO Y,LI X Y,GUAN L W,et al.Study on Behaavior Consistency of System on Component Evolution [J].Computer Scien-ce,2008,35(1):266-270.(in Chinese) 罗毅,李兴宇,关连伟,等.构件演化中的系统行为一致性的研究[J].计算机科学,2008,35(1):266-270. [6] 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. [7] 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. [8] ZHOU X Y.Research of Consistency Insurance Technologiesfor Dynamic Evolution of Aspect-Oriented Internetware[D].Nanning:Guangxi University,2013.(in Chinses) 周学尧.面向方面的网构软件动态演化一致性保障技术研究[D].南宁:广西大学,2013. [9] WAN X M.Key Techniques for Software Behavior Dynamic Analysis [D].Changsha:National University of Defense Techno-logy,2013.(in Chinses) 万小敏.软件行为动态分析关键技术研究[D].长沙:国防科学技术大学,2013. [10] 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. [11] XIE Z W,MING L,LIN Y,et al.Consistency Analysis of Software Dynamic Evolution Based on Petri Net [J].Computer Science,2016,3(11):234-241.(in Chinese) 谢仲文,明利,林英,等.基于Petri网的软件动态演化的一致性分析[J].计算机科学,2016,43(11):234-241. [12] DOU L.Research on Dynamic Reconfiguration Technology inComponent-Oriented Complex Software System[D].Changsha:National University of Defense Technology,2005.(in Chinses) 窦蕾.面向构件的复杂软件系统中动态配置技术的研究[D].长沙:国防科学技术大学,2005. [13] DENG A P.On Algebraic Representation and Characterization of Digraphs[D].Shanghai:Shanghai JiaoTong University,2005.(in Chinese) 邓爱平.有向图的代数表示与刻划[D].上海:上海交通大学,2005. [14] 刘绍学,朱元森.数学辞海[M].北京:中国科学技术出版社,2002. [15] LIANG Z C,SHEN B J.Approach to State Transition for Component Dynamic Update [J].Computer Engineering,2008,34(16):34-36.(in Chinese) 梁哲聪,沈备军.用于构件动态更新的状态传递方法[J].计算机工程,2008,34(16):34-36. |
| No related articles found! |
|
||
首页