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

扫码查看

原文链接

NETL

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

作者：

田保军

展开 >

作者单位：

内蒙古工业大学信息工程学院内蒙古呼和浩特 010051

关键词：

UML模型类图 CPN 语义描述验证形式化语义

主办单位：

中国计算机学会

会议名称：

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

会议时间：

2007-08-01

会议地点：

大连

会议母体文献：

第十一届全国Petri网理论与应用学术年会论文汇编

页码：

101-103

出版时间：

2007