Las Tecnologías de la Información y la Comunicación (TIC’s) ofrecen servicios sorprendentes, que proporcionan acceso permanente a todo tipo de información y aplicaciones que se encuentran alrededor del mundo. En particular, los sistemas paralelos son buenos ejemplos de los paradigmas emergentes que deben ser considerados por científicos que se desempeñan en el campo informático. Estos sistemas plantean actividades críticas (sincronización, comunicación, etc.) que repercuten en la eficiencia e utilidades de ellos.
Los sistemas con las características mencionadas también están sujetos a tareas de mantenimiento, evolución y migración de software. Para realizar estas actividades los programadores deben comprender el sistema (o programa). Un programador entiende un programa cuando consigue relacionar el dominio del problema con el dominio del programa. Llevar a cabo esta relación no es una tarea sencilla porque implica la construcción de una representación adecuada para cada dominio y la definición de un procedimiento de vinculación de ambas representaciones. Por esta razón, es necesario la elaboración de métodos, técnicas y herramientas que faciliten la comprensión de estos sistemas de forma tal que se puedan reducir los costos y esfuerzos en las tareas descriptas. Lo antes mencionado es la principal línea de investigación que se presenta en este artículo.