Abstract FR:

Oreste est un langage reactif reparti qui trouve son origine dans le projet de normalisation iso concernant la programmation des robots (plr). La concurrence en oreste s'exprime par l'execution parallele de taches sequentielles au moyen de l'instruction de concurrence specifiant: 1) une liste d'instances de types tache; 2) les interactions potentielles entre ces instances; 3) leur ordonnancement (au moyen d'une phrase d'execution ou d'un graphe de precedence). Les interactions sont definies a travers des ports synchrones ou des boites aux lettres au moyen d'instructions dediees de communication et de synchronisation qui offrent la garantie d'une execution toujours parfaitement definie. Une tache ne peut donc en aucun cas rester bloquee en attente d'une communication lorsque les correspondants potentiels sont termines ou interbloques. Le memoire est constitue de quatre parties: 1) la premiere partie consiste en une presentation du langage; 2) la seconde partie presente la specification et la verification du protocole de communication realisant les services de communication et la terminaison des taches. Nous avons specifie ce protocole sous forme de systemes de transitions finis que nous avons composes de maniere a verifier des proprietes telles que l'absence d'interblocage, les synchronisations et les terminaisons; 3) la troisieme partie presente la detection des interblocages; 4) enfin, la quatrieme partie expose une implementation partielle et centralisee du langage et des mecanismes presentes dans les chapitres precedents