关键词: 构件, 交互, Pi演算, 可信性验证

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.

Key words: component, interaction, Pi-calculus, trustworthiness verification