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
- 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
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.