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...
Guardado en:
Autores principales: | , , |
---|---|
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 |