Abstract | ||
---|---|---|
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified using UML diagrams to colored Petri net notations. Simulation results are provided in form of self-defined trace files and Message Sequence Charts. A prototype tool is described. One unique feature of our research is the support for user-controlled view of the system simulation. |
Year | Venue | Keywords |
---|---|---|
2004 | SEKE | message sequence chart,petri net |
Field | DocType | Citations |
Notation,Petri net,Unified Modeling Language,Systems engineering,Computer science,Colored petri,Stochastic Petri net | Conference | 27 |
PageRank | References | Authors |
1.62 | 15 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Zhaoxia Hu | 1 | 76 | 5.49 |
Sol M. Shatz | 2 | 469 | 55.25 |