Lenguaje de programación avanzado para computación global
La investigación sobre computación global se centra en la generación de sistemas informáticos generales con el objetivo de satisfacer las necesidades de un mundo distribuido e ir más allá. Las técnicas de computación global desarrolladas tienen posibles aplicaciones de utilidad en varios dominios, como los servicios Web, los entornos inteligentes o las redes «grid». Independientemente del dominio de aplicación, la disponibilidad global de infraestructuras computacionales puede explotarse para ofrecer servicios uniformes para una computación segura, móvil y ubicua. Con el objetivo de avanzar en el sector de la computación global, el proyecto MIKADO especificó y desarrolló prototipos de nuevos modelos formales de programación de sistemas móviles y de gran distribución. Asimismo, se introdujeron nuevas técnicas de especificación y análisis para mejorar la seguridad y la fiabilidad de los sistemas informáticos. Todo esto se construyó sobre el concepto básico de dominio de computación fiable, distribuida y móvil. Asimismo, el elemento de dominio constituyó la base matemática para una norma segura de computación distribuida en sistemas abiertos. Uno de los resultados fundamentales del proyecto fue el Lenguaje Kernel para la Interacción y la Movilidad de Agentes (KLAIM), un lenguaje experimental de computación global. Constituye un paradigma único de procesos en movimiento, por ejemplo datos que se mueven de un entorno informático a otro, y permite programar con ubicaciones explícitas. Está formado por el modelo de coordinación LINDA con múltiples espacios de tuplas distribuidos, que son conjuntos múltiples de secuencias de elementos informativos múltiples y una serie de operadores para la generación de procesos. Sobre la base de KLAIM, se puso en práctica todo un lenguaje de programación específico llamado X-KLAIM sobre un sistema de tiempo de ejecución desarrollado en Java por motivos de portabilidad. X-KLAIM combina, por un lado, los beneficios que representa la programación de varias aplicaciones distribuidas con agentes y movilidad de códigos con, por otro lado, la capacidad de ejecutarse en varias plataformas gracias a su compilación en Java. Este lenguaje permite intercambiar datos y procesos, así como programar agentes móviles para recuperar información a través de la red. Para más información sobre el proyecto, consulte: http://mikado.di.fc.ul.pt/
