Metodología y Herramienta de Soporte para validar Modelos Conceptuales a Través de Máquinas Abstractas

Abstract

Resumen El presente trabajo, propone la definición de una metodología y herramienta de soporte asociada, 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 las características 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. La gestión del proceso se realiza a través de una herramienta automatizada de Casos de Uso, su definición y posterior transformación a Máquinas de estado junto con la propuesta 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. Palabras clave: modelado conceptual, especificaciones funcionales, validación de modelos, autómatas finitos, desarrollo de software dirigido por modelos. Abstract This paper proposes the definition of a methodology and associated support tool for the specification and validation of a Conceptual Model through the transformation of models to finite automata and the corresponding validation. It provides a description of the characteristics of the Modeling Process through the application of model-driven development MDD, with use of BPMN for modeling Business Processes. Process management is performed through an automated Use Case tool, its definition and subsequent transformation to state machines along with the definition of controls to be performed on the resulting abstract model, in order to validate the business process model which represents the functional specifications in the conceptual model of the domain under study.