基于扩展ITCPN的UML状态图建模
Modeling UML State Diagrams Based on Extended ITCPN
-
摘要: 在ITCPN (Interval Timed Colored Petri Nets) 模型的基础上引入变迁条件函数和变迁数据操作函数,实现对UML状态图中数据计算的建模;利用抑止弧对迁移的优先级进行建模;同时借助抑止弧实现了对UML状态图中子状态之间“或”语义的建模。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 substates in a state diagram is also realized.