Exploiting structure in solution: decomposing compositional models

Authors:
Jane Hillston
Affiliations:
Univ. of Edinburgh, Edinburgh, UK
Venue:
Lectures on formal methods and performance analysis
Year:
2002

Citing 14
Cited 4

Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models

IEEE Transactions on Software Engineering
Embedded Processes in Stochastic Petri Nets

IEEE Transactions on Software Engineering
Markovian Petri Nets protocols with product form solution

Performance Evaluation
The PEPA workbench: a tool to support a process algebra-based approach to performance modelling

Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
Routing in the presence of breakdowns

Performance '93 Proceedings of the 16th IFIP Working Group 7.3 international symposium on Computer performance modeling measurement and evaluation
A compositional approach to performance modelling

A compositional approach to performance modelling
A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time

Theoretical Computer Science
Product form solution for a class of PEPA models

IPDS '98 Proceedings of the third IEEE international performance and dependability symposium on International performance and dependability symposium
On the stochastic structure of parallelism and synchronization models for distributed algorithms
Open, Closed, and Mixed Networks of Queues with Different Classes of Customers

Journal of the ACM (JACM)
A Characterization of Independence for Competing Markov Chains with Applications to Stochastic Petri Nets

IEEE Transactions on Software Engineering
Product form solution for an insensitive stochastic process algebra structure

Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
On the Product Form Solution for Stochastic Petri Nets

Proceedings of the 13th International Conference on Application and Theory of Petri Nets
Semi-numerical Solution of Stochastic Process Algebra Models

ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems

Unified specification and performance evaluation using stochastic process algebras

Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Mean Value Analysis for a Class of PEPA Models

EPEW '09 Proceedings of the 6th European Performance Engineering Workshop on Computer Performance Engineering
Formal performance modelling: from protocols to people

EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Formal performance modelling: from protocols to people

EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering

Quantified Score

Hi-index	0.00

Visualization

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.