Simons, A.J.H. orcid.org/0000-0002-5925-7148 (2000) On the compositional properties of UML statechart diagrams. In: Electronic Workshops in Computing. Rigorous Object-Oriented Methods 2000 (ROOM), 17 Jan 2000, York, UK. BCS Learning & Development
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.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 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/ |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 27 Jun 2023 16:58 |
Last Modified: | 27 Jun 2023 16:58 |
Status: | Published |
Publisher: | BCS Learning & Development |
Refereed: | Yes |
Identification Number: | 10.14236/ewic/room2000.8 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:200744 |