Formalización y validación de consistencia para reglas de negocio expresadas sobre SBVR

Abstract

En el presente trabajo se proponen un conjunto de trasformaciones para la validación semántica de reglas de negocio y el chequeo de la consistencia de un repositorio de reglas de negocio de prueba ya existente. Dentro de las perspectivas se encuentra el enriquecimiento de una herramienta ya confeccionada o la confección de otra que realice dichas operaciones con el objetivo de hacer más consistente el repositorio. El software existente permite a los usuarios del negocio la manipulación de un conjunto de reglas previamente creado. Dicha herramienta facilita estructurar cada regla utilizando una forma de expresión semejante a la natural. Se escriben según patrones que permiten realizar validaciones de términos y atributos, los cuales han sido definidos como válidos en el modelo de hechos. Finalmente se obtiene un repositorio de reglas en formato XML que permite la integración con otras herramientas de procesamiento y generación automática de reglas de negocio. A partir de este se trasforman las reglas siendo posible validarlas y eliminar posibles inconsistencias.

In this paper we propose a set of transformations for semantic validation of business rules and check the consistency of a business rules repository in an existing test. Within prospects we have, we are willing to enrich an already-made tool or to create other to performing the operations with the aim of making the repository more consistent. The existing software allows business users manipulating a pre-established set of rules. This tool facilitates structure each rule by using a form of expression similar to the natural one. They are written in patterns that allow validation of terms and attributes, which are defined as valid in the models made. Finally a repository of rules in XML format is obtained, it allows integration with other processing tools for automatic generation of business rules. From this it can transform the rules being possible to validate them and eliminate possible inconsistencies.