Programación para el entorno de computación global
Los nuevos entornos de computación global son más exigentes en cuanto a la variedad de interacciones entre usuarios, además de un número ilimitado de componentes y objetos. Asimismo, la movilidad, la predictibilidad, la seguridad y la tolerancia a los fallos son características importantes en la computación global. Las tecnologías de software personalizado y de lenguajes de programación actuales son potencialmente insuficientes para cumplir estas exigencias. A fin de abordar estas necesidades, el proyecto MIKADO desarrolló un nuevo modelo de programación central basado en dominios para la especificación y la programación de sistemas móviles y altamente distribuidos. Sobre la base teórica de este modelo, los investigadores definieron técnicas de especificación y análisis con vistas a mejorar la seguridad y la fiabilidad de los sistemas. El modelo de programación, además de las técnicas, fueron empleados para la implementación de unas tecnologías de programación concretas. Uno de los lenguajes de programación desarrollados fue el lenguaje de programación distribuido de objetos concurrentes tipificados (TyCO). Este lenguaje concurrente y orientado a objetos consiste en una ampliación de un cálculo asíncrono, en concreto el cálculo de pi, y abarca objetos de primera clase, mensajes asíncronos y definiciones de procesos. Este cálculo ofrece la base para la modelización de clases de objetos. Para más información, visite: http://mikado.di.fc.ul.pt/index.html
