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

摘要：

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

关键词： UML模型 类图 CPN 语义描述 验证 形式化语义

作者: 田保军

作者单位: 内蒙古工业大学信息工程学院 内蒙古呼和浩特 010051

会议类型: 国内会议

会议名称: 第十一届全国Petri网理论与应用学术年会

会议地点: 大连

会议语种:中文

页码: 101-103

在线出版日期: 2007-08-01（万方平台首次上网日期，不代表论文的发表时间）