Performance modelling with the unified modelling language and stochastic process algebras

IEE Proceedings: Computers and Digital Techniques

Volumn 150, Issue 2, 2003, Pages 107-120

  Canevet, C ^a   Gilmore, S ^a   Hillston, J ^a   Prowse, M ^a   Stevens, P ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; FLEXIBLE MANUFACTURING SYSTEMS; MATHEMATICAL MODELS; PROCESS ENGINEERING; STOCHASTIC CONTROL SYSTEMS;

UNIFIED MODELLING LANGUAGES (UML);

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0038639133     PISSN: 13502387     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-cdt:20030084     Document Type: Conference Paper

References (22)

1. OBJECT MANAGEMENT GROUP: 'Unified modeling language, vl.4. OMG document number: formula/2001-09-67, March 2001
2. HILLSTON, J.: 'A compositional approach to performance modelling' (Cambridge University Press, 1996)
3. TIGRIS.ORG PROJECT'. 'ArgoUML: A modelling tool for design using UML'. Web page and documentation at http://argouml.tigris.org/, 2002
4. GILMORE, S., and HILLSTON, J.: The PEPA workbench: a tool to support a process algebra-based approach to performance modelling'. Proceedings of the 7th International Conference on Modelling techniques and tools for computer performance evaluation, Lect. Notes Comput. Sci., Vienna, 794, May 1994, pp. 353-368,
5. OBJECT MANAGEMENT GROUP: 'OMG-XML metadata interchange (XMI) specification, vl.1 OMG document number: formal/00-11-02, November 2000
6. STEVENS, P.: 'Small-scale XMI programming: a revolution in UML tool use?', J. Autom. Softw. Eng., 2003,10, (1), pp. 7-21
7. CLARK, G., GILMORE, S., HILLSTON, J., and RIBAUDO, M.: 'Exploiting modal logic to express performance measures' in HAVERKORT, B.R., BOHNENKAMP, H.C., SMITH, C.U., (Eds.): 'Computer Performance Evaluation: Modelling Techniques and Tools'. Lect. Notes Comput. Sci., Volume 1786, 2000, pp. 211-227
8. AZIZ, A., SANWAL, K., SINGHAL, V., and BRAYTON, R.: 'Verifying continuous time Markov chains', Lect. Notes Comput. Sci., 2000, 1786, pp. 211-227
9. GILMORE, S., and HILLSTON, J.: 'Feature interaction in PEPA,'. in PRIAMI, C. (Ed.): 'Proceedings of the 6th Annual Workshop on Process algebra and performance modelling', Nice, France, September 1998, pp. 17-26
10. CLARK, G., COURTNEY, T., DALY, D., DEAVOURS, D., DERISAVI, S., DOYLE, J.M., SANDERS, W.H., and WEBSTER, P.: 'The Möbius modeling tool'. Proceedings of the 9th International Workshop on Petri nets and performance models, Aachen, Germany, September 2001, pp. 241-250
11. KWIATKOWSKA, M., NORMAN, G., and PARKER, D.: 'PRISM: Probabilistic symbolic model checker'. Proceedings of the 12th International Conference on Modelling tools and techniques for computer and communication system performance evolution, London, 2002, Lect. Notes Comput. Sci., Volume 2324, pp. 200-204
12. CLARK, G., GILMORE, S., HILLSTON, J., and THOMAS, N.: 'Experiences with the PEPA performance modelling tools', IEE Softw., 1999, 146, (1), pp. 11-19
13. MILNER, R., TOFTE, M., HARPER, R., and MACQUEEN, D.: 'The definition of Standard ML (revised)' (The MIT Press, Cambridge, MA, 1997)
14. Python language website. http://www.python.org/, 2002
15. HARTER, A., and HOPPER, A.: 'A distributed location system for the active office', IEEE Netw. Mag., 1994, 8, (1), pp. 62-70
16. LIN, Y.-B., and LIN, P.: 'Performance modeling of location tracking systems', Mob. Comput. Commun. Rev., 1998, 2, (3), pp. 24-27
17. CLARK, G., GILMORE, S., and HILLSTON, J.: 'Specifying performance measures for PEPA', Lect. Notes Comput. Sci., 1601, pp. 211-227
18. POOLEY, R.: 'Using UML to derive stochastic process algebra models'. Proceedings of the 15th UK Performance engineering workshop, Bristol, UK, 1999, pp. 23-33
19. MITTON, P., and HOLTON, R.: 'PEPA performability modelling using UML statecrafts'. Proceedings of the 16th UK Performance engineering, workshop, Durham, UK, 2000, pp. 19-33
20. THOMAS, N., MUNRO, M., KING, P., and POOLEY, R.: 'Visualisation for model comprehension'. Proceedings of the 16th UK Performance engineering workshop, Durham, UK, 2000, pp. 47-58
21. PETRIU, D.C., and SHEN, H.: 'Applying the UML performance profile: Graph grammar-based derivation of LQN models from UML specifications'. Proceedings of the 12th International Conference on Modelling tools and techniques for computer and communication system performance evaluation, London, 2002, pp. 159-177
22. SELIC, B., MOORE, A., WOODSIDE, M., WATSON, B., BJORKANDER, M., GERHARDT, M., and PETRIU, D.: 'Response to the OMG REP for Schedulability, Performance, and Time'. OMG document number: ad/2001-06-14, June 2001 (revised)