Introducción a la notación BPMN y su relación con las estrategias del lenguaje Maude

Abstract

El proyecto es un estudio sobre el modelado de procesos de negocio (BPM) donde se describen las partes en las que debe componerse una arquitectura o cómo hacer uso de patrones durante el diseño de los procesos. También analiza las técnicas y estándares más destacados que hay en la actualidad. Por otra parte, del lenguaje Maude se hace una introducción a los tipos de módulos necesarios para poder definir especificaciones de datos. Al final ambos conceptos, BPM y Maude, se ven relacionados a través de la notación gráfica BPMN y de las estrategias de Maude, que cómo se verá son dos maneras de controlar el comportamiento de los procesos. Nuestra propuesta es realizar una aproximación a través de la correspondencia entre los símbolos de la notación y las estrategias que dirigen las reglas del sistema. Se incluye un ejemplo sobre catalogación y consulta de artículos donde se puede ver esta relación, llamado Portal de Revistas Complutenses. [ABSTRACT] This is a project about the business process modeling (BPM), where the different parts that any architecture should contain are described. It is also explained how to use the patterns during the design of the process and the most common techniques and standards which we have nowadays. Besides there is an introduction to the types of modules that we need to define our data specifications. In the end both concepts, BPM and Maude, are related by the graphic notation BPMN and the Maude strategies, which conform, as we will see, two different options to control the behavior of the process. Our intention is to relate them through the correspondence between the symbols of the notation and the strategies which lead the rules of the system. It is also included an example called “Portal de Revistas Complutenses” about catalog and search of articles where this relationship can be observed.