| 基于扩展ITCPN的UML状态图建模 |
| |
| 引用本文： | 杨年华,虞慧群,陆旻.基于扩展ITCPN的UML状态图建模[J].医学教育探索,2011(6):765-769. |
| |
| 作者姓名： | 杨年华 虞慧群 陆旻 |
| |
| 作者单位： | 上海对外贸易学院商务信息学院, 上海 201620;华东理工大学计算机科学与工程系,上海 200237;华东理工大学计算机科学与工程系,上海 200237 |
| |
| 基金项目： | 国家自然科学基金(60473055,60773094);上海市曙光计划（07SG32）;上海市高校“085工程”项目;上海市教委科研创新项目（12ZS170） |
| |
| 摘 要： | 在ITCPN (Interval Timed Colored Petri Nets) 模型的基础上引入变迁条件函数和变迁数据操作函数,实现对UML状态图中数据计算的建模;利用抑止弧对迁移的优先级进行建模;同时借助抑止弧实现了对UML状态图中子状态之间“或”语义的建模。
|
| 关 键 词： | UML 状态图 Petri网 建模 |
| 收稿时间： | 2011/4/25 0:00:00 |
Modeling UML State Diagrams Based on Extended ITCPN |
| |
| YANG Nian-hu,YU Hui-qun and LU Min.Modeling UML State Diagrams Based on Extended ITCPN[J].Researches in Medical Education,2011(6):765-769. |
| |
| Authors: | YANG Nian-hu YU Hui-qun and LU Min |
| |
| Institution: | School of Business Information Management, Shanghai Institute of Foreign Trade,
Shanghai 201620, China;Department of Computer Science and Engineering, East China
University of Science and Technology, Shanghai 200237, China;Department of Computer Science and Engineering, East China
University of Science and Technology, Shanghai 200237, China |
| |
| Abstract: | By introducing guard functions and data operating functions based on ITCPN (Interval Timed Colored Petri Nets), the modeling on data computing in a UML state diagram is established. Moreover, inhibitor arcs are used for modeling priorities among transitions. Meanwhile, with the advantage of inhibitor arcs, the modeling on the semantics of "or" between sub states in a state diagram is also realized. |
| |
| Keywords: | UML state diagram Petri net modeling |
|
| 点击此处可从《医学教育探索》浏览原始摘要信息 |
| 点击此处可从《医学教育探索》下载免费的PDF全文 |
|
