DocumentCode
1203645
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
Volume
150
Issue
2
fYear
2003
fDate
3/1/2003 12:00:00 AM
Firstpage
107
Lastpage
120
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;
fLanguage
English
Journal_Title
Computers and Digital Techniques, IEE Proceedings -
Publisher
iet
ISSN
1350-2387
Type
jour
DOI
10.1049/ip-cdt:20030084
Filename
1199849
Link To Document