Stochastic Process Algebras - Between LOTOS and Markov Chains
نویسندگان
چکیده
This paper introduces stochastic process algebras as an approach for the structured design and analysis of both the functional behavior and performance characteristics of parallel and distributed systems. This is achieved by integrating stochastic modelling and analysis into process algebras like CCS or LOTOS. We demonstrate how notions of equivalent behavior – substantial for process algebras – stand in a new light for stochastic process algebras. In particular we discuss the impact of stochastic versions of such equivalences on compositional performance analysis by means of a running example. In addition we discuss analysis techniques, tool support and include a survey of related work as well as recent trends in this area.
منابع مشابه
Towards a Superset of Basic Lotos for Performance Prediction
Stochastic process algebras (SPA) provide primitive operators that serve as means to incorporate stochastic timing aspects into a process algebraic speciication. In this paper we add some comfortable operators to an SPA where the passing of time is separated from the occurrence of activities. We present a superset of Basic Lotos which integrates probabilistic branching and exponentially distrib...
متن کاملENTROPY FOR DTMC SIS EPIDEMIC MODEL
In this paper at rst, a history of mathematical models is given.Next, some basic information about random variables, stochastic processesand Markov chains is introduced. As follows, the entropy for a discrete timeMarkov process is mentioned. After that, the entropy for SIS stochastic modelsis computed, and it is proved that an epidemic will be disappeared after a longtime.
متن کاملNormal and inhomogeneous moment closures for stochastic process algebras
This paper discusses the application of moment closures to continuous Markov chains derived from process algebras such as GPEPA and MASSPA. Two related approaches are being investigated. Firstly we re-formulate normal moment closure in a process algebra framework using Isserlis’ theorem. Secondly we apply a mixture of this normal closure and less precise moment closures for the purpose of reduc...
متن کاملStochastic Dynamic Programming with Markov Chains for Optimal Sustainable Control of the Forest Sector with Continuous Cover Forestry
We present a stochastic dynamic programming approach with Markov chains for optimal control of the forest sector. The forest is managed via continuous cover forestry and the complete system is sustainable. Forest industry production, logistic solutions and harvest levels are optimized based on the sequentially revealed states of the markets. Adaptive full system optimization is necessary for co...
متن کاملReview on Stochastic Comparison Relations
The report offers an overview of some stochastic simulation and bisimulation relations based on continuous-time Markov chains and on stochastic (possibly Markovian) process algebras.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Computer Networks
دوره 30 شماره
صفحات -
تاریخ انتشار 1998