文件名称：软件实体中预期协作路径的获取方法 (2012年)
文件大小：272KB
文件格式：PDF
更新时间：2024-07-04 01:35:00
工程技术 论文
为解决软件实体间的预期协作路径获取问题，提出一种软件实体中预期协作路径的获取方法。结合UML与Pi演算理论，在对软件实体行为分析的基础上，对实体行为进行Pi演算语义抽取，利用Pi演算的操作语义推演实体协作，生成实体预期协作路径集，并以可扩展标记语言方式对其进行存储。应用结果表明，该方法能支持软件实体预期协作路径的获取，为可信软件研究中软件预期行为获取方法提供有益补充。