UML formal semantics: lessons learned
The article below presents the insights gained during a number of years of research dedicated to the formalisation of the Unified Modeling Language.
formal semantics compositional semantics multiple system views all-encompassing uml semantics formal model-driven system development