Title :
Performance modelling with the Unified Modelling Language and stochastic process algebras
Author :
Canevet, C. ; Gilmore, S. ; Hillston, J. ; Prowse, M. ; Stevens, P.
Author_Institution :
Lab. for Found. of Comput. Sci., Edinburgh Univ., UK
fDate :
3/1/2003 12:00:00 AM
Abstract :
A software toolset which allows Unified Modelling Language (UML) modellers to annotate models with performance information is described. An equivalent performance model is extracted from the UML, solved, and the results reflected back to the UML level. Used in this way, the toolset gives a high-level approach to software performance modelling where the benefits of the performance modelling process are achieved without significant additional notational burden.
Keywords :
Markov processes; formal specification; object-oriented programming; process algebra; software performance evaluation; software tools; specification languages; Java package; PEPA; UML; Unified Modelling Language; high-level approach; object oriented programming; software architecture; software performance modelling; software toolset; stochastic process algebras;
Journal_Title :
Computers and Digital Techniques, IEE Proceedings -
DOI :
10.1049/ip-cdt:20030084
