摘要： 在一些特殊领域中需要建立一定的实验环境对软件性能进行测试,因此实验环境与实际环境之间的近似程度对软件的性能起到关键作用。为建立环境之间的近似度量,在进程代数理论基础上,根据软件与环境的交互程度,利用拓扑度量和论域理论中的偏序关系,建立实验环境之间近似程度的量化模型。根据软件与环境之间的部分交互,建立实验环境之间近似程度的度量模型。通过实例对度量模型进行说明,并证明度量模型的代数性质。

关键词: 交互, 环境, 进程代数, 度量, 论域理论

Abstract: With the development of Internet,the environment of software is gradually changed to the open and dynamic environment. So,the results of software executing on different environment affect on the trustworthiness of software. In some special fields,it is necessary to establish an experiment environment in order to test the property of software. So,it is important to evaluate the degree to which experiment environment approximates the real environment. This paper uses measure theory in topology and partial order in domain theory,the quantitative model to describe the approximate degree between environment is proposed based on process algebra. The quantitative model to compute the approximate degree between environments is presented based on the partial iteration between software and its environment. Furthermore,some examples is showed to verify the model and some algebraic properties is proved.

Key words: interaction, environment, process algebra, measurement, domain theory

中图分类号: 

• TP301