Integración de lógica lineal temporal a modelos de arquitecturas de software basadas en componentes especificadas a través del cálculo rho-arq
CONTENIDO DE LIBRE ACCESO
Este contenido es de libre acceso. Solo haz clic en el siguiente botón.
Ir a este contenido- Autor
- Año de publicación 2018
- Descripción
- El presente trabajo de investigación establece un mecanismo para incorporar lógica lineal temporal a una configuración arquitectural especificada a través del cálculo rho-arq. Este proceso se realiza interpretando los componentes y la definición del sistema (estructura y comportamiento) de una configuración arquitectural y la generación de un procedimiento para construir un Sistema de Transición de Proposiciones Atómicas (STPA) sobre el cual se realiza la verificación de propiedades temporales. La visualización de este proceso se realiza a través de una extensión de la aplicación PintArq.
-
Citación recomendada (normas APA)
- Oscar Javier Puentes Puentes, "Integración de lógica lineal temporal a modelos de arquitecturas de software basadas en componentes especificadas a través del cálculo rho-arq", -:-, 2018. Consultado en línea en la Biblioteca Digital de Bogotá (https://www.bibliotecadigitaldebogota.gov.co/resources/2908505/), el día 2024-05-15.