摘要
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.
出处
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期101-103,共3页
Journal of System Simulation