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

The Research of Transforming UML Class Diagram to CPN

作　　者：田保军[1] 

机构地区：[1]内蒙古工业大学信息工程学院,内蒙古呼和浩特010051

出　　处：《系统仿真学报》2007年第A01期101-103,共3页Journal of System Simulation

摘　　要：UML(Unified Modeling Language)作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析、验证。而CPN(Coloured Petri Nets)作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。As an Object-Oriented analysis and design modeling language, UML has been used in many large software systems. But UML is lack of precise semantic, which makes it difficult to analyze and verify the UML＇s models by directly using math tools. Howerver, being a modeling tool, CPN has rigorous formal semantics and analysis methods. This paper gives a transforming method of UML＇s class diagram to CPN, and uses an instance to explain.

关 键 词：UML CPN 类图 建模 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]