Précédent : Spécification multi-formalisme et interopérabilité Remonter : Spécification multi-formalisme et interopérabilité Suivant : SSL : System Specification Language

Traduction de STATECHARTS en SIGNAL

   

Ces problèmes sont étudiés dans le cadre du projet Sacres, sous la forme de l'interopérabilité entre SIGNAL et STATECHARTS. Nous avons contribué à la définition d'un modèle dans lequel les deux langages peuvent être représentés : STS  [20]. Des schémas de traduction de STATECHARTS en SIGNAL sont en cours d'élaboration, en tenant compte des différents modes d'interprétation de la sémantique des STATECHARTS (step et super-step ), et pour lesquels on tire parti des horloges de SIGNAL et du calcul associé. Un objectif envisagé est d'adapter ces schémas à la traduction de STATECHARTS dans le format commun DC+, de façon à le connecter à l'ensemble d'outils existants.