| 使用Pi演算的构件交互可信性验证模型 |
| |
| 引用本文： | 王丹,常建生,赵文兵.使用Pi演算的构件交互可信性验证模型[J].计算机科学与探索,2012(5):419-429. |
| |
| 作者姓名： | 王丹 常建生 赵文兵 |
| |
| 作者单位： | 北京工业大学计算机学院,北京,100124 |
| |
| 基金项目： | 国家重点基础研究发展规划(973)No.2007CB311106;北京市自然科学基金No.4122007~~ |
| |
| 摘 要： | 为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言(unified modeling language,UML)与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型。在构件行为分析的基础上,利用抽取规则抽取Pi演算语义来描述构件的行为。进一步利用Pi演算的操作语义推演构件间的实际交互行为。将得到的实际交互行为与预期交互行为比对,可判断构件交互的可信性。最后,通过实例对该模型的具体应用进行了阐述。该模型能够对基于构件的软件系统中任意两个相互交互的构件之间交互的可信性进行验证,为判断该类系统中构件间交互的可信性提供了有效方法。
|
| 关 键 词： | 构件 交互 Pi演算 可信性验证 |
Verification Model for Trustworthiness of Interaction between Software Components with Pi-calculus |
| |
| WANG Dan
,
CHANG Jiansheng
,
ZHAO Wenbing.Verification Model for Trustworthiness of Interaction between Software Components with Pi-calculus[J].Journal of Frontier of Computer Science and Technology,2012(5):419-429. |
| |
| Authors: | WANG Dan CHANG Jiansheng ZHAO Wenbing |
| |
| Affiliation: | College of Computer Science, Beijing University of Technology, Beijing 100124, China |
| |
| 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. |
| |
| Keywords: | component interaction Pi-calculus trustworthiness verification |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
