1. 首页
  2. 课程学习
  3. 嵌入式
  4. 论文研究 基于pi演算的UML状态图的组装机制以及模型精化的验证 .pdf

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

上传者: 2020-10-27 09:29:53上传 PDF文件 490.48KB 热度 10次
基于pi演算的UML状态图的组装机制以及模型精化的验证,赵也非,杨宗源,UML提供了面向对象的、图形化的方法,可以描述系统模型的各个方面。但是,UML是一种元模型,只有静态语义,不具备动态语义。本文从
用户评论