论文研究-基于pi演算的UML状态图的组装机制以及模型精化的验证 .pdf下载

基于pi演算的UML状态图的组装机制以及模型精化的验证，赵也非，杨宗源，UML提供了面向对象的、图形化的方法，可以描述系统模型的各个方面。但是，UML是一种元模型，只有静态语义，不具备动态语义。本文从