Research And Implementation Of Converting UML Activity Diagram To PNML

As we all know, UML is semi-formal. Petri net is a formal tool but is not easy to apply. The purpose of this thesis was to describe UML activity diagram with PNML, so that the correctness of the system could be analyzed with Petri net analysis tools. The major research in this thesis included as follows.First, the activity diagram model which was extracted from Rational Rose, was converted into a file format which can be identified by analysis tools. By a "Rose XML Tools" plug-in fixed in Rational Rose, the model can be stored in ". xml" file. Opening the file, the activity diagram was shown with XML. And then, reading and storing XML file information could be carried out by java.Second, according to the type of elements and the relationship in activity diagram, transformation rules were drawn up and a tool used to convert activity diagram to PNML was implemented. The elements of activity diagram were extracted from a directed graph, and then were conversed into a directed graph. After that, the directed graph was traversed by conversion rules in the thesis and then the results were exported.Third, an example was designed which contained elements of all kinds of a UML activity diagram. And the conversion process and the final result were presented detailedly.Fourth, the equivalence of the set of behavior of the PNML described UML activity diagrams and activity diagrams were proved.