Uma Estratégia baseada em Regras para Instanciação, Validação e Simulação de Modelos de Processos intensivos em Conhecimento

Com o recente avanço da pesquisa e prática em Gestão de Processos de Negócio (Business Process Management – BPM), organizações vêm mudando o seu foco para processos críticos que tipicamente são pouco estruturados, dinâmicos e de alta complexidade, denominados Processos intensivos em Conhecimento (Knowledge-intensive Processes – KiP). Em função de tais características, atividades típicas de BPM como modelagem, instanciação, validação e simulação de processos apresentam muitos desafios. Este artigo propõe uma estratégia baseada em regras para instanciar, validar e simular modelos de KiPs. A proposta considera a ontologia de processos intensivos em conhecimento (KiPO) como um metamodelo para modelar um KiP, e transforma as suas regras em especificações na linguagem Alloy. A aplicabilidade de proposta foi avaliada em um estudo de caso com 4 cenários, e os resultados evidenciam os benefícios para modeladores de processos.Palavras-Chave. Validação de Modelos; Processos intensivos em Conhecimento; Modelagem Conceitual; BPM.