|
 
|
[BBBb10] Mapping UML2.0 Activities to Zero-Safe Nets
Revue Internationale avec comité de lecture : Journal Journal of Software Engineering and Applications (JSEA), vol. 3(5), pp. 426—435, 2010
motcle:
Résumé:
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.
For further information, please visit this web site.
For further information, please visit this web site.
Collaboration:
LIRE
BibTeX
| @article { | |||
| BBBb10, | |||
| title | = | "{Mapping UML2.0 Activities to Zero-Safe Nets}", | |
| author | = | "S. Boufennara and F. Belala and K. Barkaoui", | |
| journal | = | "Journal of Software Engineering and Applications (JSEA)", | |
| year | = | 2010, | |
| volume | = | 3, | |
| number | = | 5, | |
| pages | = | "426—435", | |
| } | |||
