In: Proceedings of the Fourth International Workshop on Software and Performance (WOSP'04), ACM, Redwood City, California, USA, pages 25-36. January 2004.
Abstract: 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 expressivity 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 activity diagrams and ensures an automatic translation from ADs into GSPNs strictly following the process related in this paper.
Keywords: UML; software performance; Generalized Stochastic Petri nets; compositionality; activity diagrams; CASE tool; UML Profile for schedulability performance and time specification.
Back to the Petri Nets Bibliography