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

Abstract

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.