论文名:  

Pi-calculus based assembly mechanism of UML state diagram and Validation of model refinement

 

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.

发表会议：2009 International Conference on Electronic Computer Technology(ICECT 2009, EI检索)

发表日期：2008年11月

转载本文请联系原作者获取授权，同时请注明本文来自赵也非科学网博客。
链接地址：https://blog.sciencenet.cn/blog-107188-207877.html

上一篇：ICECT 2009的qq群
下一篇：基于Kripke结构的UML状态图的形式语义和自动证明