On formalizing UML2 activities using TPNets: case studies

Authors:
Sabine Boufenara;Kamel Barkaoui;Faiza Belala;Hanifa Boucheneb
Affiliations:
Department of Computer Engineering, École polytechnique de Montréal, Montréal, Québec;CEDRIC-CNAM, Paris, France;Department of Computer Science, Université Mentouri, Constantine, Algérie;Department of Computer Engineering, École polytechnique de Montréal, Montréal, Québec
Venue:
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
Year:
2011

Citing 2
Cited 0

Conditional rewriting logic as a unified model of concurrency

Selected papers of the Second Workshop on Concurrency and compositionality
Semantics of Control-Flow in UML 2.0 Activities

VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing

Quantified Score

Hi-index	0.00

Visualization

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.