UML est le langage unifié de modélisation qui est le plus utilisé actuellement dans le monde, c‟est un moyen qui permet l‟analyse et la conception des applications, toute fois ce langage ne permet pas de vérifier la cohérence ...