| 基于CPN的UML2.0形式化建模 |
| |
| 引用本文： | 孔莹莹,蒲海涛,隋瑞升.基于CPN的UML2.0形式化建模[J].青岛大学学报(工程技术版),2011,26(1):33-37. |
| |
| 作者姓名： | 孔莹莹 蒲海涛 隋瑞升 |
| |
| 作者单位： | 1. 山东科技大学(济南校区)电气信息系,济南,250031
2. 山东省邮政公司,济南,250011 |
| |
| 摘 要： | UML作为一种半形式化建模语言,很难对系统进行动态的仿真与性能评价。基于着色Petri网（CPN）拥有严格的数学理论基础,能够对系统进行图形化的模拟与分析,提出了一种UML的形式化建模方法。对UML2.0顺序图中opt等操作符给出了对应CPN图形的转化规则,实现了用CPN模型描述UML2.0的用例图与顺序图的目的。以一个简单的UML2.0顺序图进行验证,结果表明所提方法是有效的。
|
| 关 键 词： | UML2.0 CPN 形式化 建模 |
Formal Modeling of UML 2.0 Based on CPN |
| |
| KONG Ying-ying,PU Hai-tao,SUI Rui-sheng.Formal Modeling of UML 2.0 Based on CPN[J].Journal of Qingdao University(Engineering & Technology Edition),2011,26(1):33-37. |
| |
| Authors: | KONG Ying-ying PU Hai-tao SUI Rui-sheng |
| |
| Affiliation: | 1.Department of Electrical and Information,Shandong University of Science and Technology,Ji’nan 250031,China; 2.Shandong Post,Ji’nan 250011,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | UML 2 0 CPN formal modeling |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
