A fluid analysis framework for a Markovian process algebra

Theoretical Computer Science

Volumn 411, Issue 22-24, 2010, Pages 2260-2297

  Hayden, Richard A ^a   Bradley, Jeremy T ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Differential equations; Fluid approximation; Higher moments; Stochastic process algebra

Indexed keywords

CHAPMAN-KOLMOGOROV EQUATION; COMPLEX SYSTEMS; COMPONENT COUNT; EXACT SOLUTION; FLOW ANALYSIS; FLOW CALCULATIONS; FLUID ANALYSIS; FLUID APPROXIMATION; FLUID FLOW; HIGHER MOMENTS; HIGHER ORDER MOMENTS; LARGE CLASS; MARKOV MODEL; MARKOVIAN PROCESS ALGEBRAS; MODEL COMPONENTS; NUMBER OF COMPONENTS; PERFORMANCE CHARACTERISTICS; PERFORMANCE MODELLING; PROCESS ALGEBRAS; SOLUTION TECHNIQUES; STATE-SPACE EXPLOSION; STOCHASTIC PROCESS ALGEBRA; STOCHASTIC PROCESS ALGEBRAS; STOCHASTIC SIMULATIONS; SYSTEMS OF DIFFERENTIAL EQUATIONS;

ALGEBRA; CALCULATIONS; FLOW OF FLUIDS; FLUIDS; MARKOV PROCESSES; ORDINARY DIFFERENTIAL EQUATIONS; STOCHASTIC SYSTEMS;

STOCHASTIC MODELS;

EID: 77950862663     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2010.02.001     Document Type: Article

References (42)

