An efficient algorithm for aggregating PEPA models

IEEE Transactions on Software Engineering

Volumn 27, Issue 5, 2001, Pages 449-464

  Gilmore, Stephen ^a   Hillston, Jane ^a   Ribaudo, Marina ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF TURIN   (Italy)

Author keywords

Model aggregation; Performance evaluation tools; Performance modeling; Stochastic process algebras

Indexed keywords

ALGEBRA; ALGORITHMS; CALCULATIONS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; MATHEMATICAL MODELS; MULTIPROCESSING SYSTEMS; RANDOM PROCESSES;

PERFORMANCE EVALUATION PROCESS ALGEBRA; PERFORMANCE MODEL; STOCHASTIC PROCESS ALGEBRAS;

FORMAL LANGUAGES;

EID: 0035330743     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.922715     Document Type: Article

References (21)

1. Stochastic process algebras
2. A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
3. Compositional Markovian modeling using a process algebra
4. The PEPA workbench: A tool to support a process algebra based approach to performance modeling
5. TwoTowers: A tool integrating function and performance analysis of concurrent systems
6. Compositional performance modeling with TIPP tool
7. From SPA models to programs
8. On the aggregation techniques in stochastic petri nets and stochastic process algebras
9. Stochastic well-formed coloured nets for symmetric modeling applications
10. Performance analysis using stochastic petri nets
11. Stochastic well-formed coloured nets and multiprocessor modeling applications
12. Reduced base model construction methods for stochastic activity networks
13. Compositional nets and compositional aggregation
14. Stochastic process algebras as a tool for performance and dependability modelling
15. Exploiting symmetries in stochastic process algebras
16. Compositional minimal semantics for the stochastic process algebra TIPP
17. Performance investigating of an on-line auction system
18. On well-formed coloured nets and their symbolic reachability graph