Representando instituciones 3/2 como instituciones estratificadas
Autores: Diaconescu, Rzvan
Idioma: Inglés
Editor: MDPI
Año: 2022
Acceso abierto
Artículo científico
2022
Representando instituciones 3/2 como instituciones estratificadas
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
Extensión
Teoría de instituciones ordinarias
Instituciones estratificadas
-instituciones
Mezcla conceptual
Evolución del software
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 50
Citaciones: Sin citaciones
Por un lado, la extensión de la teoría de instituciones ordinarias, conocida como la teoría de instituciones estratificadas, es un enfoque axiomático general para modelar teorías donde la satisfacción está parametrizada por estados de los modelos. Por otro lado, la teoría de -instituciones es una extensión de la teoría de instituciones ordinarias que acomoda la parcialidad de los morfismos de la firma y sus efectos sintácticos y semánticos. Esta última extensión está motivada por aplicaciones de mezcla conceptual y evolución de software. En este documento, desarrollamos un teorema de representación general de -instituciones como instituciones estratificadas. Esto permite transferir la infraestructura conceptual de las instituciones estratificadas a las -instituciones. Proporcionamos algunos ejemplos en esta dirección.
Descripción
Por un lado, la extensión de la teoría de instituciones ordinarias, conocida como la teoría de instituciones estratificadas, es un enfoque axiomático general para modelar teorías donde la satisfacción está parametrizada por estados de los modelos. Por otro lado, la teoría de -instituciones es una extensión de la teoría de instituciones ordinarias que acomoda la parcialidad de los morfismos de la firma y sus efectos sintácticos y semánticos. Esta última extensión está motivada por aplicaciones de mezcla conceptual y evolución de software. En este documento, desarrollamos un teorema de representación general de -instituciones como instituciones estratificadas. Esto permite transferir la infraestructura conceptual de las instituciones estratificadas a las -instituciones. Proporcionamos algunos ejemplos en esta dirección.