基于CPN的UML2.0形式化建模  

Formal Modeling of UML2.0 Based on CPN

作　　者：孔莹莹[1] 蒲海涛[1] 隋瑞升 

机构地区：[1]山东科技大学(济南校区)电气信息系,济南250031 [2]山东省邮政公司,济南250011

出　　处：《青岛大学学报（工程技术版）》2011年第1期33-37,共5页Journal of Qingdao University(Engineering & Technology Edition)

摘　　要：UML作为一种半形式化建模语言,很难对系统进行动态的仿真与性能评价。基于着色Petri网(CPN)拥有严格的数学理论基础,能够对系统进行图形化的模拟与分析,提出了一种UML的形式化建模方法。对UML2.0顺序图中opt等操作符给出了对应CPN图形的转化规则,实现了用CPN模型描述UML2.0的用例图与顺序图的目的。以一个简单的UML2.0顺序图进行验证,结果表明所提方法是有效的。As a semi-formal modeling language,UML is hard to model dynamically and analyze performance for systems.Colored Petri Net（CPN）has strict foundation of mathematical theory,and it can do graphic simulation and analysis to the system.This paper presents an approach of formal modeling use UML into a Colored Petri Net model,gives rules of translating opt and other operators into colored petri nets,achieves the purpose that describles use case diagram and sequence diagram of UML 2.0 using CPN,and finally gives an example of translating an simple sequence diagram.The results show that the proposed method is effective.

关 键 词：UML2.0 CPN 形式化 建模 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]