Validación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractas

En el presente trabajo se propone una definición metodológica 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 la característica del Proceso de Modelado a través de la aplicación del Des...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Pérez Cota, Manuel, Groppo, Mario Alberto, Marciszack, Marcelo Martín
Formato: Documento de conferencia acceptedVersion
Lenguaje:Español
Publicado: Confedi .( Consejo Federal de Decanos de Ingeniería) 2021
Materias:
Acceso en línea:http://hdl.handle.net/20.500.12272/5165
Aporte de:
id I68-R174-20.500.12272-5165
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 dirigidos por modelos MDD
spellingShingle Modelado conceptual
Especificaciones funcionales
Validación de modelos
Autómatas finitos
Desarrollo de software dirigidos por modelos MDD
Pérez Cota, Manuel
Groppo, Mario Alberto
Marciszack, Marcelo Martín
Validación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractas
topic_facet Modelado conceptual
Especificaciones funcionales
Validación de modelos
Autómatas finitos
Desarrollo de software dirigidos por modelos MDD
description En el presente trabajo se propone una definición metodológica 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 la característica 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, su transformación mediante un proceso automatizado a Autómatas Finitos junto con la definición 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 Documento de conferencia
acceptedVersion
author Pérez Cota, Manuel
Groppo, Mario Alberto
Marciszack, Marcelo Martín
author_facet Pérez Cota, Manuel
Groppo, Mario Alberto
Marciszack, Marcelo Martín
author_sort Pérez Cota, Manuel
title Validación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractas
title_short Validación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractas
title_full Validación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractas
title_fullStr Validación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractas
title_full_unstemmed Validación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractas
title_sort validación de especificaciones funcionales en el modelado de esquemas conceptuales a través de máquinas abstractas
publisher Confedi .( Consejo Federal de Decanos de Ingeniería)
publishDate 2021
url http://hdl.handle.net/20.500.12272/5165
work_keys_str_mv AT perezcotamanuel validaciondeespecificacionesfuncionalesenelmodeladodeesquemasconceptualesatravesdemaquinasabstractas
AT groppomarioalberto validaciondeespecificacionesfuncionalesenelmodeladodeesquemasconceptualesatravesdemaquinasabstractas
AT marciszackmarcelomartin validaciondeespecificacionesfuncionalesenelmodeladodeesquemasconceptualesatravesdemaquinasabstractas
bdutipo_str Repositorios
_version_ 1764820551612760065