Rechercher

[BBB13] Transactional Petri Nets : A Semantic Framework for UML2 Activities

Revue Internationale avec comité de lecture : Journal International Journal of Critical Computer-Based Systems (IJCCBS), pp. 1-6, 2013

Mots clés: Zero-safe nets, UML2 activity diagrams, reactivity, non-local behaviour, synchronization.

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 synchronization 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 synchronization 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: To appear in December 2013 http://www.inderscience.com/jhome.php?jcode=ijccbs

Equipe: vespa
Collaboration: LIRE

BibTeX

@article {
BBB13,
title="{Transactional Petri Nets : A Semantic Framework for UML2 Activities}",
author="S. Boufenara and K. Barkaoui and F. Belala and H. Boucheneb",
journal=" International Journal of Critical Computer-Based Systems (IJCCBS)",
year=2013,
pages="1-6",
note="{To appear in December 2013 http://www.inderscience.com/jhome.php?jcode=ijccbs}",
}