Title: Transactional Petri nets: a semantic framework for UML2 activities

 

Author: Sabine Boufenara; Kamel Barkaoui; Faiza Belala; Hanifa Boucheneb

 

Addresses:
Department of Computer Engineering, École Polytechnique de Montréal, P.O. Box 6079, Station Centreville, Montréal, Quebec, Canada
CEDRIC Research Laboratory, Conservatoire national des arts et métiers, 292 rue Saint-Martin, F-75141 Paris Cédex 03, France
Department of Computer Science, Mentouri University, PB 325 Route de Ain El Bey, Constantine 25000, Algeria
Department of Computer Engineering, École Polytechnique de Montréal, P.O. Box 6079, Station Centreville, Montréal, Quebec, Canada

 

Journal: Int. J. of Critical Computer-Based Systems, 2014 Vol.5, No.3/4, pp.241 - 267

 

Abstract: 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.

 

Keywords: zero-safe nets; ZSNs; UML2 activity diagrams; reactivity; non-local behaviour; synchronisation; transactional Petri nets; modelling; semantics.

 

DOI: http://dx.doi.org/10.1504/IJCCBS.2014.064663

 

Available online 03 Sep 2014

 

 

Editors Full Text AccessAccess for SubscribersPurchase this articleComment on this article