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

Obtaining Approach of Expected Collaborative Paths Among Software Entities

作　　者：常建生[1] 王丹[1] 赵文兵[1] 

机构地区：[1]北京工业大学计算机学院,北京100124

出　　处：《计算机工程》2012年第5期76-78,88,共4页Computer Engineering

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

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

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]