Colloque

Une sémantique relationnelle démoniaque

Fairouz Tchier

Ridha Khédri

Jules Desharnais

Membre a labase

Fairouz Tchier

Résumé du colloque

Dans un formalisme relationnel, un programme peut être représenté par un quintuplet P = (G, S, β, ε, α) où G est le graphe de contrôle, S est le graphe sur l'ensemble des situations (une situation est une paire (s, p) où s est un état du programme et p un point de commande dans le graphe de contrôle), β est un homomorphisme surjectif de S vers G, et ε est respectivement les relations d'entrée et de sortie. Nous définissons la sémantique d'un programme P comme étant la relation entre les points d'entrée et de sortie (déterminés par ε et α) en considérant la pire exécution du programme (d'où le qualificatif démoniaque). Nous examinons quatre cas particuliers de programmes simples: l'affectation, la séquence, l'alternative et la boucle. Dans le cas de la séquence, par exemple, nous obtenons le résultat suivant: si la sémantique des programmes p et q est donnée respectivement par les relations P et Q, alors la sémantique de la séquence p; q est donnée par la relation P ◦ Q, où ◦ dénote la composition démoniaque. Il s'avère que la sémantique de la boucle correspond au plus grand point fixe d'une certaine fonction dans un demi-treillis connu sous le nom de demi-treillis démoniaque.

Contexte

Section :

Informatique et recherche opérationnelle

Thème du colloque :

Informatique et recherche opérationnelle

Hôte : Université du Québec à Montréal

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Informatique et recherche opérationnelle

Une sémantique relationnelle démoniaque

Fairouz Tchier

Contrôle et extension des systèmes à événements discrets temporel parallèlement observables

Ahmed Khoumsi

Évaluation de la couverture de tests écrits en TTCN et expérience avec le protocole LAP-D

Yazid Djerbib

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Informatique et recherche opérationnelle

Visualisation du treillis de Galois d'une relation au moyen du système RELVIEW

Salah Ben Mohammed Sghaier

Une sémantique relationnelle démoniaque

Fairouz Tchier

Encasrement d’un demi-treillis démoniaque dans une algèbre de relations

Fairouz Tchier