摘要： 为解决软件实体间的预期协作路径获取问题，提出一种软件实体中预期协作路径的获取方法。结合UML与Pi演算理论，在对软件实体行为分析的基础上，对实体行为进行Pi演算语义抽取，利用Pi演算的操作语义推演实体协作，生成实体预期协作路径集，并以可扩展标记语言方式对其进行存储。应用结果表明，该方法能支持软件实体预期协作路径的获取，为可信软件研究中软件预期行为获取方法提供有益补充。
关键词:
软件实体,
Pi演算,
推演,
协作路径,
可扩展标记语言
Abstract: In order to obtain expected collaborative paths among software entities, an approach is presented. By combining the UML and Pi-calculus, Pi-calculus semantics of behavior for software entities is extracted on the basis of behavior analysis for them. The collaboration among them is further deduced through Pi-calculus operational semantics, the expected collaborative path set is generated, and then it is stored in eXtensible Markup Language(XML). An example application of the approach is explained. Application results show that the approach provides an effective way to obtain expected collaborative paths among software entities. It is of complementary significance to the methods of obtaining expected software behavior in research of trusted software.
Key words:
software entity,
Pi-calculus,
deduction,
collaborative path,
eXtensible Markup Language(XML)
中图分类号:
常建生, 王丹, 赵文兵. 软件实体中预期协作路径的获取方法[J]. 计算机工程, 2012, 38(5): 76-78,88.
CHANG Jian-Sheng, WANG Dan, DIAO Wen-Bing. Obtaining Approach of Expected Collaborative Paths Among Software Entities[J]. Computer Engineering, 2012, 38(5): 76-78,88.