Limites d’UML

UML est un ensemble de notations que l'on peut qualifier de semi-formel. Et par conséquent, il présente les limitations relatives à sa nature. S'il est suffisant pour des processus de validation (montrer que le système répond aux besoins) informels, il n'offre guère de possibilités pour une vérification formelle de propriétés spécifiques (montrer qu’un signal arrivera toujours avant un autre par exemple).

Une autre limite de UML est que rien n'est offert pour évaluer les performances du système que l'on est en train de spécifier et de concevoir. De même, il n'est pas possible de prouver formellement que certaines situations ne seront jamais atteintes, ni que certains états pourront toujours être atteints si cela est nécessaire, compte tenu des contraintes temporelles [Muller, 1997].