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.