Desarrollo de infraestructura para facilitar el análisis y la verificación de diagramas de actividad identificando los caminos funcionales modelados
Los sistemas se mantienen en continua evolución, buscando satisfacer las necesidades del contexto en el que interactúan se vuelven más complejos y costosos. Por el contrario, dentro de las necesidades de un mercado demandante, las compañías buscan reducir los costos para mantener un precio competiti...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis de maestría |
| Estado: | Versión aceptada para publicación |
| Fecha de publicación: | 2019 |
| País: | México |
| Institución: | Centro de Investigación y Asistencia en Tecnología |
| Repositorio: | Repositorio Institucional de CIATEQ |
| Idioma: | español |
| OAI Identifier: | oai:ciateq.repositorioinstitucional.mx:1020/384 |
| Acceso en línea: | http://ciateq.repositorioinstitucional.mx/jspui/handle/1020/384 |
| Access Level: | acceso abierto |
| Palabra clave: | info:eu-repo/classification/Palabra clave del autor/Semántico info:eu-repo/classification/Palabra clave del autor/Adaptarse info:eu-repo/classification/Palabra clave del autor/Verificación info:eu-repo/classification/Palabra clave del autor/Evolución info:eu-repo/classification/Palabra clave del autor/Semantic info:eu-repo/classification/Palabra clave del autor/Adapt info:eu-repo/classification/Palabra clave del autor/Verification info:eu-repo/classification/Palbra clave del autor/Evolution info:eu-repo/classification/cti/7 info:eu-repo/classification/cti/33 info:eu-repo/classification/cti/3304 info:eu-repo/classification/cti/120305 |
| Sumario: | Los sistemas se mantienen en continua evolución, buscando satisfacer las necesidades del contexto en el que interactúan se vuelven más complejos y costosos. Por el contrario, dentro de las necesidades de un mercado demandante, las compañías buscan reducir los costos para mantener un precio competitivo. Es por esta razón que herramientas para automatizar procesos toman importancia. Al reducir los tiempos de desarrollo, es posible mantener la evolución de los sistemas y seguir con un precio competitivo. Herramientas actuales de automatización de procesos de verificación de software utilizan una semántica definida por el mismo creador de esta. En todos los proyectos, se terminan utilizando alternativas de diseño buscando adaptarse a esta semántica que no fue diseñada para un proyecto en específico. Esta carencia de adaptabilidad semántica produce que los ingenieros terminen trabajando para la herramienta y no viceversa. Es necesaria una herramienta capaz de manejar una semántica adaptable a las necesidades de cualquier proyecto; de esta manera, podemos garantizar que la herramienta trabajará para el proyecto y reducirá los costos de desarrollo. El concepto de análisis semántico lo encontramos dentro del mundo de la teoría de lenguajes y las Gramáticas Libres de Contexto (GLC). Definiendo la gramática adecuada, un diagrama de actividad se traduce a un árbol sintáctico donde cada rama representa un elemento semántico a procesar y cada hoja todos lo lexemas involucrados en el concepto. La plataforma se probó con el proyecto de TrueCourse, el sistema de gestión de vuelo más actual de General Electric (GE). La plataforma redujo en un 27% el tiempo de desarrollo, logrando adaptarse a las necesidades de cada componente y a la metodología de desarrollo basado en etapas de maduración tecnológica de la NASA (TRL por sus siglas en inglés). En proyectos donde las necesidades son cambiantes debido a su proceso de maduración, herramientas con la capacidad de adaptarse a las necesidades son importantes. Tecnologías sin esta capacidad no tienen un impacto significativo en proyectos complejos. |
|---|