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

Download Now Free registration required

Executive Summary

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, the authors proposed six kinds of UML state diagram's assembly mechanisms, and gave the mapping rules between assembly mechan1ism and picalculus. Finally they 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.

  • Format: PDF
  • Size: 364.5 KB