UML formal semantics: lessons learned

作者：Broy Manfred^*; Cengarle Maria Victoria

来源：Software and Systems Modeling, 2011, 10(4): 441-446.

DOI：10.1007/s10270-011-0207-y

• Formal semantics
• Compositional semantics
• Multiple system views
• All-encompassing UML semantics
• Formal model-driven system development

The article below presents the insights gained during a number of years of research dedicated to the formalisation of the Unified Modeling Language.

• 出版日期2011-10