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, ...