
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Mirco Tribastone, Jie Ding, Stephen Gilmore, Jane Hillston, "Fluid Rewards for a Stochastic Process Algebra," IEEE Transactions on Software Engineering, vol. 38, no. 4, pp. 861874, JulyAug., 2012.  
BibTex  x  
@article{ 10.1109/TSE.2011.81, author = {Mirco Tribastone and Jie Ding and Stephen Gilmore and Jane Hillston}, title = {Fluid Rewards for a Stochastic Process Algebra}, journal ={IEEE Transactions on Software Engineering}, volume = {38}, number = {4}, issn = {00985589}, year = {2012}, pages = {861874}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2011.81}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Software Engineering TI  Fluid Rewards for a Stochastic Process Algebra IS  4 SN  00985589 SP861 EP874 EPD  861874 A1  Mirco Tribastone, A1  Jie Ding, A1  Stephen Gilmore, A1  Jane Hillston, PY  2012 KW  Modeling and prediction KW  ordinary differential equations KW  Markov processes VL  38 JA  IEEE Transactions on Software Engineering ER   
[1] A. Clark, S. Gilmore, J. Hillston, and M. Tribastone, "Stochastic Process Algebras," Proc. Seventh Int'l Conf. Formal Methods for Performance Evaluation, pp. 132179, May/June 2007.
[2] M. Tribastone and S. Gilmore, "Automatic Translation of UML Sequence Diagrams into PEPA Models," Proc. Fifth Int'l Conf. the Quantitative Evaluation of Systems, pp. 205214, Sept. 2008.
[3] M. Tribastone and S. Gilmore, "Automatic Extraction of PEPA Performance Models from UML Activity Diagrams Annotated with the MARTE Profile," Proc. Seventh Int'l Workshop Software and Performance, June 2008.
[4] J. Hillston, "Fluid Flow Approximation of PEPA Models," Proc. Second Int'l Conf. Quantitative Evaluation of Systems, pp. 3343, Sept. 2005.
[5] M. Tribastone, S. Gilmore, and J. Hillston, "Scalable Differential Analysis of Process Algebra Models," IEEE Trans. Software Eng., vol. 38, no. 1, pp. 205219, http://doi.ieeecomputersociety.org/10.1109 TSE.2010.82, Jan./Feb. 2012.
[6] J. Hillston, A Compositional Approach to Performance Modelling. Cambridge Univ. Press, 1996.
[7] J. Meyer, "On Evaluating the Performability of Degradable Computing Systems," IEEE Trans. Computers, vol. 29, no. 8, pp. 720731, Aug. 1980.
[8] R. Smith, K. Trivedi, and A. Ramesh, "Performability Analysis: Measures, an Algorithm, and a Case Study," IEEE Trans. Computers, vol. 37, no. 4, pp. 406417, Apr. 1988.
[9] K.S. Trivedi, J.K. Muppala, S.P. Woolet, and B.R. Haverkort, "Composite Performance and Dependability Analysis," Performance Evaluation, vol. 14, nos. 3/4, pp. 197215, 1992.
[10] J.F. Meyer, "Performability: A Retrospective and Some Pointers to the Future," Performance Evaluation, vol. 14, nos. 3/4, pp. 139156, 1992.
[11] M. Beaudry, "PerformanceRelated Reliability Measures for Computing Systems," IEEE Trans. Computers, vol. 27, no. 6, pp. 540547, June 1978.
[12] L.T. Wu, "Operational Models for the Evaluation of Degradable Computing Systems," SIGMETRICS Performance Evaluation Rev., vol. 11, no. 4, pp. 179185, 1982.
[13] W.H. Sanders and J. Meyer, "A Unified Approach for Specifying Measures of Performance, Dependability, and Performability," Dependable Computing for Critical Applications, pp. 215247, SpringerVerlag 1990.
[14] B. Haverkort and K. Trivedi, "Specification Techniques for Markov Reward Models," Discrete Event Dynamic Systems, vol. 3, nos. 2/3, pp. 219247, July 1993.
[15] A. Aldini and M. Bernardo, "Mixing Logics and Rewards for the ComponentOriented Specification of Performance Measures," Theoretical Computer Science, vol. 382, no. 1, pp. 323, 2007.
[16] G. Clark, S. Gilmore, and J. Hillston, "Specifying Performance Measures for PEPA," Proc. Fifth Int'l AMAST Workshop Formal Methods for RealTime and Probabilistic Systems, J.P. Katoen, ed., pp. 211227, 1999.
[17] J.T. Bradley, R. Hayden, W.J. Knottenbelt, and T. Suto, "Extracting Response Times from Fluid Analysis of Performance Models," Proc. SPEC Int'l Performance Evaluation Workshop, pp. 2943, 2008.
[18] A. Clark, A. Duguid, S. Gilmore, and M. Tribastone, "Partial Evaluation of PEPA Models for FluidFlow Analysis," Proc. Fifth European Performance Eng. Workshop Computer Performance Eng., pp. 216, 2008.
[19] A. Clark, A. Duguid, S. Gilmore, and J. Hillston, "Espresso, a Little Coffee," Proc. Seventh Workshop Process Algebra and Stochastically Timed Activities, 2008.
[20] M. Tribastone, "Scalable Analysis of Stochastic Process Algebra Models," PhD dissertation, School of Informatics, The Univ. of Edinburgh, 2010.
[21] J. Ding, "Structural and Fluid Analysis for Large Scale PEPA Models—with Applications to Content Adaptation Systems," PhD dissertation, School of Eng., The Univ. of Edinburgh, 2010.
[22] P. Pollet, "On a Model for Interference between Searching Insect Parasites," J. Australian Math. Soc. Series B, vol. 32, no. 2, pp. 133150, 1990.
[23] P. Billingsley, Probability and Measure, third ed. Wiley, 1995.
[24] R. Darling and J. Norris, "Differential Equation Approximations for Markov Chains," Probability Surveys, vol. 5, pp. 3779, 2008.
[25] J. Kemeny and J. Snell, Finite Markov Chains. Van Nostrand, 1960.
[26] L. Gurvits and J. Ledoux, "Markov Property for a Function of a Markov Chain: A Linear Algebra Approach," Linear Algebra and Its Applications, vol. 404, pp. 85117, 2005.
[27] B.R. Haverkort, Performance of Computer Communication Systems: A ModelBased Approach. John Wiley & Sons, 1998.
[28] C. Alexopoulos and D. Goldsman, "To Batch or Not to Batch?" ACM Trans. Modeling and Computer Simulation, vol. 14, no. 1, pp. 76114, 2004.
[29] U.M. Ascher and L.R. Petzold, Computer Methods for Ordinary Differential Equations and DifferentialAlgebraic Equations. SIAM, 1988.
[30] P. Fitzpatrick, Advanced Calculus, second ed. AMS Bookstore, 2009.
[31] J. Little, "A Proof of the Queuing Formula: $L = \lambda \; W$ ," Operations Research, vol. 9, no. 3, pp. 383387, 1961.
[32] M. Tribastone, A. Duguid, and S. Gilmore, "The PEPA Eclipse PlugIn," Performance Evaluation Rev., vol. 36, no. 4, pp. 2833, Mar. 2009.
[33] W.J. Stewart, Probability, Markov Chains, Queues, and Simulation. Princeton Univ. Press, 2009.