En esta tesis hemos definido un álgebra de módulos extensible para la lógica de reescritura, y hemos realizado su diseño utilizando las capacidades reflexivas del lenguaje Maude, Hemos propuesto una semántica a dos niveles para este álgebra de módulos, una primera semántica categórica limpia e independiente de cualquier institución y una segunda dada por una especificación en lógica de reescritura, la cual es ejecutable utilizando un lenguaje como Maude. El álgebra de módulos propuesto está basada en la idea de que las especificaciones o programas son vistos como teorías estructuradas y en la que las operaciones de módulos se definen sobre teorías estructuradas devolviendo teorías estructuradas como resultado.
El lenguaje Full Maude extiende a Maude con notación para programación orientada a objetos y con el álgebra de módulos propuesto. También hemos propuesto una metodología para el diseño de entornos de ejecución para distintas lógicas y lenguajes utilizando la reflexión de la lógica de reescritura y el lenguaje Maude, y hemos hecho uso de ella para implementar un entorno de ejecución para el lenguaje Full Maude. Como una forma de extensión de nuestro álgebra de módulos proponemos la idea de ver las herramientas formales como operaciones de módulos, e ilustramos esta posibilidad con una herramienta para comprobar la propiedad de Church-Rosser de especificaciones ecuacionales de tipos ordenados.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados