Towards automatic measurement of probabilistic processes

被引：0
|
作者：
Song, Lin [1 ]
Deng, Yuxin [1 ]
Cai, Xiaojuan [1 ]
机构：
[1] Shanghai Jiao Tong Univ, Dept Comp Sci, Shanghai 200240, Peoples R China
来源：
USIC 2007: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE | 2007年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper we propose a metric for finite processes in a probabilistic extension of CSP. The kernel of the metric corresponds to trace equivalence and most of the operators in the process algebra is shown to satisfy, non-expansiveness property with respect to this metric. We also provide an algorithm to calculate the distance between two processes to a prescribed discount factor in polynomial time. The algorithm has been implemented in a tool that helps us to measure processes automatically.
引用
收藏
页码：50 / 59
页数：10
相关论文
共 50 条
  • [1] A probabilistic model for measurement processes
    Rossi, GB
    MEASUREMENT, 2003, 34 (02) : 85 - 99
  • [2] TOWARDS AUTOMATIC MEASUREMENT OF BIREFRINGENCE
    SNELL, C
    NATURE, 1967, 214 (5083) : 78 - &
  • [3] A probabilistic approach to the analysis of measurement processes
    Cox, Maurice G.
    Rossi, Giovanni B.
    Harris, Peter M.
    Forbes, Alistair
    METROLOGIA, 2008, 45 (05) : 493 - 502
  • [4] Comment on 'A probabilistic approach to the analysis of measurement processes'
    Lira, I.
    METROLOGIA, 2009, 46 (01) : L8 - L8
  • [5] Reply to the comment on 'A probabilistic approach to the analysis of measurement processes'
    Cox, Maurice G.
    Rossi, Giovanni B.
    Harris, Peter M.
    Forbes, Alistair
    METROLOGIA, 2009, 46 (01) : L9 - L10
  • [6] Towards the automatic composition of co-business processes
    Park, J
    2004 INTERNATIONAL SYMPOSIUM ON APPLICATIONS AND THE INTERNET WORKSHOPS, PROCEEDINGS, 2004, : 355 - 359
  • [7] Towards a formal description and automatic execution of production processes
    Vjestica, Marko
    Dimitrieski, Vladimir
    Pisaric, Milan
    Kordic, Slavica
    Ristic, Sonja
    Lukovic, Ivan
    2019 IEEE 15TH INTERNATIONAL SCIENTIFIC CONFERENCE ON INFORMATICS (INFORMATICS 2019), 2019, : 463 - 468
  • [8] EFFECT OF SYSTEM PROCESSES ON ERROR REPETITION - A PROBABILISTIC AND MEASUREMENT APPROACH
    HAC, A
    IEEE TRANSACTIONS ON RELIABILITY, 1986, 35 (05) : 494 - 497
  • [9] A NEW MEASUREMENT TECHNIQUE - AUTOMATIC REGULATION OF DRYING PROCESSES
    HARBERT, FC
    MICROTECNIC, 1978, (02): : 7 - 11
  • [10] AUTOMATIC-MEASUREMENT OF EXTREME DISTRIBUTION OF RANDOM PROCESSES
    KONSTANTINOV, VA
    VOZZHAEV, VG
    GORLOVSKII, VA
    LYKOV, YI
    PRIBORY I TEKHNIKA EKSPERIMENTA, 1975, (06): : 91 - 93
12345