Indexed by：
Abstract：
为解决软件实体间的预期协作路径获取问题,提出一种软件实体中预期协作路径的获取方法.结 合UML与Pi演算理论,在对软件实体行为分析的基础上,对实体行为进行Pi演算语义抽取,利用Pi演算的操作语义推演实体协作,生成实体预 期协作路径集,并以可扩展标记语言方式对其进行存储.应用结果表明,该方法能支持软件实体预期协作路径的获取,为可信软件研究 中软件预期行为获取方法提供有益补充.
Keyword：
Reprint Author's Address：
Email：
Source ：
计算机工程
ISSN： 1000-3428
Year： 2012
Issue： 5
Volume： 38
Page： 76-78,88
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： -1
Chinese Cited Count：
30 Days PV： 5
Affiliated Colleges：
