1,056
views
0
recommends
+1 Recommend
1 collections
    0
    shares

      Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      On Formalizing UML2 Activities Using TPNets: Case Studies

      Published
      proceedings-article
      , , ,
      Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011) (VECOS)
      Verification and Evaluation of Computer and Communication Systems (VECoS 2011)
      15-16 September 2011
      Zero-safe nets, UML2 activity diagrams, reactivity, non-local behaviors, synchronization
      Bookmark

            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.

            Content

            Author and article information

            Contributors
            Conference
            September 2011
            September 2011
            : 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
            10.14236/ewic/VECOS2011.13
            ff865569-9417-43e6-b309-8c7f800ca71e
            © 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

            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/

            Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011)
            VECOS
            5
            Tunis, Tunisia
            15-16 September 2011
            Electronic Workshops in Computing (eWiC)
            Verification and Evaluation of Computer and Communication Systems (VECoS 2011)
            History
            Product

            1477-9358 BCS 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/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction
            Zero-safe nets,non-local behaviors,UML2 activity diagrams,synchronization,reactivity

            Comments

            Comment on this article