计算机科学与探索Issue(5)：419-429,11.DOI:10.3778/j.issn.1673-9418.2012.05.004
使用Pi演算的构件交互可信性验证模型
Verification Model for Trustworthiness of Interaction between Software Components with Pi-calculus
摘要
Abstract
In order to verify trustworthiness of interaction between components in a component-based software system, by combining the UML (unified modeling language) and Pi-calculus, this paper presents a verification model for trustworthiness of interaction between software components. On the basis of the analysis of component behavior, the paper extracts Pi-calculus semantics with the extraction rule defined to describe component behavior in a formal way. It further deduces the actual interaction between components with Pi-calculus operational semantics, and then compares actual interaction with expected interaction to judge trustworthiness of interaction between components. Finally, the paper explains the specific application of model by an example. This model is capable of verifying trustworthiness of interaction between any two interacting components in component-based software system, and provides an effective way to judge the trustworthiness of interaction between components.关键词
构件/交互/Pi演算/可信性验证Key words
component/ interaction/ Pi-calculus/ trustworthiness verification分类
信息技术与安全科学引用本文复制引用
王丹,常建生,赵文兵..使用Pi演算的构件交互可信性验证模型[J].计算机科学与探索,2012,(5):419-429,11.基金项目
The National Grand Basic Research 973 Program of China under Grant No.2007CB311106(国家重点基础研究发展规划(973)) （国家重点基础研究发展规划(973）
the Natural Science Foundation of Beijing of China under Grant No.4122007(北京市自然科学基金). （北京市自然科学基金）
