Analyse statique de la communication dans un langage d'acteur fonctionnel

par Matthias Colin

Thèse de doctorat en Informatique

Sous la direction de Patrick Sallé.

Soutenue en 2002

à Toulouse, INPT .


  • Résumé

    Les méthodes informelles sont inefficaces dans l'assistance à la programmation concurrente et distribuée et sont actuellement remplacées par des outils automatisés basés sur des méthodes formelles. Dans les programmes acteurs et les logiciels clients/serveurs, certaines requêtes ne peuvent être traitées par leur cible et sont appelées messages orphelins. Dans l'équipe Vestale qui m'a accueilli, plusieurs systèmes de type ont été conçus pour détecter les messages orphelins dans un Calcul d'Acteurs primitifs. Mes travaux consistent à y intégrer une description fonctionnelle et réaliste du traitement d'un message par un acteur. Dans ce but nous définissons le mini-langage [lambda]CAP® et sa sémantique à base de système de transitions. Les acteurs peuvent changer dynamiquement d'interface. La description des différentes exécutions possibles en logique temporelle permet alors de mieux appréhender le fonctionnement d'un programme et de décrire les propriétés des analyses statiques réalisées.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : X-136 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 127-136

Où se trouve cette thèse ?

  • Bibliothèque : Ecole nationale supérieure d'électrotechnique, d'électronique, d'informatique, d'hydraulique et des télécommunications. Bibliothèque centrale.
  • Disponible pour le PEB
  • Cote : 02INPT032H/1
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.