Abstract FR:

Etude bibliographique precisant le concept d'objet et sa suite en oeuvre dans les langages et systemes operatoires. Definition de la notion d'objet dans le complexe particulier du modele de systeme reparti propose. Les mecanismes inclus dans ce modele reposent sur la notion de taches migrantes et de familles de taches. Les protocoles de migration de taches sont decrits en terme de reseaux logiques. Une forme linguistique est decrite et utilisee sur des exemples d'algorithmes repartis. Enfin, le phenomene de migration des taches et la validation des programmes decrits sont formalises a l'aide de la logique temporelle