使用Pi演算的构件交互可信性验证模型

• 作者: 常建生 王丹 赵文兵
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 构件 交互 Pi演算 可信性验证
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 学术研究
• 页码范围: 419-429
• 分类号: TP393.01
• 字数: 9909字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2012.05.004

摘要

为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言(unified modeling language,UML)与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型.在构件行为分析的基础上,利用抽取规则抽取Pi演算语义来描述构件的行为.进一步利用Pi演算的操作语义推演构件间的实际交互行为.将得到的实际交互行为与预期交互行为比对,可判断构件交互的可信性.最后,通过实例对该模型的具体应用进行了阐述.该模型能够对基于构件的软件系统中任意两个相互交互的构件之间交互的可信性进行验证,为判断该类系统中构件间交互的可信性提供了有效方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王丹	北京工业大学计算机学院	51	234	8.0	12.0
2	赵文兵	北京工业大学计算机学院	21	164	7.0	12.0
3	常建生	北京工业大学计算机学院	2	1	1.0	1.0