Analysing UML 2.0 activity diagrams in the software performance engineering process

C. Canevet, S. Gilmore, J. Hillston, L. Kloul, P. Stevens
2004 Software engineering notes  
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with respect to the UML2.0 standard. The mapping into another formalism is the first stage of a refinement process which ultimately delivers derived analytical results on the model. This process highlights latent performance problems hidden in the high-level design, allowing software developers to fix these design flaws
more » ... re they are concretised in implementation code. We exercise our analysis approach on a substantial example of modelling a multi-player distributed role-playing game.
doi:10.1145/974044.974055 dblp:conf/wosp/CanevetGHKS04 fatcat:zagfcqssh5bsznrj6zkk7qka74