tokens: Ils combinent des états hiérarchiques de UML , de graphes de flots de contrôle , et des tables de vérité en un seul langage , ce qui donne un formalisme différent et un ensemble de sémantiques propre .