logo móvil
Contáctanos

Representando instituciones 3/2 como instituciones estratificadas

Autores: Diaconescu, Rzvan

Idioma: Inglés

Editor: MDPI

Año: 2022

Descargar PDF

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


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.

Otros recursos que podrían interesarte

Temas Virtualpro