Blog
About

117
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      On Formalizing UML2 Activities Using TPNets: Case Studies

      , , ,

      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

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          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.

          Related collections

          Most cited references 3

          • Record: found
          • Abstract: not found
          • Article: not found

          Conditional rewriting logic as a unified model of concurrency

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            UML 2 Activity and Action Models Part 3 Control Nodes

             Conrad Bock (2003)
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Secure Multi-Party Proof and its Applications

                Bookmark

                Author and article information

                Contributors
                Conference
                September 2011
                September 2011
                : 1-12
                Affiliations
                Department of Computer

                Engineering,

                École polytechnique de

                Montréal,

                P.O Box 6079, Station Centre-

                ville, Montréal, Québec
                CEDRIC-CNAM,

                Rue Saint-Martin,

                Paris, France
                Department of Computer

                Science,

                Université Mentouri

                BP 325, Route Ain El

                Bey 25017 Constantine,

                Algérie
                Article
                10.14236/ewic/VECOS2011.13
                © 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)
                Product
                Product Information: 1477-9358BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article