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...
Guardado en:
Autores principales: | , , |
---|---|
Formato: | Documento de conferencia publisherVersion |
Lenguaje: | Español |
Publicado: |
2022
|
Materias: | |
Acceso en línea: | http://hdl.handle.net/20.500.12272/6834 |
Aporte de: |
Sumario: | 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. |
---|