Thumbnail
Access Restriction
Open

Author Bohnenkamp, Henrik C. ♦ Haverkort, Boudewijn R.
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 Parallel Process ♦ Exponomial Distribution ♦ Xed Number ♦ Stochastic Process Algebra Model ♦ Solution Method ♦ Underlying Continuoustime Markov Chain ♦ Markovian Stochastic Process Algebra ♦ Distribution Function ♦ Complete Global State Space ♦ Stochastic Process Algebra ♦ Semi-numerical Solution ♦ State Space Explosion Proble ♦ Ecient Decomposition-based Solution Method ♦ Simple Class ♦ New Solution Technique ♦ Global Set ♦ Per-process Time ♦ Semi-markov Chain ♦ Markov Chain ♦ Local Information ♦ Sequential Process
Description An ecient decomposition-based solution method for a simple class of Markovian stochastic process algebras is presented. The class of stochastic process algebras addressed comprised so-called synchronised parallel processes, in which a xed number of sequential processes is running in parallel, and which all synchronise on the same global set of actions every now and then (barrier synchronisation). The new solution technique is based on a decomposition of the underlying continuoustime Markov chain in terms of semi-Markov chains. In doing so, 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 Markov chain. Instead, the behaviour of the processes is captured completely by a (much smaller) semi-Markov chain and by distribution functions (exponomials) which describe the per-process times between synchronisations. The solution method is exact, hence, the state space explosion proble...
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