A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf
.
Dynamic Logic Semantics for UML Consistency
[chapter]
2006
Lecture Notes in Computer Science
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
doi:10.1007/11787044_10
fatcat:x3cgmqmczzgepp2pnp53mdufpe