Metodología y herramienta de soporte para validar modelos conceptuales a través de máquinas abstractas

El presente trabajo, propone la definición de una metodología y herramienta de soporte asociada, para la especificación y validación de un Modelo Conceptual, a través de la transformación de modelos a autómatas finitos y su validación correspondiente. Describe las características del Proceso de Mode...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Marciszack, Marcelo Martín, Pérez Cota, Manuel, Groppo, Mario Alberto
Formato: Artículo publisherVersion
Lenguaje:Español
Publicado: 2021
Materias:
modelado conceptual
especificaciones funcionales
validación de modelos
autómatas finitos
desarrollo de software dirigido por modelos.
Acceso en línea:http://hdl.handle.net/20.500.12272/5260
Aporte de:
RIA - Repositorio Institucional Abierto (UTN) de Universidad Tecnológica Nacional
id I68-R174-20.500.12272-5260
record_format dspace
institution Universidad Tecnológica Nacional
institution_str I-68
repository_str R-174
collection RIA - Repositorio Institucional Abierto (UTN)
language Español
topic modelado conceptual
especificaciones funcionales
validación de modelos
autómatas finitos
desarrollo de software dirigido por modelos.
spellingShingle modelado conceptual
especificaciones funcionales
validación de modelos
autómatas finitos
desarrollo de software dirigido por modelos.
Marciszack, Marcelo Martín
Pérez Cota, Manuel
Groppo, Mario Alberto
Metodología y herramienta de soporte para validar modelos conceptuales a través de máquinas abstractas
topic_facet modelado conceptual
especificaciones funcionales
validación de modelos
autómatas finitos
desarrollo de software dirigido por modelos.
description El presente trabajo, propone la definición de una metodología y herramienta de soporte asociada, para la especificación y validación de un Modelo Conceptual, a través de la transformación de modelos a autómatas finitos y su validación correspondiente. Describe las características del Proceso de Modelado, a través de la aplicación del Desarrollo dirigido por modelos MDD, con utilización de BPMN para el modelado de Procesos de Negocios. La gestión del proceso se realiza a través de una herramienta automatizada de Casos de Uso, su definición y posterior transformación a Máquinas de estado junto con la propuesta de controles a realizar sobre el modelo abstracto resultante, para de esta manera, validar el modelo de proceso de negocio que representa las especificaciones funcionales en el modelo conceptual del dominio bajo estudio.
format Artículo
publisherVersion
author Marciszack, Marcelo Martín
Pérez Cota, Manuel
Groppo, Mario Alberto
author_facet Marciszack, Marcelo Martín
Pérez Cota, Manuel
Groppo, Mario Alberto
author_sort Marciszack, Marcelo Martín
title Metodología y herramienta de soporte para validar modelos conceptuales a través de máquinas abstractas
title_short Metodología y herramienta de soporte para validar modelos conceptuales a través de máquinas abstractas
title_full Metodología y herramienta de soporte para validar modelos conceptuales a través de máquinas abstractas
title_fullStr Metodología y herramienta de soporte para validar modelos conceptuales a través de máquinas abstractas
title_full_unstemmed Metodología y herramienta de soporte para validar modelos conceptuales a través de máquinas abstractas
title_sort metodología y herramienta de soporte para validar modelos conceptuales a través de máquinas abstractas
publishDate 2021
url http://hdl.handle.net/20.500.12272/5260
work_keys_str_mv AT marciszackmarcelomartin metodologiayherramientadesoporteparavalidarmodelosconceptualesatravesdemaquinasabstractas
AT perezcotamanuel metodologiayherramientadesoporteparavalidarmodelosconceptualesatravesdemaquinasabstractas
AT groppomarioalberto metodologiayherramientadesoporteparavalidarmodelosconceptualesatravesdemaquinasabstractas
bdutipo_str Repositorios
_version_ 1764820551778435075

Ejemplares similares