Scalable differential analysis of process algebra models

IEEE Transactions on Software Engineering

Volumn 38, Issue 1, 2012, Pages 205-219

  Tribastone, Mirco ^a   Gilmore, Stephen ^a   Hillston, Jane ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Markov processes; Modeling and prediction; ordinary differential equations

Indexed keywords

DETERMINISTIC APPROXIMATION; DIFFERENTIAL ANALYSIS; EXACT PERFORMANCE ANALYSIS; LARGE-SCALE SOFTWARE SYSTEMS; MARKOV CHAIN MODELS; MULTI-THREADED APPLICATION; PROCESS ALGEBRAS; STATE-SPACE EXPLOSION; STOCHASTIC PROCESS ALGEBRAS;

ALGEBRA; MARKOV PROCESSES; STOCHASTIC MODELS;

ORDINARY DIFFERENTIAL EQUATIONS;

EID: 84856527867     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2010.82     Document Type: Article

References (26)

1. W. Stewart, Introduction to the Numerical Solution of Markov Chains. Princeton Univ. Press, 1994.
2. A.L. Reibman and K.S. Trivedi, "Numerical Transient Analysis of Markov Models," Computers and Operations Research, vol. 15, no. 1, pp. 19-36, 1988.
3. D.T. Gillespie, "Exact Stochastic Simulation of Coupled Chemical Reactions," The J. Physical Chemistry, vol. 81, no. 25, pp. 2340-2361, 1977.
4. M.Z. Kwiatkowska, G. Norman, and D. Parker, "Stochastic Model Checking," SFM, M. Bernardo and J. Hillston, eds., pp. 220-270, Springer 2007. (Pubitemid 47290140)
5. P. Buchholz, "Exact and Ordinary Lumpability in Finite Markov Chains," J. Applied Probability, vol. 31, no. 1, pp. 59-75, 1994.
6. T.G. Kurtz, "Solutions of Ordinary Differential Equations as Limits of Pure Markov Processes," J. Applied Probability, vol. 7, no. 1, pp. 49-58, Apr. 1970.
7. M. Mitzenmacher, "The Power of Two Choices in Randomized Load Balancing," PhD dissertation, Dept. of Computer Science, Univ. of California, 1996.
8. J. Hillston, "Fluid Flow Approximation of PEPA Models," Proc. IEEE Second Int'l Conf. the Quantitative Evaluation of Systems, pp. 33-43, Sept. 2005.
9. J. Hillston, A Compositional Approach to Performance Modelling. Cambridge Univ. Press, 1996.
10. J. Hillston, "The Nature of Synchronisation," Proc. Second Int'l Workshop Process Algebras and Performance Modelling, pp. 51-70, Nov. 1994.
11. S. Gilmore, J. Hillston, and M. Ribaudo, "An Efficient Algorithm for Aggregating PEPA Models," IEEE Trans. Software Eng., vol. 27, no. 5, pp. 449-464, May 2001. (Pubitemid 32534358)
12. J. Bradley, S. Gilmore, and J. Hillston, "Analysing Distributed Internet Worm Attacks Using Continuous State-Space Approximation of Process Algebra Models," J. Computer and System Sciences, vol. 74, no. 6, pp. 1013-1032, Sept. 2008.
13. R.A. Hayden and J.T. Bradley, "Evaluating Fluid Semantics for Passive Stochastic Process Algebra Cooperation," Performance Evaluation, vol. 67, no. 4, pp. 260-284, 2010.
14. M. Tribastone, A. Duguid, and S. Gilmore, "The PEPA Eclipse Plug-In," Performance Evaluation Rev., vol. 36, no. 4, pp. 28-33, Mar. 2009.
15. R. Darling and J. Norris, "Differential Equation Approximations for Markov Chains," Probability Surveys, vol. 5, pp. 37-79, 2008.
16. M. Tribastone, "Relating Layered Queueing Networks and Process Algebra Models," Proc. First Joint WOSP/SIPEW Int'l Conf. Performance Eng., pp. 183-194, 2010.
17. S. Benkirane, J. Hillston, C. McCaig, R. Norman, and C. Shankland, "Improved Continuous Approximation of PEPA Models through Epidemiological Examples," Electronic Notes in Theoretical Computer Science, vol. 229, no. 1, pp. 59-74, 2009.
18. M. Calder, S. Gilmore, and J. Hillston, "Automatically Deriving ODEs from Process Algebra Models of Signalling Pathways," Proc. Computational Methods in Systems Biology, 2005.
19. N. Geisweiller, J. Hillston, and M. Stenico, "Relating Continuous and Discrete PEPA Models of Signalling Pathways," Theoretical Computer Science, vol. 404, nos. 1/2, pp. 97-111, 2008.
20. M. Calder, S. Gilmore, and J. Hillston, "Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA," Trans. Computational Systems Biology, vol. 4230, pp. 1-23, 2006. (Pubitemid 351150621)
21. J. Ding and J. Hillston, "Convergence of the Fluid Approximation of PEPA Models," Proc. Seventh Workshop Process Algebra and Stochastically Timed Activities, 2008.
22. L. Cardelli, "On Process Rate Semantics," Theoretical Computer Science, vol. 391, no. 3, pp. 190-215, 2008.
23. L. Bortolussi and A. Policriti, "Stochastic Concurrent Constraint Programming and Differential Equations," Electronic Notes Theoretical Computer Science, vol. 190, no. 3, pp. 27-42, 2007. (Pubitemid 47333263)
24. M. Benaim and J.-Y.L. Boudec, "A Class of Mean Field Interaction Models for Computer and Communication Systems," Performance Evaluation, vol. 65, nos. 11/12, pp. 823-838, 2008.
25. A. Chaintreau, J.-Y.L. Boudec, and N. Ristanovic, "The Age of Gossip: Spatial Mean Field Regime," SIGMETRICS/Performance, J.R. Douceur, A.G. Greenberg, T. Bonald, and J. Nieh, eds., pp. 109-120, 2009.
26. R. Bakhshi, L. Cloth, W. Fokkink, and B. Haverkort, "Mean-Field Analysis for the Evaluation of Gossip Protocols," Proc. IEEE Sixth Int'l Conf. Quantitative Evaluation of Systems, pp. 247-256, 2009.