Cliff Jones object-based method for formal development of concurrent programs

La méthode Cliff Jones orientée objet pour le développement formel de programmes concurrents

Brahim Mammass (1)

1 SPI - Sémantiques, preuves et implantation

This paper presents a synthesis of Cliff Jones works on the compositional development of concurrents programs by using some object oriented concepts. It describes two development methods: one for systems with few concurrency where interfenrences are limited, the other for complex systems. Two semantics of the design language are given: a structured operational semantics and a pi-calculus semantics.

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: formal Development; concurrent programs; compositionality; object-based; operational semantics; pi-calculus

Mots clés: développement formel; programmes concurrents; compositionnel; orienté objet; sémantique opérationnelle; pi-calcul

Domaines: Informatique [cs]

Brahim Mammass. La méthode Cliff Jones orientée objet pour le développement formel de programmes concurrents. [Rapport de recherche] lip6.1998.008, LIP6. 1998. ⟨hal-02547710⟩