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]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.