Language Design Rationale and Semantic Framework for Concurrent Object-Oriented Programming La Conception et la Description de la Sémantique

L’application de l’approche de programmation par objets pour des applications concurrentes né-cessite d’une part, des langages de programmation intégrant les concepts de la programmation par objets à ceux de la programmation concurrente et d’autre part, afin de permettre leur réutili-sation et évolution, une description précise du comportement des objets concurrents et une no-tion formelle de comportement compatible. Nous développons un cadre conceptuel, consistant en une typologie des choix de concep-tion des langages et un ensemble de critères d’intégration de la programmation concurrente à la programmation par objets, nous permettant d’évaluer les différentes combinaisons de choix de conception. Puis, nous proposons une approche pour la description formelle de la sémantique des langages concurrents à objets qui nous permet de représenter les différents choix de concep-tion des langages et d’obtenir une notion formelle du comportement des objets concurrents