Résumé :
Les systèmes à objets répartis ont de plus en plus d'importance dans
le monde des logiciels, ils ont aussi de grandes applications dans le
domaine des systèmes informatiques distribués et concurrents.
ProActive est une bibliothèque développée dans le cadre du projet OASIS à l'INRIA Sophia Antipolis, CNRS - Université de Nice Sophia Antipolis, avec pour but de fournir des primitives de haut niveau pour permettre de développer des applications Java distribuées de manière simple et sure.
Ces langages ont donné lieu à l'élaboration de modélisations formelles ayant pour but de permettre des travaux d'analyse ou de preuve de ces modèles.
Dans le but d'étudier les propriétés comportementales du système d'objets répartis et mobiles ProActive, on a étudié le calcul opérationnel ASP - Asynchronous Sequential Processes introduit par ailleurs dans l'équipe OASIS. On a alors proposé un nouvel modèle comportemental à partir de ce calcul. Notre modèle est du type "algèbre de processus", a la CCS - Calculus of Communicating System - une des approches classiques de formalisation des systèmes concurrents. A partir de genre de modele, il est possible d'utiliser des outils de vérification pour le "Model Checking". Le resultat du travail est illustré par l'exemple classique du dinner de Philosophe et Fourchette.
Retour au sommaire / Back to schedule