Mathematical Models for Model-Driven Engineering

Workshop on Mathematical Models for Model-Driven Engineering

TripleMDE at MoDELS 2015 on 29 September 2015 in Ottawa

Invited talk: Martin Gogolla,
Observations on Support for Logical Reasoning on UML Models

The talk will discuss to what extent logical and with this also mathematical reasoning methods are suitable and applicable to UML models, in particular to UML and OCL models. Various properties of models and their importance and status in the complete software development process will be taken into account. The role of UML as a constantly developing language will be critically considered.

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware.
The content of this page, as well as the entire body of knowledge in mathematics, is in public domain.
All contributions to the workshop are subject to their own individual copyrights.
Last updated: September 2015.