Research on Mapping Algorithm of UML Sequence Diagrams to Object Petri Nets

The paper firstly analyzes the basic structure of UML Sequence Diagram and gives the formal description of Object Petri Nets. For reuse, the formal description of reusable interaction is studied. Then the paper puts forward the mapping algorithm of UML Sequence Diagrams to Object Petri Nets, which ensures the accuracy, integrity and simplicity of the results by four steps, including abstraction, merging, synchronization and reduction, thus providing a good foundation for automatic verification.