Blog
About

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

      On the Compositional Properties of UML Statechart Diagrams

      Rigorous Object-Oriented Methods 2000 (ROOM)

      Rigorous Object-Oriented Methods

      17 January 2000

      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

          This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true compositional properties. In particular, hierarchical state machines may be properly encapsulated to allow independent verification and compositional testing, something which is not possible under the current UML semantics. Certain problems regarding the formal tractability of UML Satechart Diagrams are addressed, such as the confusion over states and connectors, the flattening effect of boundary-crossing transitions, and the consequences of inverting the inter-level priority rule for handling concurrent events. A set-theoretic formal treatment of object states, events, guards and run-tocompletion processing is given, describing both serial and concurrent Statecharts.

          Related collections

          Most cited references 1

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

          X-machines as a basis for dynamic system specification

           M Holcombe (1988)
            Bookmark

            Author and article information

            Conference
            January 2000
            January 2000
            : 1-12
            Affiliations
            Department of Computer Science, University of Sheffield

            Sheffield, South Yorkshire
            Article
            10.14236/ewic/ROOM2000.8
            © Anthony J H Simons. Published by BCS Learning and Development Ltd. Rigorous Object-Oriented Methods 2000

            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/

            Rigorous Object-Oriented Methods 2000
            ROOM
            York, UK
            17 January 2000
            Electronic Workshops in Computing (eWiC)
            Rigorous Object-Oriented Methods
            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