使用Pi演算的构件交互可信性验证模型-计算机科学与探索.PDF

ISSN 1673-9418 CODEN JKYTA8 E-mail: fcst@vip. 163.com Journal of Frontiers of Computer Science and Technology 1673-9418/2012/06(05)-0419-11 Tel: +86-10 DOI: 10.3778/j.issn. 1673-9418.2012.05.004 使用Pi 演算的构件交互可信性验证模型* + 王 丹 ，常建生，赵文兵 北京工业大学 计算机学院，北京 100124 Verification Model for Trustworthiness of Interaction between Software Compo- nents with Pi-calculus ∗ + WANG Dan , CHANG Jiansheng, ZHAO Wenbing College of Computer Science, Beijing University of Technology, Beijing 100124, China + Corresponding author: E-mail: wangdan@ WANG Dan, CHANG Jiansheng, ZHAO Wenbing. Verification model for trustworthiness of interaction be- tween software components with Pi-calculus. Journal of Frontiers of Computer Science and Technology, 2012, 6(5) ：419-429. Abstract: In order to verify trustworthiness of interaction between components in a component-based software sys- tem, 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 trust- worthiness of interaction between any two interacting components in co