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.