Pi-calculus Based Assembly Mechanism of UML State Diagram and Validation of Model Refinement

UML provides a graphical method to model object-oriented system. However, UML is a meta-model which has only static semantics and without dynamic semantics. From the perspective of assembly mechanism, we proposed six kinds of UML state diagram´s assembly mechanisms, and gave the mapping rules between assembly mechanism and picalculus. Finally we proved that it is practical to validate model refinement with above theory in two different ways - experiment and theory deduction. The theory deduction coincides with the experiment results. Furthermore, the mobile assembly and interrupt assembly we proposed supplement for the insufficient description ability of UML.