| Attributes | Values |
|---|
| type
| |
| Thesis advisor
| |
| Author
| |
| alternative label
| - Design and development of distributed applications within the architecture ALF
|
| dc:subject
| - Hipparch
- Alf
- Esterel
- Thèses et écrits académiques
- Traitement réparti
- Compilateurs (logiciels)
- Informatique, automatique theorique, systemes
- Sciences appliquees
- Constraint
- Contrainte
- Formal specification
- Spécification formelle
- Specification formelle
- Contraintes applicatives
- Esterel (langage de programmation)
- Génération automatique
- Systèmes de communication dédiés
- Communication network
- Generation automatique
- Reseau communication
- Automatic generation
- Contrainte applicative
- Systeme communication dedie
|
| preferred label
| - Étude et développement d'applications distribuées dans l'architecture ALF
|
| Language
| |
| Subject
| |
| dc:title
| - Étude et développement d'applications distribuées dans l'architecture ALF
|
| Degree granting institution
| |
| note
| - 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
|
| dc:type
| |
| http://iflastandar...bd/elements/P1001
| |
| rdaw:P10219
| |
| has content type
| |
| is primary topic
of | |
| is rdam:P30135
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
