Précédent : Traduction de STATECHARTS en SIGNAL Remonter : Spécification multi-formalisme et interopérabilité Suivant : Nouvelle version de Signal : Signal

SSL : System Specification Language

   

Dans le cadre du projet Sacres, nous participons aussi à la définition d'un langage de configuration, du style de VHDL, permettant de composer des spécifications dans divers formalismes : SSL (System Specification Language). Les efforts se portent vers une sémantique de la composition qui accueille les différents formalismes (SIGNAL, STATECHARTS, Timing Diagrams ), et vers un mécanisme de configuration de spécifications. SSL permet de construire des spécifications hiérarchiques où figurent des instances de composants importés de l'un ou l'autre des formalismes de spécification de l'environnement. Le mécanisme de configuration permet de lier les instanciations et ces composants extérieurs.