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

Autores
Marciszack, Marcelo Martín; Groppo, Mario Alberto; Pérez Cota, Manuel
Año de publicación
2016
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
This paper proposes the definition of a methodology and associated support tool for the specification and validation of a Conceptual Model, through automated processing to Finite Automata models and corresponding validation. It describes the characteristics of modeling process, using the "Notation for Business Process Modeling" in the modeling activity, applying the concepts of Model-Driven Software Development. It’s proposed a direct mapping between activities of the business process and Use Cases, which are transformed to state machines that are subjected to an automated validation process, and thus validate the set of functional specifications in the conceptual model of a domain under study.
Fil: Marciszack, Marcelo Martín. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información; Argentina.
Fil: Groppo, Mario Alberto. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información; Argentina.
Fil: Perez Cota, Manuel. Universidad de Vigo. Facultad de Informática. Vigo; España.
Materia
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
Nivel de accesibilidad
acceso abierto
Condiciones de uso
2022-08-11T22:16:35Z
Repositorio
Repositorio Institucional Abierto (UTN)
Institución
Universidad Tecnológica Nacional
OAI Identificador
oai:ria.utn.edu.ar:20.500.12272/6834
Acceder
id RIAUTN_bdaf018f583c6e7e22e50823671ec289
oai_identifier_str oai:ria.utn.edu.ar:20.500.12272/6834
network_acronym_str RIAUTN
repository_id_str a
network_name_str Repositorio Institucional Abierto (UTN)
spelling Propuesta metodológica y herramientas de soporte para modelar y validar esquemas conceptualesMarciszack, Marcelo MartínGroppo, Mario AlbertoPérez Cota, ManuelModelado ConceptualEspecificaciones funcionalesValidación de modelosBPMNAutómatas FinitosDesarrollo de software Dirigido por ModelosConceptual ModelingFunctional SpecificationValidation of modelsFinite AutomataModel Driven Software DevelopmentEl 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.This paper proposes the definition of a methodology and associated support tool for the specification and validation of a Conceptual Model, through automated processing to Finite Automata models and corresponding validation. It describes the characteristics of modeling process, using the "Notation for Business Process Modeling" in the modeling activity, applying the concepts of Model-Driven Software Development. It’s proposed a direct mapping between activities of the business process and Use Cases, which are transformed to state machines that are subjected to an automated validation process, and thus validate the set of functional specifications in the conceptual model of a domain under study.Fil: Marciszack, Marcelo Martín. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información; Argentina.Fil: Groppo, Mario Alberto. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información; Argentina.Fil: Perez Cota, Manuel. Universidad de Vigo. Facultad de Informática. Vigo; España.2022-08-11T22:16:35Z2022-08-11T22:16:35Z2016info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciapdfapplication/pdfhttp://hdl.handle.net/20.500.12272/6834-spainfo:eu-repo/semantics/openAccess2022-08-11T22:16:35Zhttp://creativecommons.org/licenses/by-nc-nd/4.0/Attribution-NonCommercial-NoDerivatives 4.0 InternacionalMarciszack, Marcelo Martín_X_Atribución (Attribution): En cualquier explotación de la obra autorizada por la licencia será necesario reconocer la autoría (obligatoria en todos los casos). _X_No comercial (Non Commercial): La explotación de la obra queda limitada a usos no comerciales. _X_Sin obras derivadas (No Derivate Works): La autorización para explotar la obra no incluye la posibilidad de crear una obra derivada (traducciones, adaptaciones, etc.). _X_Compartir igual (Share Alike): La explotación autorizada incluye la creación de obras derivadas siempre que se mantenga la misma licencia al ser divulgadas.reponame:Repositorio Institucional Abierto (UTN)instname:Universidad Tecnológica Nacional2026-09-24T12:46:23Zoai:ria.utn.edu.ar:20.500.12272/6834instacron:UTNInstitucionalhttp://ria.utn.edu.ar/Universidad públicaNo correspondehttp://ria.utn.edu.ar/oaigestionria@rec.utn.edu.ar; fsuarez@rec.utn.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:a2026-09-24 12:46:25.429Repositorio Institucional Abierto (UTN) - Universidad Tecnológica Nacionalfalse
dc.title.none.fl_str_mv Propuesta metodológica y herramientas de soporte para modelar y validar esquemas conceptuales
title Propuesta metodológica y herramientas de soporte para modelar y validar esquemas conceptuales
spellingShingle Propuesta metodológica y herramientas de soporte para modelar y validar esquemas conceptuales
Marciszack, Marcelo Martín
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
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
dc.creator.none.fl_str_mv Marciszack, Marcelo Martín
Groppo, Mario Alberto
Pérez Cota, Manuel
author Marciszack, Marcelo Martín
author_facet Marciszack, Marcelo Martín
Groppo, Mario Alberto
Pérez Cota, Manuel
author_role author
author2 Groppo, Mario Alberto
Pérez Cota, Manuel
author2_role author
author
dc.subject.none.fl_str_mv 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
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
dc.description.none.fl_txt_mv 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.
This paper proposes the definition of a methodology and associated support tool for the specification and validation of a Conceptual Model, through automated processing to Finite Automata models and corresponding validation. It describes the characteristics of modeling process, using the "Notation for Business Process Modeling" in the modeling activity, applying the concepts of Model-Driven Software Development. It’s proposed a direct mapping between activities of the business process and Use Cases, which are transformed to state machines that are subjected to an automated validation process, and thus validate the set of functional specifications in the conceptual model of a domain under study.
Fil: Marciszack, Marcelo Martín. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información; Argentina.
Fil: Groppo, Mario Alberto. Universidad Tecnológica Nacional. Facultad Regional Córdoba. Departamento de Ingeniería en Sistemas de Información; Argentina.
Fil: Perez Cota, Manuel. Universidad de Vigo. Facultad de Informática. Vigo; España.
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.
publishDate 2016
dc.date.none.fl_str_mv 2016
2022-08-11T22:16:35Z
2022-08-11T22:16:35Z
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/20.500.12272/6834
-
url http://hdl.handle.net/20.500.12272/6834
identifier_str_mv -
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
2022-08-11T22:16:35Z
http://creativecommons.org/licenses/by-nc-nd/4.0/
Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Marciszack, Marcelo Martín
_X_Atribución (Attribution): En cualquier explotación de la obra autorizada por la licencia será necesario reconocer la autoría (obligatoria en todos los casos). _X_No comercial (Non Commercial): La explotación de la obra queda limitada a usos no comerciales. _X_Sin obras derivadas (No Derivate Works): La autorización para explotar la obra no incluye la posibilidad de crear una obra derivada (traducciones, adaptaciones, etc.). _X_Compartir igual (Share Alike): La explotación autorizada incluye la creación de obras derivadas siempre que se mantenga la misma licencia al ser divulgadas.
eu_rights_str_mv openAccess
rights_invalid_str_mv 2022-08-11T22:16:35Z
http://creativecommons.org/licenses/by-nc-nd/4.0/
Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Marciszack, Marcelo Martín
_X_Atribución (Attribution): En cualquier explotación de la obra autorizada por la licencia será necesario reconocer la autoría (obligatoria en todos los casos). _X_No comercial (Non Commercial): La explotación de la obra queda limitada a usos no comerciales. _X_Sin obras derivadas (No Derivate Works): La autorización para explotar la obra no incluye la posibilidad de crear una obra derivada (traducciones, adaptaciones, etc.). _X_Compartir igual (Share Alike): La explotación autorizada incluye la creación de obras derivadas siempre que se mantenga la misma licencia al ser divulgadas.
dc.format.none.fl_str_mv pdf
application/pdf
dc.source.none.fl_str_mv reponame:Repositorio Institucional Abierto (UTN)
instname:Universidad Tecnológica Nacional
reponame_str Repositorio Institucional Abierto (UTN)
collection Repositorio Institucional Abierto (UTN)
instname_str Universidad Tecnológica Nacional
repository.name.fl_str_mv Repositorio Institucional Abierto (UTN) - Universidad Tecnológica Nacional
repository.mail.fl_str_mv gestionria@rec.utn.edu.ar; fsuarez@rec.utn.edu.ar
_version_ 1877230920674574336
score 13.265058

Publicaciones similares