Programmation pour l'environnement informatique mondial
Les nouveaux environnements informatiques mondiaux comportent des besoins accrus dans le domaine des interactions entre utilisateurs, en plus d'un nombre illimité de composants et d'objets. En outre, la mobilité, la prédictibilité, la sécurité et la tolérance aux pannes sont des caractéristiques importantes de l'informatique mondiale. Les progiciels et les technologies des langages de programmation actuels sont potentiellement insuffisants pour répondre à ces besoins. Pour y répondre, le projet MIKADO s'est fixé pour objectif la mise au point d'un nouveau modèle central de programmation à base de domaines permettant la spécification et la programmation des systèmes hautement distribués et mobiles. Sur la base théorique de ce modèle, les chercheurs ont défini des techniques de spécification et d'analyse destinées à améliorer la sécurité et la fiabilité des systèmes. Ce modèle de programmation, ainsi que ces techniques, ont servi à la mise en œuvre de technologies de programmation concrètes. Un des langages de programmation ainsi mis au point est le langage de programmation distribué TyCO (Typed Concurrent Objects, ou objets concurrents typés). Ce langage concurrent orienté objet s'appuie sur une extension d'un calcul asynchrone, en l'occurrence de calcul de pi, et comporte des objets de première catégorie, des messages asynchrones et des définitions de processus. Ces dernières constituent la base des catégories d'objets de modélisation. Pour en savoir plus, consulter: http://mikado.di.fc.ul.pt/index.html
