On Formalizing UML2 Activities Using TPNets: Case Studies | Zendy

Sabine Boufenara | Zendy; Kamel Barkaoui | Zendy; Faïza Belala | Zendy; Hanifa Boucheneb | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

On Formalizing UML2 Activities Using TPNets: Case Studies

Author(s) -

Sabine Boufenara,

Kamel Barkaoui,

Faïza Belala,

Hanifa Boucheneb

Publication year - 2011

Publication title -

electronic workshops in computing

Language(s) - English

Resource type - Conference proceedings

ISSN - 1477-9358

DOI - 10.14236/ewic/vecos2011.13

Subject(s) - computer science , petri net , rewriting , synchronization (alternating current) , programming language , semantics (computer science) , class (philosophy) , theoretical computer science , operational semantics , locality , temporal logic , formal semantics (linguistics) , distributed computing , artificial intelligence , computer network , channel (broadcasting) , linguistics , philosophy

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research