Title
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
Abstract
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucial to enable early quantitative predictions during the modeling phase of real-time systems development processes. UML itself is not directly analyzable. Performance evaluation techniques are thus necessary for these UML models. The challenge within our research work is the derivation of Stochastic Petri nets (SPNs) from UML models aimed at performance evaluation of real-time systems.
Year
DOI
Venue
2005
10.1109/IPDPS.2005.441
IPDPS
Keywords
Field
DocType
real-time systems development process,stochastic petri net,stochastic petri nets,towards quantitative analysis,performance evaluation technique,unified modeling language,early quantitative prediction,uml model,modeling phase,performance evaluation,recent year,real-time system,real-time uml,real time,formal specification,stochastic processes,specification language,uml,samarium,quantitative analysis,petri nets,real time systems
Petri net,UML state machine,Unified Modeling Language,Software engineering,UML tool,Computer science,Stochastic Petri net,Real-time computing,Applications of UML,Systems Modeling Language,Object Constraint Language,Distributed computing
Conference
ISBN
Citations 
PageRank 
0-7695-2312-9
11
1.06
References 
Authors
9
3
Name
Order
Citations
PageRank
J. Trowitzsch1302.69
Zimmermann, A.2111.06
Günter Hommel3657134.35