GCSRL - A Logic for Stochastic Reward Models with Timed and Untimed Behaviour
Kuntz, Matthias and Haverkort, Boudewijn R. (2007) GCSRL - A Logic for Stochastic Reward Models with Timed and Untimed Behaviour. In: Eighth International Workshop on Performability Modeling of Computer and Communication Systems, 20-21 Sept 2007, Edinburgh, UK.
|Abstract:||In this paper we define the logic GCSRL (generalised continuous stochastic reward logic) that provides means to reason about systems that have states which sojourn times are either greater zero, in which case this sojourn time is exponentially distributed (tangible states), or zero (vanishing states).
In case of generalised stochastic Petri nets (GSPNs) and stochastic process algebras it turned out that these vanishing states can be very useful when it comes to define system behaviour. In the same way these states are useful for defining system properties using stochastic logics. We extend both the semantic model and the semantics of CSRL such that it allows to attach impulse rewards to transitions emanating from vanishing states. We show by means of a small example how model checking GCSRL formulae works.
|Item Type:||Conference or Workshop Item|
Electrical Engineering, Mathematics and Computer Science (EEMCS)
|Link to this item:||http://purl.utwente.nl/publications/64323|
|Export this item as:||BibTeX|
Daily downloads in the past month
Monthly downloads in the past 12 months
Repository Staff Only: item control page
Metis ID: 241873