Sabine Boufenara, Kamel Barkaoui, Faiza Belala and Hanifa Boucheneb
Paper (2011)
 Open Acess document in PolyPublie and at official publisher |
|
Open Access to the full text of this document Published Version Terms of Use: Creative Commons Attribution Download (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.
Uncontrolled Keywords
| Department: | Department of Computer Engineering and Software Engineering |
|---|---|
| PolyPublie URL: | https://publications.polymtl.ca/10609/ |
| Conference Title: | 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011) |
| Conference Location: | Tunis, Tunisia |
| Conference Date(s): | 2011-09-15 - 2011-09-16 |
| Publisher: | BCS Learning & Development |
| DOI: | 10.14236/ewic/vecos2011.13 |
| Official URL: | https://doi.org/10.14236/ewic/vecos2011.13 |
| Date Deposited: | 18 Jul 2023 15:47 |
| Last Modified: | 08 Feb 2026 01:26 |
| Cite in APA 7: | Boufenara, S., Barkaoui, K., Belala, F., & Boucheneb, H. (2011, September). On formalizing UML2 activities using TPNets: case studies [Paper]. 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 |
|---|---|
Statistics
Total downloads
Downloads per month in the last year
Origin of downloads
Dimensions
Repository Staff Only
|
View Item |
