软件实体中预期协作路径的获取方法

• 作者: 常建生 王丹 赵文兵
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 软件实体 Pi演算 推演 协作路径 可扩展标记语言
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 76-78,88
• 分类号: TP311.5
• 字数: 4464字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2012.05.022

摘要

为解决软件实体间的预期协作路径获取问题,提出一种软件实体中预期协作路径的获取方法.结 合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