Programmation avancée pour systèmes distribués et mobiles
Pour répondre au défi de l'initiative pour une informatique mondiale, le projet MIKADO s'est fixé pour objectif de repousser les limites actuelles des technologies communes en matière d'intergiciels et de programmation. Parmi ces limites, citons des interactions et une vision restreintes des composants et des objets, ainsi que des difficultés à prendre en charge de façon adaptée et uniforme la mobilité, la prévisibilité, la sécurité et la tolérance aux pannes. Autre aspect important: la capacité de réponse aux enquêtes des systèmes afin de les vérifier, valider et tester de la façon la plus précise possible. Sur ces bases, le projet a permis de spécifier et de mettre au point des prototypes de modèles innovants pour la spécification et la programmation de systèmes hautement distribués et mobiles. L'objectif final consistait à utiliser les nouveaux outils et techniques afin d'améliorer la fiabilité et la sécurité des systèmes et de résoudre ainsi les problèmes correspondants. Un ensemble de modèles et de techniques d'analyse rigoureuses, ainsi qu'une infrastructure logicielle et des machines virtuelles ont été élaborés. Un des nouveaux modèles de programmation, le modèle ULM permet à l'utilisateur de passer d'une programmation fonctionnelle à base de fonctions mathématiques à une programmation, une distribution et une mobilité réactives. Intégré au langage de programmation à paradigmes multiples de schémas qui prend en charge la programmation fonctionnelle, il comporte un outil de compilation et une machine virtuelle pour son installation. Pour de plus amples informations, consulter: http://mikado.di.fc.ul.pt/
