| UML类图到CPN转化方法的研究 |
| |
| 引用本文： | 田保军.UML类图到CPN转化方法的研究[J].系统仿真学报,2007,19(A01):101-103. |
| |
| 作者姓名： | 田保军 |
| |
| 作者单位： | 内蒙古工业大学信息工程学院,内蒙古呼和浩特010051 |
| |
| 摘 要： | UML（Unified Modeling Language）作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析、验证。而CPN（Coloured Petri Nets）作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。
|
| 关 键 词： | UML CPN 类图 建模 |
| 文章编号： | 1004-731X（2007）S1-0101-03 |
| 收稿时间： | 2007-05-12 |
| 修稿时间： | 2007-06-25 |
The Research of Transforming UML Class Diagram to CPN |
| |
| TIAN Bao-jun.The Research of Transforming UML Class Diagram to CPN[J].Journal of System Simulation,2007,19(A01):101-103. |
| |
| Authors: | TIAN Bao-jun |
| |
| Abstract: | |
| |
| Keywords: | UML CPN class diagram modeling |
| 本文献已被 维普 等数据库收录！ |
|
