Software & Systems Modeling

, Volume 10, Issue 4, pp 441–446

UML formal semantics: lessons learned

Expert's Voice

DOI: 10.1007/s10270-011-0207-y

Cite this article as:
Broy, M. & Cengarle, M.V. Softw Syst Model (2011) 10: 441. doi:10.1007/s10270-011-0207-y


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 

Copyright information

© Springer-Verlag 2011

Authors and Affiliations

  1. 1.Software and Systems EngineeringTechnische Universität MünchenMunichGermany

Personalised recommendations