Stochastic process algebras and their markovian semantics

Abstract

There is a long tradition of quantitative modelling in computer and telecommunication systems for performance evaluation and dependability analysis, dating back to the early work of Erlang on telephone exchanges at the beginning of twentieth century [Erlang 1917]. These models are typically stochastic, not because the behaviour of the system under study is inherently random, but because the models usually abstract from data and because interactions with humans are often intrinsic to the system, and both of these give rise to apparently stochastic behaviour. Whilst systems remained of moderate size, models could readily be hand-crafted, and results such as Little's Law were derived and widely-used, for example to optimise job shops [Little 1961]. Much work, like Little's Law, was based on a queueing abstraction, treating the resource in the system as the server of a queue, with users following an appropriate queueing discipline before gaining access to the resource. The more contention there is for the resource, the longer jobs are likely to spend in the queue waiting for access. The queueing paradigm is based on an essentially sequential view of computation and communication, with jobs flowing between resources, completing one task after another. Nevertheless it functioned extremely well until the 1980s, and for many people performance modelling was synonymous with queueing theory. However, the arrival of distributed systems that allowed jobs to access more than one resource at once, and multicast and broadcast communication, broke the assumptions of basic queueing theory making it much harder to carry out quantitative analysis of stochastic systems in order to predict non-functional properties such as performance, availability, reliability and dependability.

Computing performance requirements for web service compositions

“…Currently, the most common formalisms in performance engineering are layered queuing networks [25], stochastic Petri Nets [26] and stochastic Process Algebras [27]. These formalisms are backed by indepth research and the last two have solid mathematical foundations in Markov chain theory.…”

Estimating the Occurrence Rate for Alpha-Series Process in Rayleigh Distribution

“…Let the stochastic process , 0 represent the counting process and that represents times between event 1 to event , so the counting process is called ASP when there is αas a real number such as follows [5].…”

“…By deriving the equation ( 4) with respect to the probability density function of the ASP is obtained: (5) Where represents an RP, a sequence of non-negative random variables i.i.d [7]. Some theoretical characteristics of the ASP [8]: If ( > 0 , then ASP is randomly decreasing that is,…”