Representación Visual de la Ejecución de una Arquitectura de Software Basada en Componentes con Especificación Formal en Cálculo Rho-Arq
Este contenido es de libre acceso. Solo haz clic en el siguiente botón.
Ir a este contenido- Autor
- Año de publicación 2016
- Descripción
- El proyecto consiste en la construcción de una herramienta de software que facilite la interpretación de arquitecturas de software basadas en componentes descritas usando el cálculo Rho-arq, dicha herramienta brinda la facilidad para exponer de manera gráfica al arquitecto de software la estructura y el flujo de ejecución descritos en la expresiones de la arquitectura objeto de estudio. Esta herramienta fue construida considerando varios módulos que, en conjunto, estan en capacidad de interpretar expresiones conformes a la sintaxis y semántica operacional del cálculo Rho-arq, de acuerdo con el formato del lenguaje de edición científica LaTex, y de convertir dichas expresiones a elementos gráficos de la notación UML2.x.