软件构件间交互可信性验证模型
为验证基于构件的软件系统中构件间交互的可信性,将UML与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型.在构件行为分析的基础上,利用抽取规则抽取Pi演算语义,以形式化的方式描述构件的行为.进一步利用Pi演算的操作语义推演构件间的实际交互行为.实际交互行为与预期交互行为的比对,可判断构件间交互的可信性.最后,通过实例对该模型的具体应用进行了阐述.该模型能够对基于构件的软件系统中任意两个相互交互的构件之间交互的可信性进行验证,为判断该类系统中构件问交互的可信性提供了有效方法.
软件构件 交互行为 Pi演算 可信性验证
常建生 王丹 赵文兵
北京工业大学 计算机学院,北京 100124
国内会议
苏州
中文
67-75
2010-11-04（万方平台首次上网日期，不代表论文的发表时间）