Analysing UML 2.0 activity diagrams in the software performance engineering process

Authors:
C. Canevet;S. Gilmore;J. Hillston;L. Kloul;P. Stevens
Affiliations:
The University of Edinburgh, Scotland;The University of Edinburgh, Scotland;The University of Edinburgh, Scotland;The University of Edinburgh, Scotland;The University of Edinburgh, Scotland
Venue:
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Year:
2004

Citing 2
Cited 13

Performance solutions: a practical guide to creating responsive, scalable software

Performance solutions: a practical guide to creating responsive, scalable software
Software performance modelling using PEPA nets

WOSP '04 Proceedings of the 4th international workshop on Software and performance

Performance by unified model analysis (PUMA)

Proceedings of the 5th international workshop on Software and performance
From UML to LQN by XML algebra-based model transformations

Proceedings of the 5th international workshop on Software and performance
Integration and Analysis of Functional and Non-Functional Aspects in Model-Driven E-Service Development

EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Towards automatic derivation of a product performance model from a UML software product line model

WOSP '08 Proceedings of the 7th international workshop on Software and performance
Integrating Performance Analysis in the Model Driven Development of Software Product Lines

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
From annotated software designs (UML SPT/MARTE) to model formalisms

SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
A triple graph grammar (TGG) approach for mapping UML 2 activities into Petri nets

SEPADS'10 Proceedings of the 9th WSEAS international conference on Software engineering, parallel and distributed systems
A design environment for mobile applications

IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Non-functional properties in the model-driven development of service-oriented systems

Software and Systems Modeling (SoSyM)
On the integration of UML and petri nets in software development

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Abstraction-raising transformation for generating analysis models

MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Model-Driven performance analysis of UML design models based on stochastic process algebra

ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Software performance modeling

SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present an original method of analysing the newly-revised 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 before they are concretised in implementation code. We exercise our analysis approach on a substantial example of modelling a multi-player distributed role-playing game.