Mapping UML 2.0 Activities to Zero-Safe Nets
Mapping UML 2.0 Activities to Zero-Safe Nets
复制标题
将 UML 2.0 活动映射到零安全网络
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Kamel Barkaoui
中科院分区：
文献类型：
--
作者：
Sabine Boufenara;F. Belala;Kamel Barkaoui
UML 2.0活动图（AD）主要用作软件和业务流程中面向流行为的建模语言。不幸的是，它们的位置/转换操作语义无法捕获和保存新定义的高级活动构造（如可中断活动区域）的语义。特别是，基本Petri网不保持AD的非局部性语义和反应性概念。这主要是由于基本Petri网中缺乏全局同步机制。零安全网是Petri网的一个高级变体，它通过一种新的地方（称为零地方）来确保过渡的全局协调。实际上，零安全网络自然地解决了需要特殊语义的可中断活动区域，通过外部事件强制控制流并定义一定的执行优先级。因此，零安全网在这项工作中被采用作为UML 2.0活动图的语义框架。
UML 2.0 activity diagrams (ADs) are largely used as a modeling language for flow-oriented behaviors in software and business processes. Unfortunately, their place/transition operational semantics is unable to capture and preserve semantics of the newly defined high-level activities constructs such as Interruptible Activity Region. Particularly, basic Petri nets do not preserve the non-locality semantics and reactivity concept of ADs. This is mainly due to the absence of global synchronization mechanisms in basic Petri nets. Zero-safe nets are a high-level variant of Petri nets that ensure transitions global coordination thanks to a new kind of places, called zero places. Indeed, zero-safe nets naturally address Interruptible Activity Region that needs a special semantics, forcing the control flow by external events and defining a certain priority level of executions. Therefore, zero-safe nets are adopted in this work as semantic framework for UML 2.0 activity diagrams.