Name
Abstract | ||
|---|---|---|
This paper presents an algorithm for determining the unknown rates in the sequential processes of a Stochastic Process Algebra (SPA) model, provided that the rates in the combined flat model are given. Such a rate lifting is useful for model reverse engineering and model repair. Technically, the algorithm works by solving systems of nonlinear equations and - if necessary - adjusting the model's synchronisation structure without changing its transition system. This approach exploits some structural properties of SPA systems, which are formulated here for the first time and could be very beneficial also in other contexts. |
Year | DOI | Venue |
|---|---|---|
2022 | 10.1007/978-3-031-16336-4_4 | QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2022) |
Keywords | DocType | Volume |
Stochastic Process Algebra, Structural Properties, Markov Chain, Model Repair, Rate Lifting | Conference | 13479 |
ISSN | Citations | PageRank |
0302-9743 | 0 | 0.34 |
References | Authors | |
0 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Markus Siegle | 1 | 0 | 0.34 |
| Amin Soltanieh | 2 | 0 | 0.34 |