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

B. Mammass

LIP6 1998/008: Rapport de Recherche LIP6 / LIP6 research reports
47 pages - Mars/March 1998 - French document.

PostScript : 100 Ko /Kb

Contact : par mail / e-mail

Thème/Team: Sémantique, Preuve et Implantation

Titre français : La méthode Cliff Jones orientée objet pour le développement formel de programmes concurrents
Titre anglais : Cliff Jones object-based method for formal development of concurrent programs

Résumé : 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.

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

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

Key-words : formal Development, concurrent programs, compositionality, object-based, operational semantics, pi-calculus

Publications internes LIP6 1998 / LIP6 research reports 1998

Responsable Éditorial / Editor
webmaster@lip6.fr