Face aux limitations des solutions UML temps réel actuellement sur le marché, ce document présente un prol UML qui donne une sémantique formelle aux associations entre classes, définit des opérateurs temporels de type délai non déterministe et d'ordre limitée dans le temps, et ajoute des facilités de validation de contraintes logiques et temporelles...