Book Chapter10.1007/3-540-44667-2_8
Exploiting structure in solution: decomposing compositional models
Jane Hillston
- 17 Jan 2002
- pp 278-314
21
TL;DR: This chapter considers how far compositionality has been able to take advantage of when it comes to solving the Markov process underlying a Markovian process algebra model.
read more
Abstract: Since their introduction in the early 1990s, compositionality has been reported as one of the major attractions of stochastic process algebras. The benefits that compositionality provides for model construction are readily apparent and have been demonstrated in numerous case studies. Early research on the compositionality of the languages focused on how the inherent structure could be used, in conjunction with equivalence relations, for model simplification and aggregation. In this chapter we consider how far we have been able to take advantage of compositionality when it comes to solving the Markov process underlying a Markovian process algebra model.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Formal methods for performance evaluation
Ulrich Herzog
- 17 Jan 2002
TL;DR: The main goal of this contribution is to advocate the increased use of formal methods (FM) in the field of performance evaluation (PE) and reduce the mutual reservations between both areas, formal specification techniques and performance evaluation since both can profit from such an integration.
107
Resilience Assessment and Evaluation of Computing Systems
Katinka Wolter,Alberto Avritzer,Marco Vieira,Aad van Moorsel +3 more
- 02 Nov 2012
TL;DR: This volume is a comprehensive overview of the state of the art in a field of continuously growing practical importance, and aim at academic and industrial researchers in these areas as well as graduate students and lecturers in related fields.
81
•Dissertation
Structural and fluid analysis for large scale PEPA models - with applications to content adaptation systems
Jie Ding
- 28 Jun 2010
TL;DR: A novel deadlock-checking algorithm has been proposed to avoid the state-space explosion problem, and make PEPA suitable to validate and evaluate large scale computer and communications systems, in particular a content adaption framework proposed by the Mobile VCE.
Mean value analysis for a class of PEPA models
Nigel Thomas
- 01 Jan 2008
TL;DR: A class of closed queueing networks is modelled in the Markovian process algebra PEPA and solved using the classical mean value analysis and a simplifying approximation is derived, which is shown to be highly accurate when the population is large.
16
Mean value analysis for a class of PEPA models
Nigel Thomas,Yishi Zhao +1 more
TL;DR: In this article, a class of closed queueing networks is modelled in the Markovian process algebra PEPA and solved using the classical mean value analysis, which negates the need to derive the entire state space, and so certain metrics from large models can be obtained with little computational effort.
14
References
Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
TL;DR: Many of the network results of Jackson on arrival and service rate dependencies, of Posner and Bernholtz on different classes of customers, and of Chandy on different types of service centers are combined and extended in this paper.
•Book
A Compositional Approach to Performance Modelling
Jane Hillston
- 13 Jun 1996
TL;DR: Modelling study: multi-server multi-queue systems shows strong equivalence between strong and weak isomorphism and strong bisimilarity.
Performance Analysis Using Stochastic Petri Nets
TL;DR: An isomorphism between the behavior of Petri nets with exponentially distributed transition rates and Markov processes is presented and this work solves for the steady state average message delay and throughput on a communication link when the alternating bit protocol is used for error recovery.
1.1K
Jobshop-Like Queueing Systems
TL;DR: The equilibrium joint probability distribution of queue lengths is obtained for a broad class of jobshop-like "networks of waiting lines," where the mean arrival rate of customers depends almost arbitrarily upon the number already present, and the mean service rate at each service center depends almost arbitrary upon the queue length there.
954
The PEPA workbench: a tool to support a process algebra-based approach to performance modelling
Stephen Gilmore,Jane Hillston +1 more
- 01 Jun 1994
TL;DR: A new technique for performance modelling and a tool supporting this approach are presented and the performance aspects of the PEPA language are concentrated on.