The Unified Modeling Language (UML) gradually penetrates all branches of the software development industry, including those handling mission critical systems. The question arises as to which extend UML fits the need of systems that heavily rely on checking and verification. In this brief paper, we try to introduce the main antinomies between modeling languages and checking capabilities. We attempt to sketch the nature of answers needed to bring UML to an acceptable level of formalism without loosing too much conviviality.
Copies / Update: Please contact me by email if you wish to obtain a copy of a paper that is not available on line.