Una coinstitución para la lógica de comportamiento abstracto
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 s...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Spanish |
| Published: |
Universidad Industrial de Santander
2014-10-01
|
| Series: | Revista Integración |
| Subjects: | |
| Online Access: | https://revistas.uis.edu.co/index.php/revistaintegracion/article/view/4383 |
| _version_ | 1818806675432275968 |
|---|---|
| author | Jaime Andrés Castaño Perea Guillermo Ortiz Rico |
| author_facet | Jaime Andrés Castaño Perea Guillermo Ortiz Rico |
| author_sort | Jaime Andrés Castaño Perea |
| collection | DOAJ |
| description | 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 sistema ló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 coinstituciones 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.
Para citar este artículo: J.A. Castaño Perea, G. Ortiz Rico, Una coinstitución para la lógica de comportamiento abstracto, Rev. Integr. Temas Mat. 32 (2014), no. 2, 199-210. |
| first_indexed | 2024-12-18T19:13:32Z |
| format | Article |
| id | doaj.art-e3896a1c60e047b090f1b21de4ae160c |
| institution | Directory Open Access Journal |
| issn | 0120-419X 2145-8472 |
| language | Spanish |
| last_indexed | 2024-12-18T19:13:32Z |
| publishDate | 2014-10-01 |
| publisher | Universidad Industrial de Santander |
| record_format | Article |
| series | Revista Integración |
| spelling | doaj.art-e3896a1c60e047b090f1b21de4ae160c2022-12-21T20:56:10ZspaUniversidad Industrial de SantanderRevista Integración0120-419X2145-84722014-10-01322Una coinstitución para la lógica de comportamiento abstractoJaime Andrés Castaño Perea0Guillermo Ortiz Rico1Universidad del ValleUniversidad del ValleRecientemente, 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 sistema ló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 coinstituciones 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. Para citar este artículo: J.A. Castaño Perea, G. Ortiz Rico, Una coinstitución para la lógica de comportamiento abstracto, Rev. Integr. Temas Mat. 32 (2014), no. 2, 199-210.https://revistas.uis.edu.co/index.php/revistaintegracion/article/view/4383Especificacióncategoríaálgebracoálgebrarelación de satisfaccióninstitución |
| spellingShingle | Jaime Andrés Castaño Perea Guillermo Ortiz Rico Una coinstitución para la lógica de comportamiento abstracto Revista Integración Especificación categoría álgebra coálgebra relación de satisfacción institución |
| title | Una coinstitución para la lógica de comportamiento abstracto |
| title_full | Una coinstitución para la lógica de comportamiento abstracto |
| title_fullStr | Una coinstitución para la lógica de comportamiento abstracto |
| title_full_unstemmed | Una coinstitución para la lógica de comportamiento abstracto |
| title_short | Una coinstitución para la lógica de comportamiento abstracto |
| title_sort | una coinstitucion para la logica de comportamiento abstracto |
| topic | Especificación categoría álgebra coálgebra relación de satisfacción institución |
| url | https://revistas.uis.edu.co/index.php/revistaintegracion/article/view/4383 |
| work_keys_str_mv | AT jaimeandrescastanoperea unacoinstitucionparalalogicadecomportamientoabstracto AT guillermoortizrico unacoinstitucionparalalogicadecomportamientoabstracto |