摘要
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.
出处
《青岛大学学报（工程技术版）》
CAS
2011年第1期33-37,共5页
Journal of Qingdao University(Engineering & Technology Edition)
