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

摘要：

为解决软件实体间的预期协作路径获取问题,提出一种软件实体中预期协作路径的获取方法.结 合UML与Pi演算理论,在对软件实体行为分析的基础上,对实体行为进行Pi演算语义抽取,利用Pi演算的操作语义推演实体协作,生成实体预 期协作路径集,并以可扩展标记语言方式对其进行存储.应用结果表明,该方法能支持软件实体预期协作路径的获取,为可信软件研究 中软件预期行为获取方法提供有益补充.

关键词：软件实体、Pi演算、推演、协作路径、可扩展标记语言

所属期刊栏目：38

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家“973”计划基金资助项目2007CB311106;北京市自然科学基金资助项目4122007

在线出版日期：2012-05-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：76-78,88