[Modeling] Class Diagram Specification

Wagner, G.R. G.R.Wagner@tm.tue.nl
Tue, 3 Jun 2003 19:03:10 +0200

> I prefer to have a nice agent 


> then deciding how to represent them, in modal logic, in UML, 
> in Object Z or whatever 

UML class models is not just another formal language like "Object Z".
Apparently, you do not understand it's fundamental nature as a
conceptual modeling language, which extends ER diagrams.