Sciweavers

WOSP
2004
ACM

From UML activity diagrams to Stochastic Petri nets: application to software performance engineering

13 years 9 months ago
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the integration of formal models in the software engineering process is a must, in order to enable the application of well-known, powerful analysis techniques to software models. In previous papers the authors have stated a proposal for SPE, dealing with several UML diagram types. The proposal formalizes their semantics, and provides a method to translate them into (analyzable) GSPN models. This paper focuses on activity diagrams, which had not been dealt with so far. They will be incorporated in our SPE method, enhancing its vity by refining abstraction levels in the statechart diagrams. Performance requirements will be annotated according to the UML profile for schedulability, performance and time. Last but not least, our CASE tool prototype will be introduced. This tool deals with every model element from activ...
Juan Pablo López-Grao, José Mersegue
Added 30 Jun 2010
Updated 30 Jun 2010
Type Conference
Year 2004
Where WOSP
Authors Juan Pablo López-Grao, José Merseguer, Javier Campos
Comments (0)