Skip navigation
Skip navigation

Dynamic logic semantics for UML consistency

O'Keefe, Gregory


The Unified Modelling Language (UML) is intended to describe systems, but, it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has described a small collection of diagrams which appear to be inconsistent, yet are "cool" according to UML. We describe an approach to defining semantics for UML diagrams using dynamic logic, and show that Mellor's example is inconsistent, given a reasonable assumption. Our approach interprets all diagrams, static and dynamic, in a...[Show more]

CollectionsANU Research Publications
Date published: 2006
Type: Book chapter
DOI: 10.1007/11787044_10


File Description SizeFormat Image
01_O'Keefe_Dynamic_logic_semantics_for_2006.pdf111.86 kBAdobe PDF    Request a copy
02_O'Keefe_Dynamic_logic_semantics_for_2006.pdf75.84 kBAdobe PDF    Request a copy
03_O'Keefe_Dynamic_logic_semantics_for_2006.pdf446.7 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator