Précédent : Format commun des langages synchrones Remonter : Modèle et langage (évolution) Suivant : Traduction de STATECHARTS en SIGNAL
Précédent : Format commun des langages synchrones
Remonter : Modèle et langage (évolution) Suivant :
Traduction de STATECHARTS en SIGNAL
Participants : Jean-René Beauvais, Albert Benveniste, Thierry Gautier, Paul Le Guernic, Éric Rutten
Dans la perspective de rendre possible la spécification multi-formalisme et l'intégration de SIGNAL avec d'autres langages, outils et environnements, nous étudions l'interopérabilité entre un processus SIGNAL et d'autres spécifications. Ceci soulève des problèmes de composition de comportements, de non-déterminisme, de communication entre entités qu'il faut résoudre dans un cadre sémantique unifié.