Research And Application Of Modeling Based On UML And Petri Net

Based on UML and Petri net,which are two different tools to develop project modeling,this paper involved basic rules of their conversion,realizing automatic conversion to complete the modeling and analysis of system performance in common. These technical points had been the hot research subject in the current software engineering project and software methods.Basic concepts,the theory and relevant tools---Rose and PNML---in UML and Petri net were studied.Through transforming the UML model into the corresponding Petri net model,the system model can be analysed,valided to correct and improve the general scheme and technical strategy.In additional,the entire process of modeling system,cheking model and modifying model was summarized.Aiming at the Petri net and the UML model's respective characteristic,the method of using UML and the Petri to model was comprehensively discussed.Transformation rules between use case diagram,state diagram,collaboration diagram,sequence diagram,activity diagram and the Petri net was respectively analyzed.The paper researched and designed memory mechanisms of the UML model and the Petri net model,and realized automatic mapping transformation between these models,which using respective XML as intermediate conversion mechanism to storage.Technical points of this entire work process were also discussed in detail.Based on optimized mapping rule and Petri net verification method,transformed Petri net model was verified the application example.Aiming at appearance sequential analysis method of Petri net,the relative verifing method and algorithm were presented. Combined with application example to analysis and verify transformed Petri net model, and improve the original UML model.At last,through summarize of the result of researeh subjeet,the paper prospects the techique about paper and author's future goal.