TY - GEN
T1 - Dynamic logic semantics for UML consistency
AU - O'Keefe, Greg
PY - 2006
Y1 - 2006
N2 - 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 single semantic space. The modeller specifies how the meaning of a model is made up from the meanings of its diagrams, thus the "viewpoint" taken by each diagram is made explicit. This composition is achieved through formation of the dynamic logic formulae. It is therefore very flexible, and we propose it as a means for defining semantics for domain specific languages, and for specifying "bridges" or "weaving" model transformations used in aspect oriented modelling.
AB - 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 single semantic space. The modeller specifies how the meaning of a model is made up from the meanings of its diagrams, thus the "viewpoint" taken by each diagram is made explicit. This composition is achieved through formation of the dynamic logic formulae. It is therefore very flexible, and we propose it as a means for defining semantics for domain specific languages, and for specifying "bridges" or "weaving" model transformations used in aspect oriented modelling.
UR - http://www.scopus.com/inward/record.url?scp=33746462778&partnerID=8YFLogxK
U2 - 10.1007/11787044_10
DO - 10.1007/11787044_10
M3 - Conference contribution
SN - 3540359095
SN - 9783540359098
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 113
EP - 127
BT - Model Driven Architecture - Foundations and Applications - Second European Conference, ECMDA-FA 2006, Proceedings
PB - Springer Verlag
T2 - 2nd European Conference on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2006
Y2 - 10 July 2006 through 13 July 2006
ER -