Inspiración a base de modelos de programación distribuidos y móviles Conforme van creciendo el alcance y la potencia computacional de las infraestructuras de información globales, un marco innovador de software que sirve de soporte para un tipo de computación altamente distribuida tiene como objetivo aprovechar sus beneficios potenciales. Economía digital Los nuevos paradigmas de computación, como la «computación global» y el «entorno inteligente», prevén una mezcla de dispositivos móviles personales y públicos que serán capaces de cruzar dominios y fronteras de redes. Una masiva infraestructura compuesta por objetos muy diversos e interconectados serviría de soporte para servicios uniformes con garantías variables de comunicación y movilidad, además de uso de recursos y seguridad. El proyecto MIKADO, como parte de la iniciativa Tecnologías Futuras y Emergentes, se propuso abordar las inconsistencias de los actuales lenguajes de programación y middleware para hacer frente a los retos planteados por este tipo de entorno. En particular, éstos suelen permitir una gama limitada de interacciones y cuentan con una visión limitada de componentes y objetos. Es importante destacar que no toleran investigaciones rigurosas con fines de validación y ensayo. El desarrollo de modelos formales para la especificación y programación de sistemas a gran escala, distribuidos y móviles era uno de los objetivos principales de los socios del proyecto MIKADO. A fin de asentar los cimientos necesarios para superar las limitaciones actuales de la computación global, se estudiaron varios modelos de distribución y migración de códigos explícitos y computación. Se centraron en modelos de dominios computacionales con membranas programables e intentaron unificar diferentes cálculos en un modelo formal central de programación concurrente y orientada a objetos. A continuación se propusieron técnicas de especificación y análisis para el nuevo modelo de programación, ampliando trabajos recientes sobre sistemas tipo de cara a lenguajes orientados a objetos y cálculos de procesos distribuidos. Estos variaban desde sistemas tipo y técnicas de análisis estático para expresar las limitaciones de la concurrencia y del acceso a recursos hasta técnicas de prueba para garantizar que los códigos móviles se ajustan a las especificaciones predefinidas. Esto último requería técnicas coinductivas novedosas para comparar el comportamiento distribuido de sistemas y una lógica nueva de especificación para expresar puntos de vista parciales de paradigmas de programación. Un marco de software común de apoyo a la implementación de cálculos de procesos distribuidos no podía restringirse a una serie fija de rudimentos de la comunicación. El marco IMC (Implementing Mobile Calculi), al que puede accederse desde la página del proyecto MIKADO junto con el resto de sus principales prestaciones, es lo suficientemente flexible como para servir de soporte para protocolos de comunicación múltiples e incluso personalizados.
