Revista Integración, temas de matemáticas.
Vol. 32 Núm. 2 (2014): Revista Integración, temas de matemáticas
Artículo Original

Una coinstitución para la lógica de comportamiento abstracto

Jaime Andrés Castaño Perea
Universidad del Valle
Guillermo Ortiz Rico
Universidad del Valle

Publicado 2014-10-31

Palabras clave

  • Especificación,
  • categoría,
  • álgebra,
  • coálgebra,
  • relación de satisfacción,
  • institución,
  • coinstitución.
  • ...Más
    Menos

Cómo citar

Castaño Perea, J. A., & Ortiz Rico, G. (2014). Una coinstitución para la lógica de comportamiento abstracto. Revista integración, Temas De matemáticas, 32(2), 199–210. Recuperado a partir de https://revistas.uis.edu.co/index.php/revistaintegracion/article/view/4383

Resumen

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.

Descargas

Los datos de descargas todavía no están disponibles.

Referencias

  1. Awodey S., Category Theory, Oxford Logic Guides, 49. The Clarendon Press, Oxford University Press, New York, 2006.
  2. Burris S. and Sankappanavar H., A Course In Universal Algebra, Graduate Texts in Mathematics, 78. Springer-Verlag, New York-Berlin, 1981.
  3. Burstall R. and Goguen J., “The Semantics of Clear, A Specification Languaje”, in Proc. Copenagen Winter School on Abstract Software Specifications, (ed. Dines Bjorner),
  4. Springer, Vol. 86 (1979), 292-332
  5. Castaño Perea J.A., “Especificación coalgebraica ecuacional y coecuacional”, Tesis (M.Sc.), Universidad del Valle, Cali, Colombia, 2011, 36 p.
  6. Domínguez C., “Especificación orientada a objetos de sistemas de cálculo simbólico”, Tesis (Ph.D), Universidad de la Rioja, España, Logroño, 2003, 70 p.
  7. Goguen J. and Burstall R., “A study in the foundations of programming methodology: specifications, institutions, charters and parchments”, Category theory and computer programming (Guildford, 1985), 313-333, Lecture Notes in Comput. Sci., 240, Springer, Berlin, 1986.
  8. Goguen J. and Burstall R., “Institutions: abstract model theory for specification and programming”,J. Assoc. Comput. Mach. 39 (1992), no. 1, 95-146.
  9. Kurz A., “A co-variety-theorem for modal logic. Advances in modal logic”, Vol. 2 (Uppsala, 1998), 367-380, CSLI Lecture Notes, 119, CSLI Publ., Stanford, CA, 2001
  10. Pattinson D., “Translating Logics for Coalgebras”, in Lecture Notes in Computer Science, Recent Trends in Algebraic Development Techniques, Springer, Vol. 2755 (2003), 393-408.
  11. Pierce B., Basic Category Theory for Computer Scientist, Londres, Inglaterra, The MIT Press 1991.
  12. Rutten J.J.M.M., “Universal coalgebra: a theory of systems. Modern algebra and its applications”, (Nashville, TN, 1996), Theoret. Comput. Sci. 249 (2000), no. 1, 3-80.
  13. MacLane S., Categories for the working mathematician, Graduate Texts in Mathematics, Vol. 5. Springer-Verlag, New York-Berlin, 1971.