高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
软件实体中预期协作路径的获取方法
作者：
收录：
摘要：
为解决软件实体间的预期协作路径获取问题,提出一种软件实体中预期协作路径的获取方法.结 合UML与Pi演算理论,在对软件实体行为分析的基础上,对实体行为进行Pi演算语义抽取,利用Pi演算的操作语义推演实体协作,生成实体预 期协作路径集,并以可扩展标记语言方式对其进行存储.应用结果表明,该方法能支持软件实体预期协作路径的获取,为可信软件研究 中软件预期行为获取方法提供有益补充.
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
2004，道路交通与安全
2006，道路交通与安全
2012，2012年全国工业控制计算机年会
2013，
来源 ：
计算机工程
ISSN： 1000-3428
年份： 2012
期： 5
卷： 38
页码： 76-78,88
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次： -1
中文被引频次：
近30日浏览量： 1
归属院系：
全文获取
外部链接：
