Sabine Boufenara, Kamel Barkaoui, Faiza Belala et Hanifa Boucheneb
Communication écrite (2011)
|
Libre accès au plein texte de ce document Version officielle de l'éditeur Conditions d'utilisation: Creative Commons: Attribution (CC BY) Télécharger (297kB) |
Abstract
Transactional Petri Nets (TPNets) are a new class of high-level Zero-Safe Nets (ZSNs), defined as a more suitable semantic framework for UML2 activity diagrams. Indeed, they ensure reactivity and synchronization of concurrent flows triggering with their junction. Reactivity is guaranteed due to the real time massive cancellation semantics based on the definition of new dynamic enabling rules and the imposed priority among executions. Global synchronization in turn is assured thanks to non-locality principle, an outcome of exploiting atomic stable transactions. Rewriting logic is defined as the operational semantics framework of TPNets.
Mots clés
Zero-safe nets, UML2 activity diagrams, reactivity, non-local behaviors, synchronization
Sujet(s): |
2700 Technologie de l'information > 2705 Logiciels et développement 2700 Technologie de l'information > 2706 Génie logiciel |
---|---|
Département: | Département de génie informatique et génie logiciel |
URL de PolyPublie: | https://publications.polymtl.ca/10609/ |
Nom de la conférence: | 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011) |
Lieu de la conférence: | Tunis, Tunisia |
Date(s) de la conférence: | 2011-09-15 - 2011-09-16 |
Maison d'édition: | BCS Learning & Development |
DOI: | 10.14236/ewic/vecos2011.13 |
URL officielle: | https://doi.org/10.14236/ewic/vecos2011.13 |
Date du dépôt: | 18 juil. 2023 15:47 |
Dernière modification: | 07 avr. 2024 10:52 |
Citer en APA 7: | Boufenara, S., Barkaoui, K., Belala, F., & Boucheneb, H. (septembre 2011). On formalizing UML2 activities using TPNets: case studies [Communication écrite]. 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011), Tunis, Tunisia (12 pages). https://doi.org/10.14236/ewic/vecos2011.13 |
---|---|
Statistiques
Total des téléchargements à partir de PolyPublie
Téléchargements par année
Provenance des téléchargements
Dimensions