Coopération
Séminaires
MUNTEAN T. (Prof.), CNRS (TIMA) & Univ. de la Médtiterranée
Theme: Global Communicating Systems (A distributed refinement design model)Date: Vendredi 15 décembre 2000
Biography
Traian MUNTEAN, professeur à lUniversité de la Méditerranée à Marseille-Luminy, est actuellement détaché Directeur de Recherche au CNRS à Grenoble dans le laboratoire TIMA. Avant dêtre nommé à Marseille en 1994, il avait créé à lIMAG, dès le début des années 80, léquipe Systèmes Massivement Parallèles et Applications qui a proposé et a contribué à plusieurs projets européens importants dans le domaine du parallélisme (e.g. Supernode dans le cadre duquel a été conçu et réalisé dès 1985 le premier calculateur parallèle reconfigurable dun millier de processeurs). Ses principaux domaines dintérêt sont liés à la communication et au parallélisme dans les systèmes informatiques complexes : modèles de contrôle de la concurrence, algorithmique et architecture systèmes, construction correcte ds systèmes communicants et noyaux pour machines virtuelles, mobilité et routage dans les réseaux.
Abstract
Communication is the basic and main aspect one has to deal with when designing concurrent systems. One can specify interactions between objects/processes/components from several points of view: synchronous/asynchronous, point-to-point message/signals exchange protocols or memory access . The theory behind one-to-one exchanges is today well-established and several formal approaches have been developed for the last twenty years (Hoare, Milner, Roscoe, Henessy and many others). On the other hand, more complex and higher level, global or group/cluster, broadcast-like, communication schemes are encountered in many concurrent systems and programming models. We stress and emphasise that models for global communication and interactions are to be efficiently considered as generic and basic exchange schemes for the construction of many concurrent and communicating next generation systems. This talk will show that models of interaction based on global communication can be more appropriate and useful when designing complex, reconfigurable communicating systems. The model presented for the construction of such systems, emphasises on stepwise refinement and its advantages for the correctness of the design, when compared to a posteriori proofs. It will be presented by using a similar formalism to the one used, for instance, in Abrials B Method.