Compilation et vérification des programmes ELECTRE
On présente dans cette thèse une sémantique opérationnelle du langage réactif asynchrone ELECTRE basée sur un système de réécriture conditionnelle par calcul d'attributs synthétises sur la grammaire du langage. On montre que cette sémantique permet de construire un modèle d'exécution fini...
Enregistré dans:
Auteur principal : | |
---|---|
Collectivité auteur : | |
Autres auteurs : | |
Format : | Thèse ou mémoire |
Langue : | français |
Titre complet : | Compilation et vérification des programmes ELECTRE / Franck Cassez; sous la direction de Jean-Pierre Elloy |
Publié : |
[S.l.] :
[s.n.]
, 1993 |
Description matérielle : | 1 vol. (132 p.) |
Note de thèse : | Thèse de doctorat : Automatique et informatique appliquée : Nantes : 1993 |
Sujets : | |
Particularités de l'exemplaire : | BU Sciences, Ex. 1 : Titre temporairement indisponible à la communication BU Sciences, Ex. 2 : Titre temporairement indisponible à la communication |
Résumé : | On présente dans cette thèse une sémantique opérationnelle du langage réactif asynchrone ELECTRE basée sur un système de réécriture conditionnelle par calcul d'attributs synthétises sur la grammaire du langage. On montre que cette sémantique permet de construire un modèle d'exécution fini et déterministe pour tous les programmes du langage. Ce modèle est un système de transitions à file. Enfin, nous donnons des modèles de validation équivalents au modèle d'exécution sur lesquels on peut vérifier des propriétés comportementales par utilisation d'outils d'analyse de systèmes de transitions |
---|---|
Variantes de titre : | Compilation and verification of ELECTRE programs |
Notes : | ECN 1993NANT2013 |
Bibliographie : | Bibliogr. 55 réf. |