Propuesta metodológica y herramientas de soporte para modelar y validar esquemas conceptuales

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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Marciszack, Marcelo Martín, Groppo, Mario Alberto, Pérez Cota, Manuel
Formato: Documento de conferencia publisherVersion
Lenguaje:Español
Publicado: 2022
Materias:
Modelado Conceptual
Especificaciones funcionales
Validación de modelos
BPMN
Autómatas Finitos
Desarrollo de software Dirigido por Modelos
Conceptual Modeling
Functional Specification
Validation of models
Finite Automata
Model Driven Software Development
Acceso en línea:http://hdl.handle.net/20.500.12272/6834
Aporte de:
RIA - Repositorio Institucional Abierto (UTN) de Universidad Tecnológica Nacional
id I68-R174-20.500.12272-6834
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
BPMN
Autómatas Finitos
Desarrollo de software Dirigido por Modelos
Conceptual Modeling
Functional Specification
Validation of models
Finite Automata
Model Driven Software Development
spellingShingle Modelado Conceptual
Especificaciones funcionales
Validación de modelos
BPMN
Autómatas Finitos
Desarrollo de software Dirigido por Modelos
Conceptual Modeling
Functional Specification
Validation of models
Finite Automata
Model Driven Software Development
Marciszack, Marcelo Martín
Groppo, Mario Alberto
Pérez Cota, Manuel
Propuesta metodológica y herramientas de soporte para modelar y validar esquemas conceptuales
topic_facet Modelado Conceptual
Especificaciones funcionales
Validación de modelos
BPMN
Autómatas Finitos
Desarrollo de software Dirigido por Modelos
Conceptual Modeling
Functional Specification
Validation of models
Finite Automata
Model Driven Software Development
description El presente trabajo propone la definición de una metodología y la herramienta de soporte asociada, para la especificación y validación de un Modelo Conceptual, a través de la transformación automatizada de modelos a Autómatas Finitos y su validación correspondiente. Describe las características del Proceso de modelado, utilizando la “Notación para el Modelado de Procesos de Negocios” en la actividad de modelado, aplicando los conceptos del Desarrollo de Software dirigido por Modelos. Se propone un mapeo directo entre actividades del proceso de negocio a Casos de Uso, los cuales se transforman a Máquinas de estados a las que se somete a un proceso automatizado de validación, y de esta forma validar el conjunto de especificaciones funcionales en el modelo conceptual de un dominio bajo estudio.
format Documento de conferencia
publisherVersion
author Marciszack, Marcelo Martín
Groppo, Mario Alberto
Pérez Cota, Manuel
author_facet Marciszack, Marcelo Martín
Groppo, Mario Alberto
Pérez Cota, Manuel
author_sort Marciszack, Marcelo Martín
title Propuesta metodológica y herramientas de soporte para modelar y validar esquemas conceptuales
title_short Propuesta metodológica y herramientas de soporte para modelar y validar esquemas conceptuales
title_full Propuesta metodológica y herramientas de soporte para modelar y validar esquemas conceptuales
title_fullStr Propuesta metodológica y herramientas de soporte para modelar y validar esquemas conceptuales
title_full_unstemmed Propuesta metodológica y herramientas de soporte para modelar y validar esquemas conceptuales
title_sort propuesta metodológica y herramientas de soporte para modelar y validar esquemas conceptuales
publishDate 2022
url http://hdl.handle.net/20.500.12272/6834
work_keys_str_mv AT marciszackmarcelomartin propuestametodologicayherramientasdesoporteparamodelaryvalidaresquemasconceptuales
AT groppomarioalberto propuestametodologicayherramientasdesoporteparamodelaryvalidaresquemasconceptuales
AT perezcotamanuel propuestametodologicayherramientasdesoporteparamodelaryvalidaresquemasconceptuales
bdutipo_str Repositorios
_version_ 1764820553253781505

Ejemplares similares