文章基本信息

标题：Mapping UML 2.0 Activities to Zero-Safe Nets
本地全文：下载
作者：Sabine Boufenara ; Faiza Belala ; Kamel Barkaoui 等
期刊名称：Journal of Software Engineering and Applications
印刷版ISSN：1945-3116
电子版ISSN：1945-3124
出版年度：2010
卷号：3
期号：5
页码：426-435
DOI：10.4236/jsea.2010.35048
出版社：Scientific Research Publishing
摘要：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.
关键词：UML Activity Diagrams Formalization; Interruptible Activity Region; Zero-Safe Nets