Abstract FR:

L’émergence de nouvelles applications et la rapide évolution des moyens de télécommunication ont mis en évidence le manque d'efficacité et de flexibilité du modelé traditionnel en couches. En 1990, Clark et Tennenhouse ont proposé une nouvelle architecture appelée ALF (Application Level Framing), qui organise les données en ADUs (Unité de Données Applicatives) significatives pour l'application et le protocole. L’objectif de cette thèse est d'étudier le développement d'applications distribuées dans l'architecture ALF. Il s'agit de montrer comment il est possible de concevoir et d'implanter automatiquement des systèmes de communication mieux adaptés aux applications distribuées modernes et futures. Après avoir évalué l'intérêt d'une architecture comme ALF, nous proposons une méthode pour développer des applications distribuées respectant ALF. Cette méthode repose sur les principes suivants : adaptation du système de communication aux contraintes de l'application et intégration du système de communication dans l'application. Nous expliquons pourquoi, afin de garder un certain niveau d'abstraction, nous avons choisi le langage formel synchrone ESTEREL pour exprimer les contraintes de l'application et le contrôle des mécanismes de transmission. Nous présentons ensuite le compilateur ALF qui nous a permis de mettre en œuvre et d'évaluer notre méthode. Le compilateur ALF génère automatiquement, à partir de spécifications ESTEREL d'une application distribuée, le système de communication dédié et intégré à cette application