On Formalizing UML2 Activities Using TPNets: Case Studies

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.

Content

Author and article information

Contributors

Sabine Boufenara

Kamel Barkaoui

Faiza Belala

Hanifa Boucheneb

Conference

Publication date: September 2011

Publication date (Print): September 2011

Pages: 1-12

Affiliations

[0001]Department of Computer

Engineering,

École polytechnique de

Montréal,

P.O Box 6079, Station Centre-

ville, Montréal, Québec

[0002]CEDRIC-CNAM,

Rue Saint-Martin,

Paris, France

[0003]Department of Computer

Science,

Université Mentouri

BP 325, Route Ain El

Bey 25017 Constantine,

Algérie

Article

DOI: 10.14236/ewic/VECOS2011.13

SO-VID: ff865569-9417-43e6-b309-8c7f800ca71e

Copyright statement: © Sabine Boufenara et al. Published by BCS Learning and Development Ltd. Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011), Tunis, Tunisia

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011)

Conference acronym: VECOS

Conference number: 5

Conference location: Tunis, Tunisia

Conference date: 15-16 September 2011

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Verification and Evaluation of Computer and Communication Systems (VECoS 2011)

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/VECOS2011.13

Self URI (journal page): https://ewic.bcs.org/

On Formalizing UML2 Activities Using TPNets: Case Studies

Abstract