基于反射机制的系统行为一致性判定模型研究  

Decision model of system behavior consistency based on reflection mechanism

作　　者：陈艳[1] 肖刚[1] 张元鸣[1] 徐俊[1] 陆佳炜[1] 

机构地区：[1]浙江工业大学计算机科学与技术学院,杭州310023

出　　处：《计算机应用研究》2011年第2期625-628,共4页Application Research of Computers

基　　金：浙江省自然科学基金资助项目(Y106603)

摘　　要：构件演化是一种基于软件产品族的软件开发方法,它能够以较低的开发成本满足用户不断变化的功能需求。然而,构件演化可能会导致系统演化前后行为的不一致。对构件演化一致性问题进行了较为深入的研究,提出了正常运行一致性、兼容性一致性的概念,并把兼容性一致性分为观察一致性、弱一致性、强一致性,并基于反射机制建立了一种构件系统行为一致性判定模型,通过对对象状态序列和交叉序列的判定来对演化部分的局部系统行为进行一致性判定,从而对全局系统行为一致性进行判定。该模型通过监视器对构件互操作协议进行监测,能够自动判定演化后的系统是否与演化前保持一致。最后将该模型应用于实际系统的开发中,验证了该方法的可行性和有效性。Software component 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 software component evolution,and proposed concepts of error-free running system consistency and compatible system consistency which could also be decomposed to observation consistency,weak consistency and strong consistency.It built a decision model which was used to detect system behavior consistency based on reflection mechanism,global consistent system behavior could be determined through local system behavior based on object state sequence and interactive sequence.In this model,supervised an interactive protocol for component by a monitor,which could automatically detect system behavior.In the end,applied this model to a real system development,and proved feasibility and validity of this method.

关 键 词：构件演化 系统行为 行为一致性 反射机制 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]