基于交互的环境近似度量模型

The measure model of environment based interaction

在一些关键领域中,需要构造与实际环境非常相近的实验环境来运行或测试软件的性能,由此需要计算环境的近似程度。基于进程代数理论,建立软件运行环境近似程度的度量模型。首先在完整迹语义的基础上,建立软件与环境交互程度的度量刻画。然后在交互度量基础上,建立环境之间近似程度的度量模型,讨论环境度量的代数性质。

In some key fields, in order to test the attribution of software, a testing environment is often established. The degree of approximation between testing environment and real environment affects the execution result of software. The measure model of environment will be proposed based on process algebra. First, the iteration degree between software and its environment will be established using complete trace semantics. Then, the approximate degree between environ- ments is presented, and some algebraic properties are proved.