Objetivo general

Estudiar, comprender y asimilar la teoría de la multiprogramación propuesta por Jayadev Misra y aplicar dichos conceptos en la simulación de ejemplos prácticos de concurrencia en el lenguaje de programación Maude.

Objetivos específicos

• Mostrar ante la comunidad académica algunos métodos y estrategias para diseñar sistemas concurrentes o paralelos.

• Aprender a programar bajo el paradigma declarativo y de reescritura con el lenguaje de programación MAUDE.

• Reforzar los conocimientos adquiridos en asignaturas de matemáticas discretas, teoría de la programación, sistemas operativos y redes.

• Profundizar en el manejo del sistema operativo GNU/Linux.

• Reforzar la habilidad para comunicar temas técnicos especializados a expertos y a la comunidad académica en general.

Logros

• Comprensión de la parte fundamental de la teoría de multiprogramación propuesta por Jayadev Misra.

• Implementación de una serie de ejemplos en lenguaje de programación Maude ilustrando la teoría propuesta por Misra.

• Simulación de sistemas distribuidos en Maude orientado a objetos.

• Se utilizó la herramienta model-check sobre los ejemplos implementados para probar propiedades interesantes sobre los programas.

• Se logro adquirir habilidades satisfactorias en el lenguaje de programación Maude, bajo el paradigma de programación funcional y de reescritura.

• Refuerzo en los conocimientos adquiridos en materias como redes, sistemas operativos, matemáticas discretas y teoría de la programación.