J4 ›› 2013, Vol. 48 ›› Issue (7): 33-38.

• Articles • Previous Articles     Next Articles

The measure model of environment based interaction

MA Yan-fang1, CHEN Liang2*   

  1. 1. School of Computer Science and Technology, Huaibei Normal University, Huaibei 235000, Anhui, China;
    2. School of Mathematics Science, Huaibei Normal University, Huaibei 235000, Anhui, China
  • Received:2013-06-17 Published:2013-12-03

PDF (PC)

623

Abstract:

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 environments is presented, and some algebraic properties are proved.

Key words: iteration; environment; process algebra; measure

CLC Number: 

  • O159
[1] SHANG Ji-Hua, Chen-Bao-Hui, Shi-Kai-Quan. P-sets and　(,F)-data generation-identification [J]. J4, 2009, 44(11): 83-88.
[2] YU Xiu-Qing. P-rough integrals and the rough degree of function two-direction S-rough sets [J]. J4, 2009, 44(11): 89-92.
[3] HUANG Jiang-Yan, XU Xiu-Qing, FANG Wen-Jing. Dynamic characteristics of rough integrals [J]. J4, 2009, 44(11): 93-96.
[4] LI Lian-Jiang, JIN Qiu. An equivalent characterization of Ω-filter [J]. J4, 2009, 44(10): 51-53.
[5] GAO Shan-Lin, LI Jian, RUAN Xiao-Jia. A method for ranking fuzzy numbers based on the ideal points [J]. J4, 2009, 44(8): 86-89.
[6] . A wideneighborhood predictorcorrecting algorithm for
linear programming [J]. J4, 2009, 44(7): 66-70.
[7] SU Fen-Xiao, ZHANG Ling. Function one-direction SPF-rough sets and their probability characteristic [J]. J4, 2008, 43(12): 56-60.
[8] FANG Wen-Qing, XU Xiu-Qing, SHI Kai-Quan. F-rough integrals and their covered area-boundary thickness characteristics [J]. J4, 2008, 43(12): 88-92.
[9] SU Fen-Xiao, CHEN Bao-Hui. The β-Rough integral [J]. J4, 2008, 43(12): 61-65.
[10] XIU Ming, CHEN Bao-Hui, SHI Kai-Quan. F-rough law and its attribute control [J]. J4, 2008, 43(12): 66-72.
[11] SUN Shou-bin,MENG Guang-wu . The Dα-derived set in LF topological space [J]. J4, 2008, 43(5): 63-65 .
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
Copyright 2018 © Editorial office of JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE)
Supported by Beijing Magtech Co.Ltd