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

摘要: Over the last decade, relevance of performance evaluation in early stages software development life-cycle has been steadily rising. We honestly believe that integration formal models engineering process is a must, order to enable application wellknown, powerful analysis techniques models. In previous papers authors have stated proposal for SPE, dealing with several UML diagram types. The malizes their semantics, and provides method translate them into (analyzable) GSPN This paper focuses on activity diagrams, which had not dealt so far. They will be incorporated our SPE method, enhancing its expressivity by refining abstraction levels statechart diagrams. Performance requirements annotated according profile schedulability, time. Last but least, CASE tool prototype introduced. deals every model element from diagrams ensures an automatic translation ADs GSPNs strictly following related this paper.