Paper: Pi-calculus based assembly mechanism of UML state diagram and Validation of model refinement
Author: Yefei Zhao, Zongyuan Yang, Jinkui Xie
Abstract: 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 mechan1ism 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.
Published in Conference: 2009 International Conference on Electronic Computer Technology(EI index)
Date: Feb. 2009