Integration de modules synchrones dans la programmation par objets

Integration of synchronous modules in object-oriented programming

• Auteur / Autrice : Frédéric Boulanger
• Direction : Guy Vidal-Naquet
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1993
• Etablissement(s) : Paris 11

Résumé

Nous presentons un modele et des outils permettant d'integrer des modules synchrones dans un langage a objets (c#+#+). Ce systeme permet d'appliquer une methodologie de developpement par objets a des applications faisant intervenir du code synchrone. Les modules synchrones, ecrits dans un langage synchrone, sont transformes automatiquement en classes c#+#+. Les instances de ces classes ont le meme comportement que les modules d'origine. Les proprietes verifiees sur ces modules grace aux outils de preuve de l'approche synchrone sont donc conservees. Les principaux problemes traites sont: la communication synchrone entre objets synchrones; la communication asynchrone entre objets synchrones et taches asynchrones; la dynamicite des objets synchrones et de leur interconnexion