Errors in the early design have a serious negative impact on the code verification, the testing of software and the cost and effort of operation and maintenance of it in the stage of implementation. To reduce errors in the application stage will improve the efficiency and quality of software development, which is of great theoretical significance and widespread practical value.This thesis introduces the unified modeling language UML basic concept, tools, and analyses their advantages and disadvantages. Meanwhile, the basic concepts, structure features and storage mechanism of Petri net are discussed. Besides, definition language PNML, structure and application support tools of Petri nets are summarized as well.The thesis proposes a design framework for transformation from UML to Petri model by analyzing the characteristics of XML format file of UML and XML format file of Petri net respectively, aiming at studying the conversion rules and realization scheme of case diagram, a state chart, cooperation chart, sequence diagram, and activity graph of XML format.The combination of storage mechanism of Petri net and UML model, with XML as conversion object, implements the transformation from UML model to Petri net model, and the realization process and interface design are specifically given in the thesis. Based on Petri net's marking calculate and Correlation matrix and the model is verified through the use of WoPeD2.0 and Tina validation tool. With the consideration of the case, the verification procedure of UML activity diagram and Sequence Diagram respectively converting to Petri net model is present.At last, through summarize of the result of research subjeet, the paper prospects the techique about paper and author's future goal. |