Projet : EP-ATR

Précédent : Signal V4 Remonter : Résultats nouveaux Suivant : Modèle comportemental de systèmes à

   
Ordre supérieur et mobilité

 

Participants : David Nowak, Jean-Pierre Talpin.

Mots clés : ordre supérieur, théorie des types, processus mobile .

Résumé :

Nous avons élaboré une sémantique des processus d'ordre supérieur qui autorise le transport de processus au moyen de signaux. Nous avons défini un cadre de la théorie des types permettant d'en vérifier les propriétés temporelles et causales.

Nos travaux précédents sur la définition d'un système de types polymorphes pour le langage Signal, ainsi que d'un système de modules à la ML, se sont poursuivis par la caractérisation formelle de l'endochronie de systèmes réactifs décrits en Signal en des termes empruntés à la théorie des types. Ils ont été étendus au cas de processus d'ordre supérieur afin de pouvoir modéliser des systèmes reconfigurables dynamiquement. Ces résultats [[41]] contribuent à une généralisation des principes de la programmation synchrone. Ils nous ont permis d'isoler une théorie des types permettant de caractériser les systèmes réactifs que nous utiliserons dans le cadre plus général des calculs de processus mobiles.

Précédent : Signal V4 Remonter : Résultats nouveaux Suivant : Modèle comportemental de systèmes à