文档介绍：第 28 卷第 2 .2
2011 年 2 月 Vol .2011No
Application Research puters Feb
基于反射机制的系统行为
一致性判定模型研究倡
陈艳, 肖刚, 张元鸣, 徐俊, 陆佳炜
(浙江工业大学计算机科学与技术学院, 杭州 310023)
摘要: 构件演化是一种基于软件产品族的软件开发方法,它能够以较低的开发成本满足用户不断变化的功能
需求。然而,构件演化可能会导致系统演化前后行为的不一致。对构件演化一致性问题进行了较为深入的研
究,提出了正常运行一致性、兼容性一致性的概念,并把兼容性一致性分为观察一致性、弱一致性、强一致性,并
基于反射机制建立了一种构件系统行为一致性判定模型,通过对对象状态序列和交叉序列的判定来对演化部分
的局部系统行为进行一致性判定,从而对全局系统行为一致性进行判定。该模型通过监视器对构件互操作协议
进行监测,能够自动判定演化后的系统是否与演化前保持一致。最后将该模型应用于实际系统的开发中,验证
了该方法的可行性和有效性。
关键词: 构件演化; 系统行为; 行为一致性; 反射机制
中图分类号: 文献标志码: 文章编号: 1001唱3695(2011)02唱0625唱04
TP A
: /. .
doi j issn
Decision model of system behavior consistency
based on reflection mechanism
, , 唱, , 唱
CHEN Yan XIAO Gang ZHANG Yuan ming XU Jun LU Jia wei
( Colledge puter Science Technology, Zhejiang University of Technology, Hangzhou 310023,China)
&
Abstract: . 唱
’ ponent evolution is, a method, of developing software product family It. can be used to satisfy custo
mers changeable requirement at low, cost however it may lead to inconsistent唱 system behavior This paper made an intensive
study of ponent evolution and proposed concepts of error,free running system consistency patible. system唱
consistency which could also be posed to observation consistency weak consistency and strong, consistency It built a de唱
cision model which was used to detect s