Abstract:

This paper defines the signature view and the behavior view of the software component, designs the modeling method that transfers the component behavior into π calculus process expression and proposes the algorithm that makes the transfer automatically. An electronic commerce application is used as an example and with the help of operational and transitional semantics and formal deduction, it can be checked whether two components are behavior compatible during their composition.

Key words: software component, interface, behavior view, &pi, calculus, compatibility

摘要：

定义构件的基调视图和行为视图，给出将构件行为转化为π演算进程表达的建模方法，并设计实现构件行为的π演算描述自动转换的算法。结合一个电子商务的实例，借助π演算的操作语义和形式化推理技术实现对软件构件组合时的兼容性进行检查。

关键词: 软件构件, 接口, 行为视图, π演算, 兼容性

CLC Number: 

• TP311