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