Thumbnail
Access Restriction
Open

Author Bohnenkamp, Henrik ♦ Haverkort, Boudewijn
Source CiteSeerX
Content type Text
Publisher Springer
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Stochastic Process Algebra Model ♦ Continuous-time Markov Chain ♦ Solution Method ♦ Solution Technique ♦ Global Set ♦ Distribution Function ♦ Introduction Formal ♦ Stochastic Process Algebra Term ♦ Complete Global State Space ♦ Semi-numerical Solution ♦ Markov Chain ♦ Semi-markov Process ♦ State Space Explosion Problem ♦ Distributed Implementation ♦ Local Information ♦ Embedded Markov Chain ♦ Sequential Process ♦ Fixed Number
Description A solution method for solving Markov chains for a class of stochastic process algebra terms is presented. The solution technique is based on a reformulation of the underlying continuous-time Markov chain (CTMC) in terms of semi-Markov processes. For the reformulation only local information about the processes running in parallel is needed, and it is therefore never necessary to generate the complete global state space of the CTMC. The method works for a fixed number of sequential processes running in parallel and which all synchronize on the same global set of actions. The behaviour of the processes is expressed by the embedded Markov chain of a semi-Markov process and by distribution functions (exponomials) which describe the times between synchronizations. The solution method is exact, hence, the state space explosion problem for this class of processes has been solved. A distributed implementation of the solution technique is straightforward.
Proc. of 6th Process Algebra and Performance Modelling Workshop
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 1998-01-01