使用Pi演算的构件交互可信性验证模型  

Verification Model for Trustworthiness of Interaction between Software Components with Pi-calculus

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

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

出　　处：《计算机科学与探索》2012年第5期419-429,共11页Journal of Frontiers of Computer Science and Technology

基　　金：国家重点基础研究发展规划(973)No.2007CB311106;北京市自然科学基金No.4122007~~

摘　　要：为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言(unified modeling language,UML)与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型。在构件行为分析的基础上,利用抽取规则抽取Pi演算语义来描述构件的行为。进一步利用Pi演算的操作语义推演构件间的实际交互行为。将得到的实际交互行为与预期交互行为比对,可判断构件交互的可信性。最后,通过实例对该模型的具体应用进行了阐述。该模型能够对基于构件的软件系统中任意两个相互交互的构件之间交互的可信性进行验证,为判断该类系统中构件间交互的可信性提供了有效方法。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演算 可信性验证 

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