Study on UML state diagram semantic equivalence based on process algebra

UML is the actual application standards of object-oriented system modelling, for the problems of the lacking formal semantics of UML model diagram, it is difficult to accurately describe the dynamic behaviour of the system problems, this paper proposes process algebra-based Pi calculus rules, and converts 6 states transfer mechanism of the UML state diagram to the corresponding Pi calculus expressions. At last, an illustrative experiment is provided to demonstrate the effectiveness of the proposed method.