Abstract:

To solve the problem that UML(Unified Modeling Language)cannot support formal verification and analysis because of lacking accurate semantic expressions. Here we transfer UML model into Colored Petri Net and do correctness verification to find the defect. Thus a lot of loss which comes out until the end of software development could be saved. The accuracy and security of system are improved. The result indicates that the efficiency of the algorithm has been improved to certain extent.

Key words: unified modeling language(UML), Petri net, formal semantics