Metodologia para a especificação de processos acadêmicos usando padrões de workflow e redes de Petri

Abstract

This work proposes a methodology for the specification of Academic Processes using WCP - Workflow Control - Flow Patterns, using modeling techniques through BPMN notation and Colored Petri Nets.The proposed methodology is divided into three phases, where the first is the identification of the standardized workflow model, appropriate to the process to be modeled, in the second phase the process is modeled using BPMN notation and in the last phase the same process is modeled using Colored Petri Nets. We tested the three stages of the proposed methodology, modeling 10 selected academic processes of the higher courses of Technology, Bachelor and Graduation of the Federal Institute of Education, Science and Technology - IFS. In each of these processes we identify the existing workflow patterns, we specify them in BPMN notation and in Petri Nets, using the CPN Tools, being possible to check the quality of the work, by the mathematical formalism and the semantics of graphic representation of the Networks of Petri. The most used patterns in the modeled processes were WCP 1 - Sequential, WCP 4 - Exclusive Choice and WCP 21 - Structure Loop. It was verified that the methodological proposal presented simultaneously meets the requirements of ease in understanding the academic processes with the end user through the modeling in BPMN notation of the identified workflow patterns, as well as validation of the models, by the verification of the existence of errors and ambiguities, through its implementation in the form of Colored Petri Nets.