Langage de programmation avancé pour calcul informatique mondial
Les recherches en matière de calcul informatique mondial se concentrent sur la génération de systèmes d'ordinateurs d'usage général afin de satisfaire, voire de devancer les besoins d'un monde distribué. Les techniques de calcul informatique mondial développées concernent des applications potentiellement utiles dans différents domaines, y compris les services Web, l'intelligence ambiante ou les grilles. Indépendamment du domaine d'application, la disponibilité mondiale des infrastructures de calcul peut être exploitée pour offrir de façon uniforme des services de calcul sûrs, mobiles et universels. Destiné à faire progresser le calcul informatique mondial, le projet MIKADO a permis de définir et de produire des prototypes de nouveaux modèles formels pour la programmation de systèmes hautement distribués et mobiles. En outre, de nouvelles techniques de spécification et d'analyse ont été introduites afin d'améliorer la sécurité et la fiabilité des systèmes informatiques. Toutes ces techniques ont été élaborées sur la base du concept de domaine pour un calcul informatique fiable, distribué et mobile. En outre, l'élément de domaine a constitué la base mathématique d'une norme sécurisée de calcul informatique distribué dans les systèmes ouverts. L'un des principaux résultats du projet correspond au KLAIM (Kernel Language for Agents Interaction and Mobility, ou langage central pour l'interaction et la mobilité des agents), un langage expérimental pour le calcul informatique mondial. Ce langage constitue un paradigme unique pour les processus en mouvement, par exemple les données passant d'un environnement de calcul à un autre, et prend en charge la programmation à emplacements explicites. Il comporte un modèle de coordination LINDA à espaces d'uplet distribués multiples, qui sont des ensembles pluriels de séquences d'éléments d'information, associés à un jeu d'opérateurs pour les processus de création. Sur la base du KLAIM, un langage de programmation à grande échelle dénommé X-KLAIM a été mis en œuvre, en plus d'un système en temps réel développé par Java pour des motifs de portabilité. X-KLAIM combine les avantages liés à la programmation de différentes applications distribuées avec agents et codes mobiles à la capacité de fonctionner sur différentes plateformes compte tenu du fait qu'il est compilé en langage Java. Ce langage permet d'échanger des données et des processus ainsi que de programmer des agents mobiles pour la récupération d'informations sur Internet. Pour de plus amples informations sur le projet, consulter: http://mikado.di.fc.ul.pt/