Testing semantics for a probabilistic-timed process algebra

被引：0
|
作者：
Gregorio-Rodriguez, C [1 ]
Llana-Diaz, L [1 ]
Nunez, M [1 ]
Palao-Gostanza, P [1 ]
机构：
[1] Univ Complutense Madrid, Dept Informat & Automat, E-28040 Madrid, Spain
来源：
TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT | 1997年 / 1231卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper we present a probabilistic-timed process algebra, which tries to unify the best solutions of previous probabilistic and timed algebras. We provide an operational semantics for the new language (PTPA), and from this operational semantics we define a testing semantics based on the probability with which processes pass tests. Afterwards the induced testing equivalence is operationally characterized by probabilistic timed traces.
引用
收藏
页码：353 / 367
页数：15
相关论文
共 50 条
  • [1] Probabilistic and topological semantics for timed automata
    Baier, Christel
    Bertrand, Nathalie
    Bouyer, Patricia
    Brihaye, Thomas
    Groesser, Marcus
    [J]. FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 179 - +
  • [2] Denotational semantics for timed testing
    Diaz, LFL
    Escrig, DD
    [J]. TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 368 - 382
  • [3] TRANSLATING TIMED PROCESS ALGEBRA INTO PRIORITIZED PROCESS ALGEBRA
    JEFFREY, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 493 - 506
  • [4] Process Opacity for Timed Process Algebra
    Gruska, Damas P.
    [J]. PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2014, 2015, 8974 : 151 - 160
  • [5] A PROCESS ALGEBRA FOR TIMED SYSTEMS
    HENNESSY, M
    REGAN, T
    [J]. INFORMATION AND COMPUTATION, 1995, 117 (02) : 221 - 239
  • [6] Modeling and analyzing Web services composition using timed probabilistic priced process algebra
    Xiao, Fang-Xiong
    Li, Yan
    Huang, Zhi-Qiu
    Cao, Zi-Ning
    Chen, Zhe
    Fan, Da-Juan
    [J]. Jisuanji Xuebao/Chinese Journal of Computers, 2012, 35 (05): : 918 - 936
  • [7] Operational Semantics of Probabilistic Kleene Algebra with Tests
    Qiao, Rui
    Wu, Jinzhao
    Wang, Yuan
    Gao, Xinyan
    [J]. 2008 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, 2008, : 181 - +
  • [8] ABSTRACT TIMED OBSERVATION AND PROCESS ALGEBRA
    JEFFREY, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 332 - 345
  • [9] Formal Testing of Timed and Probabilistic Systems
    Nunez, Manuel
    [J]. TESTING SOFTWARE AND SYSTEMS, 2011, 7019 : 9 - 14
  • [10] Modeling and analyzing web services combination by using an innovative timed probabilistic priced process algebra
    Zheng, Han
    [J]. AGRO FOOD INDUSTRY HI-TECH, 2017, 28 (03): : 1483 - 1485
12345