Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Artículo científico |
| Lenguaje: | es |
| Publicado: |
Universidad Industrial de Santander
2014
|
| Materias: | |
| Acceso en línea: | https://www.redalyc.org/articulo.oa?id=327032535007 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- Una coinstitución para la lógica de comportamiento abstracto Jaime Andrés Castaño Perea Guillermo Ortiz Rico Física, Astronomía y Matemáticas álgebra categoría coálgebra institución coinstitución Recientemente, la especificación de un problema en ciencias de la computación un -paso intermedio entre el problema dado y su aplicación como un sistema de software que garantiza su solución- utiliza el álgebra universal y la teoría de coálgebras para su descripción.Esta etapa incluye componentes sintácticas y semánticas, que tienen como resultado un sistemalógico. En [3], se propone la lógica ecuacional multitipada para la especificación de problemas. Dualmente,en [9] se estudia una lógica de comportamiento abstracto, la cual modela procesos y comportamiento de sistemas coalgebraicos. En ambas lógicas los componentes sintáctico y semántico son conectados por medio de una relación de satisfacción, caracterizada por el siguiente principio: la verdad se preserva bajo transformaciones del lenguaje. En un marco general y moderno, hoy contamos con las instituciones en la especificación algebraica y coinstitucion es en la especificación coalgebraica. El propósito del presente artículo es estudiar un caso particular de la lógica de comportamiento abstracto presentada en [9], en donde las coálgebras las restringimos a funtores polinomiales. Identificamos la respectiva coinstitución coalgebraica, detallando sus componentes y explícitamente presentaremos la relación de satisfacción como un resultado final. 2014 artículo científico 0120-419X https://www.redalyc.org/articulo.oa?id=327032535007 es http://www.redalyc.org/revista.oa?id=3270 Revista Integración application/pdf Universidad Industrial de Santander Revista Integración (Colombia) Num.2 Vol.32