1. Hillston J. A Compositional Approach to Performance Modelling. Distinguished Dissertations in Computer Science vol. 12 (1996), Cambridge University Press
2. Priami C. A stochastic π-calculus. The Computer Journal 38 7 (1995) 578-589
3. Bernardo M., and Gorrieri R. Extended Markovian Process Algebra. In: Montanari U., and Sassone V. (Eds). CONCUR'96, Proceedings of the 7th International Conference on Concurrency Theory. Lecture Notes in Computer Science vol. 1119 (August 1996), Springer-Verlag, Pisa 315-330
4. H. Hermanns, Interactive Markov Chains, Ph.D. Thesis, Universität Erlangen-Nürnberg, July 1998.
5. Bortolussi L. Stochastic concurrent constraint programming. QAPL'06, 4th Workshop on Quantitative Aspects of Programming Languages. Electronic Notes in Theoretical Computer Science vol. 164 (2006) 65-80
6. Duguid A. Coping with the parallelism of BitTorrent: Conversion of PEPA to ODEs in dealing with state space explosion. FORMATS'06, 4th Int. Conference on Formal Modeling and Analysis of Timed Systems. Lecture Notes in Computer Science vol. 4202 (2006), Springer 156-170
7. Buchholz P. Hierarchical Markovian models: Symmetries and reduction. Performance Evaluation 22 1 (1995) 93-110
8. V. Mertsiotakis, Approximate analysis methods for stochastic process algebras, Ph.D. Thesis, Universität Erlangen-Nürnberg, 1998.
9. Harrison P.G. Turning back time in Markovian process algebra. Theoretical Computer Science 290 (2003) 1947-1986
10. Hillston J., and Thomas N. Product form solution for a class of PEPA models. Performance Evaluation 35 3-4 (1999) 171-192
11. Boucherie R.J. A characterization of independence for competing Markov chains with applications to stochastic Petri nets. IEEE Transactions on Software Engineering 20 7 (1994) 536-544
12. Buchholz P. Exact and ordinary lumpability in finite Markov chains. Journal of Applied Probability 31 (1994) 59-75
13. Siegle M. Using structured modelling for efficient performance prediction of parallel systems. In: Joubert G.R., Trystram D., and Peters F.J. (Eds). Parallel Computing: Trends and Applications - Proc. of the Int. Conf. on Advances in Parallel Computing. Parco93 (May 1994), North-Holland 453-460
14. Chiola G. Manual and automatic exploitation of symmetries in SPN models. In: Desel J., and Silva M. (Eds). ICATPN'98, Proceedings of the International Conference on the Application and Theory of Petri Nets. Lecture Notes in Computer Science vol. 1420 (1998), Springer-Verlag 28-43
15. Gilmore S.T., Hillston J., and Ribaudo M. An efficient algorithm for aggregating PEPA models. IEEE Transactions on Software Engineering 27 May (2001) 449-464
16. Hillston J. Fluid flow approximation of PEPA models. QEST'05, Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems. Torino (September 2005), IEEE Computer Society Press 33-42
17. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 25 (1977) 2340-2361
18. Bradley J.T., Gilmore S.T., and Hillston J. Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models. Journal of Computer and System Sciences 74 September (2008) 1013-1032
19. Bortolussi L., and Policriti A. Stochastic concurrent constraint programming and differential equations. QAPL'07, 5th Workshop on Quantitative Aspects of Programming Languages. Electronic Notes in Theoretical Computer Science vol. 190 (September 2007) 27-42
20. L. Bortolussi, On the approximation of stochastic concurrent constraint programming by master equation, in: QAPL'08, 6th Workshop on Quantitative Aspects of Programming Languages, Budapest, March 2008.
21. Hoare C.A.R. Communicating sequential processes. Communications of the ACM 21 August (1978) 666-677
22. Cardelli L. From processes to ODEs by Chemistry. TCS 2008, Fifth IFIP International Conference on Theoretical Computer Science. Milan (2008), Springer
23. Cardelli L. On process rate semantics. Theoretical Computer Science 391 February (2008) 190-215
24. Cardelli L. A process algebra master equation. QEST 2007, Fourth International Conference on the Quantitative Evaluation of Systems. Edinburgh (2007), IEEE
25. Geisweiller N., Hillston J., and Stenico M. Relating continuous and discrete PEPA models of signalling pathways. Theoretical Computer Science 404 November (2008) 97-111
26. Kurtz T. Solutions of ordinary differential equations as limits of pure jump Markov processes. Applied Probability 7 April (1970) 49-58
27. Le Boudec J.-Y., McDonald D., and Mundinger J. A generic mean field convergence result for systems of interacting objects. QEST'07, Proceedings of the 3rd IEEE Conference on the Quantitative Evaluation of Systems. Edinburgh (September 2007), IEEE Computer Society 3-18
28. Benaïm M., and Le Boudec J.-Y. A class of mean field interaction models for computer and communication systems. Performance Evaluation 65 11-12 (2008) 823-838
29. Horton G., Kulkarni V.G., Nicol D.M., and Trivedi K.S. Fluid stochastic Petri nets: Theory, applications, and solution techniques. European Journal of Operational Research 105 1 (1998) 184-201
30. Boxma O.J., and Dumas V. The busy period in the fluid queue. ACM SIGMETRICS Performance Evaluation Review 26 1 (1998) 100-110
31. Field A.J., and Harrison P.G. An approximate compositional approach to the analysis of fluid queue networks. Performance Evaluation 64 September (2007) 1137-1152
32. Whitt W. Stochastic-Process Limits: An Introduction to Stochastic-Process Limits and their Application to Queues. Springer Series in Operations Research and Financial Engineering (2002), Springer
33. Bowman H., Bryans J.W., and Derrick J. Analysis of a multimedia stream using stochastic process algebras. The Computer Journal 44 4 (2001) 230-245
34. Fourneau J.-M., Kloul L., and Valois F. Performance modelling of hierarchical cellular networks using PEPA. Performance Evaluation 50 November (2002) 83-99
35. Thomas N., Bradley J.T., and Knottenbelt W.J. Stochastic analysis of scheduling strategies in a GRID-based resource model. IEE Software Engineering 151 September (2004) 232-239
36. Holton D.R.W. A PEPA specification of an industrial production cell. The Computer Journal 38 7 (1995) 542-551
37. Bradley J.T., Dingle N.J., Gilmore S.T., and Knottenbelt W.J. Derivation of passage-time densities in PEPA models using ipc: The Imperial PEPA Compiler. MASCOTS'03, Proceedings of the 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems (October 2003), IEEE Computer Society 344-351
38. Kemeny J.G., and Snell J.L. Finite Markov Chains (1960), Van Nostrand
39. R.A. Hayden, J.T. Bradley, Fluid semantics for passive stochastic process algebra cooperation, in: VALUETOOLS'08, Third International Conference on Performance Evaluation Methodologies and Tools, Athens, 2008.
40. Tribastone M. The PEPA plug-in project. QEST'07, Proceedings of the 4th Int. Conference on the Quantitative Evaluation of Systems (September 2007), IEEE Computer Society 53-54
41. Bradley J.T., and Knottenbelt W.J. The ipc/HYDRA tool chain for the analysis of PEPA models. QEST'04, Proceedings of the 1st IEEE Conference on the Quantitative Evaluation of Systems. University of Twente, Enschede (September 2004), IEEE Computer Society 334-335
42. Deavours D.D., Clark G., Courtney T., Daly D., Derisavi S., Doyle J.M., Sanders W.H., and Webster P.G. The Möbius framework and its implementation. IEEE Transactions on Software Engineering 28 October (2002) 956-969