D'un formalisme à l'autre : entre TIOSM et SDL
Résumé
Dans cet article, nous proposons une méthode pour traduire formellement un système décrit dans le formalisme d'une sous-classe des automates temporisés, appellée TIOSM (Timed Input Output State Machine) dans un modèle écrit en SDL (Specification and description Language). La traduction est illustrée sur un exemple simple. Nous montrons par ailleurs en quoi le modèle est dégradé dans cette traduction en raison d'une représentation du temps différente pour chaque formalisme.