A unified approach to modelling the performance of concurrent systems

Simulation Modelling Practice and Theory

Volumn 17, Issue 9, 2009, Pages 1445-1456

  Harrison, Peter G ^a   Lladó, Catalina M ^b   Puigjaner, Ramon ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITAT DE LES ILLES BALEARS   (Spain)

Author keywords

Performance modelling; Product forms; Tool interoperability

Indexed keywords

ANALYTICAL MODELLING; COMPOUND AGENTS; CONCURRENT SYSTEMS; EQUILIBRIUM STATE; INTERCHANGE FORMATS; PERFORMANCE MODELLING; PRODUCT-FORM; PRODUCT-FORMS; QUANTITATIVE DESIGN; SUPPORT ENVIRONMENT; UNIFIED APPROACH;

INTEROPERABILITY;

EID: 69249229553     PISSN: 1569190X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.simpat.2009.06.003     Document Type: Article

References (22)

1. Baskett F., Chandy K.M., Muntz R.R., and Palacios F.G. Open, closed and mixed networks of queues with different classes of customers. Journal of ACM 22 2 (1975) 248-260
2. Bolch G., Greiner S., de Meer H., and Trivedi K.S. Queueing Networks and Markov Chains Modeling and Performance Evaluation with Computer Science Applications (2006), Wiley
3. Boucherie R.J. A characterisation of independence for competing markov chains with applications to stochastic petri nets. IEEE Transactions on Software Engineering 20 7 (1994) 536-544
4. Buzen J.P. Computational algorithms for closed queueing networks with exponential servers. Communications of the ACM 16 (1973) 527-531
5. Chao X., Miyazawa M., and Pinedo M. Queueing Networks: Customers, Signals and Product Form Solutions (1999), Wiley
6. J.-M. Fourneau, B. Plateau, W.J. Stewart, Product form for stochastic automata networks, in: Second International Conference on Performance Evaluation Methodologies and Tools, Valuetools 2007, October 2007.
7. Gelenbe E. Random neural networks with positive and negative signals and product form solution. Neural Computation 1 4 (1989) 502-510
8. Gelenbe E. Queueing networks with negative and positive customers. Journal of Applied Probability 28 (1991) 656-663
9. Peter G. Harrison, Catalina Lladó, Ramon Puigjaner, A general performance model interchange format, in: First International Conference on Performance Evaluation Methodologies and Tools, Valuetools 2006, Pisa, Italy, ACM International Conference Proceedings, vol. 180, Article No. 6, October 2006, p. 10.
10. Harrison P.G. Turning back time in markovian process algebra. Theoretical Computer Science 290 3 (2003) 1947-1986 January
11. Harrison P.G. Compositional reversed Markov processes with applications to G-networks. Performance Evaluation December (2004)
12. Harrison P.G., and Lee T.T. Separable equilibrium state probabilities via time reversal in Markovian process algebra. Theoretical Computer Science (2005)
13. P.G. Harrison, A. Marin, A compositional construction of product-form petri-nets using ERCAT, Technical Report, Department of Computing, Imperial College London and Dipartimento di Informatica, Universit'a Ca+ Foscari di Venezia, 2009.
14. Harrison P.G., and Patel N.M. Performance Modelling of Communication Networks and Computer Architectures (1992), Addison-Wesley
15. J. Hillston, A compositional approach to performance modelling, PhD Thesis, University of Edinburgh, 1994.
16. Jackson J.R. Jobshop-like queueing systems. Management Science 10 1 (1963) 131-142
17. Kelly F.P. Reversibility and Stochastic Networks (1979), Wiley
18. Herzog U., Götz N., and Rettelbach M. Multiprocessor and distributed system design: the integration of functional specification and performance analysis using stochastic process algebras. Tutorial Proceedings of PERFORMANCE '93. Lecture Notes in Computer Science vol. 794 (1993), Springer-Verlag
19. M. Potier, D. Veran, Qnap2: a portable environment for queueing systems modelling, in: D. Potier (Ed.), International Conference on Modeling Techniques and Tools for Performance Analysis, Paris, May 1984, North Holland, May 1985, pp. 25-63.
20. C.U. Smith, C.M. Llado, Performance model interchange format (pmif 2.0): xml definition and implementation, in: Proceedings of the First International Conference on the Quantitative Evaluation of Systems, September 2004, pp. 38-47.
21. C.U. Smith, C.M. Llado, R. Puigjaner, L.G. Williams, Interchange formats for performance models: experimentation and output, in: Proceedings of the Fourth International Conference on the Quantitative Evaluation of Systems, September 2007, pp. 91-100.
22. C.U. Smith, L.G. Williams, Panel presentation: a performance model interchange format, in: Proceedings of the International Conference on Modeling Techniques and Tools for Computer Performance Evaluation, 1995.