首页|期刊导航|华东理工大学学报:自然科学版|基于扩展ITCPN的UML状态图建模

基于扩展ITCPN的UML状态图建模OA北大核心CHSSCDCSCDCSTPCD

Modeling UML State Diagrams Based on Extended ITCPN

中文摘要英文摘要

在ITCPN(IntervalTimedColoredPetriNets)模型的基础上引入变迁条件函数和变迁数据操作函数,实现对UML状态图中数据计算的建模;利用抑止孤对迁移的优先级进行建模;同时借助抑止弧实现了对UML状态图中子状态之间“或”语义的建模。

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.

杨年华;虞慧群;陆旻

上海对外贸易学院商务信息学院,上海201620华东理工大学计算机科学与工程系,上海200237华东理工大学计算机科学与工程系,上海200237

计算机与自动化

UML状态图Petri网建模

UML state diagram Petri net modeling

《华东理工大学学报:自然科学版》 2011 (6)

感知时间和情景的存取控制策略建模与实施

765-769,5

国家自然科学基金(60473055,60773094)上海市曙光计划(07SG32)上海市高校“085工程”项目上海市教委科研创新项目(12ZS170)

评论

您当前未登录!去登录点击加载更多...