| 基于扩展ITCPN的UML状态图建模 |
| |
| 引用本文： | 杨年华,虞慧群,陆旻.基于扩展ITCPN的UML状态图建模[J].华东理工大学学报(自然科学版),2011,37(6):765-769. |
| |
| 作者姓名： | 杨年华 虞慧群 陆旻 |
| |
| 作者单位： | 1. 上海对外贸易学院商务信息学院,上海,201620
2. 华东理工大学计算机科学与工程系,上海,200237 |
| |
| 基金项目： | 国家自然科学基金，上海市曙光计划，上海市高校"085工程"项目，上海市教委科研创新项目 |
| |
| 摘 要： | 在ITCPN（IntervalTimedColoredPetriNets）模型的基础上引入变迁条件函数和变迁数据操作函数，实现对UML状态图中数据计算的建模；利用抑止孤对迁移的优先级进行建模；同时借助抑止弧实现了对UML状态图中子状态之间“或”语义的建模。
|
| 关 键 词： | UML 状态图 Petri网 建模 |
Modeling UML State Diagrams Based on Extended ITCPN |
| |
| Abstract: | |
| |
| Keywords: | UML state diagram Petri net modeling |
| 本文献已被 万方数据 等数据库收录！ |
|
