UML类图到CPN转化方法的研究

作     者：田保军 TIAN Bao-jun (Institute of Information Engineering,Inner Mongolia University of technology,Huhhot 010051,China)

作者机构：内蒙古工业大学信息工程学院内蒙古呼和浩特010051 

出 版 物：《系统仿真学报》 (Journal of System Simulation)

年 卷 期：2007年第19卷第A1期

页      码：101-103页

摘      要：UML(Unified Modeling Language)作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析、验证。而CPN(Coloured Petri Nets)作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。

主 题 词：UML CPN 类图 建模 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.16182/j.cnki.joss.2007.s1.026

馆 藏 号：203123975...