Based On E-government Needs UML And Petri Net Modeling And Verification Method

In order to extract the key features of e-government information systems,such as e-government randomness,dynamic,interactive and concurrency,the need for an effective formal methods to model the various modules of e-government in the workflow.Petri nets can solve formal problems,but did not completely modular aspects of the technology.Abject-oriented technology also plays an important role in the formal direction,because of the dynamic characteristics of the above deficiencies and restricted.This paper will propose new solutions on the basis of previous studies: a combination of both in the e-government workflow models,systems based on UML modeling,verification analysis relies on Petri nets,is more convenient to determine the purpose of e-government the reasonableness of each module workflow modeling.This paper elaborates the basic theory and the use of UML modeling workflow associated with Petri nets,and then analyzing the existing infrastructure on Petri nets and UML modeling and validation of analytical methods,the combination of the two respective advantages,the use of the UML can be visibility proposed UML-based e-government workflow modeling methods.Then it analyzes the files stored in the form of UML and Petri net file has been contact between the two proposed mapping rules between the two,given to prove the correctness of mapping rules.Then the mapping is given for the use of relevant technology to achieve,given the model proposed reduction rules after mapping.Then given verification criteria,and on the basis of existing reachability graph analysis methods,presents a more efficient method of analysis.Finally,the workflow model for e-government context,the use of UML build workflow model,using the findings mapped into Petri net model,verify the reasonableness of the analytical model and thus justify the validity of the original UML model.