Calculating the Response Time Based on Action Flow in Stochastic Process Algebra Models

被引：0
|
作者：
Ding, Jie [1 ,2 ]
Sha, Leijie [1 ,3 ]
Zhu, Xinshan [4 ]
机构：
[1] Yangzhou Univ, Sch Informat Engn, Yangzhou, Jiangsu, Peoples R China
[2] Nanjing Univ, State Key Lab Novel Software Technol, Nanjing, Jiangsu, Peoples R China
[3] Beihang Univ, State Key Lab Software Dev Environm, Beijing, Peoples R China
[4] Tianjin Univ, Sch Elect Engn & Automat, Tianjin, Peoples R China
来源：
2016 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC) | 2016年
关键词：
SPA; PEPA; CTMC; Response time;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Response time plays an important factor in determining the Service Level Agreement (SLA). For the reason that actual measurement costs a large amount of resource, theoretical/numerical analysis based on Stochastic Process Algebra (SPA) is a good choice to obtain the response time of concurrent systems. Among all SPAs, Performance Evaluation Process Algebra (PEPA) is the most popular one due to its precise semantics. As a result, this paper gives two methods, theoretical and numerical, for analyzing response time between two specified actions. These two methods are restricted in the scenarios that there are no actions can be performed parallelly in a response. In addition, theoretical analysis just applies to small scale models.
引用
收藏
页码：3618 / 3623
页数：6
相关论文
共 50 条
  • [1] Numerically Representing Stochastic Process Algebra Models
    Ding, Jie
    Hillston, Jane
    [J]. COMPUTER JOURNAL, 2012, 55 (11): : 1383 - 1397
  • [2] Structural Analysis for Stochastic Process Algebra Models
    Ding, Jie
    Hillston, Jane
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 2011, 6486 : 1 - +
  • [3] State Equations in Stochastic Process Algebra Models
    Ding, Jie
    Zhu, Xin-Shan
    Chen, Xiao
    [J]. IEEE ACCESS, 2019, 7 : 61195 - 61203
  • [4] Real-time process algebra with stochastic delays
    Markovski, J.
    de Vink, E. P.
    [J]. SEVENTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2007, : 177 - +
  • [5] Stochastic and Real Time in Process Algebra: A Conceptual Overview
    Bravetti, Mario
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 162 : 113 - 119
  • [6] Extending timed process algebra with discrete stochastic time
    Markovski, Jasen
    de Vink, Erik P.
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2008, 5140 : 268 - 283
  • [7] A stochastic causality-based process algebra
    Brinksma, E
    Katoen, JP
    Langerak, R
    Latella, D
    [J]. COMPUTER JOURNAL, 1995, 38 (07): : 552 - 565
  • [8] Integrated Analysis from Abstract Stochastic Process Algebra Models
    Hillston, Jane
    Ciocchetta, Federica
    Duguid, Adam
    Gilmore, Stephen
    [J]. COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, PROCEEDINGS, 2008, 5307 : 2 - 4
  • [9] Stochastic Process Algebra Based Software Process Simulation Modeling
    Zhai, Jian
    Yang, Qiusong
    Su, Feng
    Xiao, Junchao
    Wang, Qing
    Li, Mingshu
    [J]. TRUSTWORTHY SOFTWARE DEVELOPMENT PROCESSES, PROCEEDINGS, 2009, 5543 : 136 - +
  • [10] Time-Parallel Simulation for Stochastic Automata Networks and Stochastic Process Algebra
    Thu Ha Dao Thi
    Fourneau, Jean-Michel
    Quessette, Franck
    [J]. ANALYTICAL AND STOCHASTIC MODELLING TECHNIQUES AND APPLICATIONS, 2014, 8499 : 140 - 154
12345