Plan de trabajo

El grupo tiene tres ejes de acción:

1. Búsqueda de formalismos para modelar procesos concurrentes y distribuídos
2. Teoría y aplicaciones de la programación concurrente de restricciones
3. Representación visual de la computación

La estrategia general es mantenerse en el estado del arte en estas áreas a través de la definición de proyectos concretos de investigación que conduzcan al desarrollo de software no tradicional con gran valor agregado de conocimiento computacional. El plan general de trabajo consiste en:

1. Identificar aplicaciones interesantes en la industria, la ciencia y la música, en las que los modelos de concurrencia y programación por restricciones puedan agregar valor.
2. Analizar cuidadosamente el desempeño del software en esas áreas, identificando así limitaciones de la tecnología que sugieran campos precisos de investigación (Las actividades 1 y 2 se realizan en general con el soporte financiero de las instituciones que participan en el grupo (Javeriana-Cali, Univalle y el IRCAM)
3. Identificados los campos específicos, proponer modelos y difundirlos en congresos internacionales. En ellos buscar asociaciones con grupos de interés similar, particularmente europeos.
4. Proponer proyectos mixtos de investigación/desarrollo, que involucren alguna institución del sector productivo y en los que participan pares de universidades europeas
5. Paralelamente a los anteriores, mantener una línea de capacitación en las tecnologías y formalismos de interés del grupo, a nivel pregrado y doctorado, tanto en la Universidad Javeriana-Cali como en la Universidad del Valle, El propósito es garantizar la continuidad del grupo formando jóvenes investigadores que rápidamente se vuelvan productivos en los temas de interés del grupo.
6. Realización de seminarios periódicos interinstitucionales para mantener a todos los integrantes del grupo al tanto de los avances de los trabajos de todos sus miembros y de la de grupos de interés similar en el mundo.

Estado del arte

El trabajo del grupo se ha desarrollado en tres temas específicos:

• Modelos concurrentes para integración de objetos y restricciones
• Sistemas de programación por restricciones sobre distintos tipos de dominios.
• Modelos de programación visual
• Sistemas de ayuda a la composición musical

1. En el primer tema las investigaciones se han centrado en la elaboración de cálculos de procesos concurrentes móviles. Recientemente se han propuesto dos estrategias de elaboración de cálculos formales de procesoso concurrentes:
   • Partir de una única noción de base, la de sistema de restricciones y simular los conceptos de objeto y proceso.
   • Tomar como base el concepto de "referencia" (en el sentido de "dirección" en un lenguaje de programación), y definir luego procesos cuyos canales de comunicación se identifican por esas referencias.

En esta última estrategia el grueso de las investigaciones actuales descansa en la introducción en el cálculo de mecanismos de representación de los diferentes aspectos de seguridad, movilidad, etc., que se observan en internet. El grupo AVISPA está en el estado del arte. El cálculo PiCO ha sido comparado favorablemente con propuestas de varios investigadores.

1. En programación concurrente de restricciones el estado del arte son los desarrollos del lenguaje Mozart en el DFKI alemán y los modelos propuestos recientemente por Montanari y Rossi para integrar¨"soft constraints" en el modelo CCP. También el desarrollo de propagadores eficientes por el grupo de la universidad de Nantes. Avispa ha hecho aportes en esta rama.
2. En composición asistida por computador, el lenguaje Open Music, del IRCAM, es el estado del arte. También Max y Pd, de Miller Pucket en Berkeley. Situation, de Avispa, está en el estado del arte de lenguajes visuales basados en restricciones.

Retos

1. Construír propagadores y exploradores de lenguajes CCP que realmente permitan resolver problemas de ingeniería y logística que ocurren en el mundo real, particularmente que faciliten expresar restricciones sobre números reales y complejos.
2. Definir metodologías de programación efectivas para la construcción de software CCP.
3. Encontrar variaciones al modelo CCP que integren eficazmente soluciones aproximadas a los problemas.
4. Definir modelos y construír herramientas que acoplen sistemas de explicación de decisiones al explorador de un lenguaje CCP.
5. Modelar con el cálculo ntcc sistemas concurrentes complejos en biología, en Internet y procesos rítmicos que curran en composiciones musicales reales, y probar sus propiedades. Construír software de ayuda a la prueba de teoremas en la lógica temporal asociada a ntcc. Añadir nociones probabilísticas a cálculos de procesos.
6. Integrar de manera más fina el modelo CCP a los lenguajes visuales existentes de ayuda a la composición musical, tales como Open Music.