| Attributes | Values |
|---|
| type
| |
| Thesis advisor
| |
| Praeses
| |
| Author
| |
| alternative label
| - Reactive abstractions for parallel object-oriented languages, models and programming
|
| dc:subject
| - Sciences appliquées
- Thèses et écrits académiques
- Programmation parallèle (informatique)
- Langages de programmation orientés objet
- C plus-plus (langage de programmation)
- Sémantique opérationnelle
- informatique, automatique théorique, systèmes
- Eiffel (langage de programmation)
- Modèle d'objets réactifs
- langage Eiffel
- modèle Electre hiérarchique
- protocole méta-objet
- sémantique structurelle
|
| preferred label
| - Abstractions réactives pour les langages à objets parallèles, modèles et programmation
|
| Language
| |
| Subject
| |
| dc:title
| - Abstractions réactives pour les langages à objets parallèles, modèles et programmation
|
| Degree granting institution
| |
| Opponent
| |
| note
| - Ce travail porte sur l'utilisation de la programmation réactive, et plus particulièrement du modèle asynchrone, dans les langages à objets parallèles. Ce type de programmation permet de décrire des systèmes évoluant en réponse et simultanément aux modifications de leur environnement. Les relations entre réactivité et programmation à objets ont déjà fait l'objet de plusieurs études, notamment dans le domaine synchrone. Nous dressons tout d'abord un résumé des recherches du domaine. Le premier aspect de notre contribution consiste en la définition de trois modèles réactifs, asynchrones et à objets, dotés de possibilités de structuration et d'évolutivité différentes. Le premier est préemptif, le second adapte le langage Electre à un cadre objet, le troisième définit une extension compositionnelle et hiérarchique du modèle à la Electre. Afin de formaliser cette dernière proposition, nous en présentons une sémantique opérationnelle structurelle. La seconde partie de notre travail étudie les problèmes de mise en œuvre de ces différentes techniques. L'implantation de ces abstractions réactives est présentée dans le langage Eiffel//. Nous expliquons comment nous avons été amenés à l'utilisation de techniques réflexives, avec pour objectif l'intégration de ces abstractions dans le langage C++, sans modification de ce dernier ni de ses compilateurs. Nous abordons notamment la définition d'un protocole méta-objet destiné à la réactivité en C++. Nous montrons que ce protocole nous permet également de réaliser un système ouvert et de quelle manière il est utilisable pour l'intégration d'autres paradigmes parallèles et distribués au sein d'une même plate-forme de développement ; ce protocole nous permet en particulier d'intégrer le modèle du langage C++ comme une bibliothèque normale.
|
| 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)
