10.3969/j.issn.1000-3428.2010.24.018
构件演化的交互行为一致性研究
构件演化前后的交互行为执行序列不一致,会导致系统行为偏离系统的功能目标.针对该问题,基于进程代数描述构件间的交互行为,归纳交互行为一致性的定义,给出交互行为一致性所需满足的约束条件,提出一种保证交互行为一致性的方法.实例分析结果证明了该方法的可行性和正确性.
构件、演化、交互行为一致性、进程代数、行为迹
36
TP311.5(计算技术、计算机技术)
河北省自然科学基金资助项目F2008000861
2011-03-21(万方平台首次上网日期,不代表论文的发表时间)
共4页
51-53,56