Research and Implementation of Translation from UML Sequence Diagrams to PNML

赵俊峰,周建涛
DOI: https://doi.org/10.14188/j.1671-8836.2011.06.009
2011-01-01
Abstract:Existing translation mechanisms from behavioral model to Petri net are analyzed,and improved translation rules from UML2 sequence diagram to Petri net are put forward.Then a translation tool is implemented for translating sequence diagram to Petri Net Markup Language.Experiment result shows that sequence diagram can be translated into Petri net and expressed in PNML effectively by the use of the tool proposed in this paper,so the UML model can be analyzed and verified better.
What problem does this paper attempt to address?