LIP6 1998/008

• Rapports de recherche
  La méthode Cliff Jones orientée objet pour le développement formel de programmes concurrents
• B. Mammass
• 47 pages - 16/03/1998- document en - http://www.lip6.fr/lip6/reports/1998/lip6.1998.008.ps.gz - 102 Ko
• Contact : Brahim.Mammass (at) nulllip6.fr
• Ancien Thème : SPI
Le papier présente une synthèse des travaux de Cliff Jones sur le développement compositionnel de programmes concurrents en utilisant des concepts orientés objet. Il décrit deux méthodes de développement.: l'une pour les systèmes peu concurrents où les risques d'interférences sont limités, l'autre pour des systèmes complexes. Deux sémantiques sont attribuées au langage de conception.: une sémantique opérationnelle structurée et une sémantique dans le pi-calcul.
• Mots clés : développement formel, programmes concurrents, compositionnel, orienté objet, sémantique opérationnelle, pi-calcul
• Directeur de la publication : David.Massot (at) nulllip6.fr