[SBB14] Transactional Petri nets: a semantic framework for UML2 activitiesRevue Internationale avec comité de lecture : Journal International Journal of Critical Computer-Based Systems, vol. 5(No 3/4), pp. 241-267, 2014
Mots clés: zero-safe nets; ZSNs; UML2 activity diagrams; reactivity; non-local behaviour; synchronisation; transactional Petri nets; modelling; semantics.
Résumé: Transactional Petri nets (TPNets) are a new class of high-level zero-safe nets (ZSNs), defined as a semantic framework for UML2 activity diagrams. Indeed, they capture the behaviour associated with non-local actions triggering, cancellation patterns and the advanced synchronisation that result. While, reactivity is guaranteed due to the real time massive cancellation semantics, based on the definition of new dynamic enabling rules and the definition of priority among executions, global synchronisation in turn is assured as a result of non-locality principle; an outcome of atomic stable transactions use. The operational semantics of TPNets is defined within rewriting logic-based framework.
Commentaires: Special Issue on Verification, Control and Performance Analysis: Part II