Skip navigation
Skip navigation

Dynamic logic semantics for UML consistency

O'Keefe, Gregory

Description

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
URI: http://hdl.handle.net/1885/32604
DOI: 10.1007/11787044_10

Download

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:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator