METHODOLOGIE & ARCHITECTURE DES SYSTEMES INFORMATIQUES

Abstract

Resume Etendu La creation des programmes comme un ensemble de types de comportements connus sous le terme processus et un certain mecanisme par lequel ils entrent eninteraction, semble evoluer vers une solution d'ingenierie positive enmatiere de programmation des machines paralleles. Malgre les gros e orts e ectues pour la comprehension des philosophies du processus (ex.: Hoare, Milner, Pratt et d'autres), ces philosophies qui sont les moyens d'interaction entre les processus, demeurent aujourd'hui un sujet adebattre. Les philosophies sur l'interaction des processus sont une composante integrale de la theorie et la pratique du processus parallele, de nissant lesmoyens d'interaction utilises par les processus concourrants � par \interaction " on entend non seulement l'echange des donnees mais aussi la synchronisation inter-processus. Etant a la recherche d'une philosophie passe-partout pour la programmation des machines paralleles, il est souhaitable de fournir une portabilite, un caractere expressif qui ne detournera pas l'esprit du programmeur de sa t^ache et en n une e cacite et cela independamment de l'architecture de la memoire de la machine