Uma estrutura de verificação de conformidade estática para modelos de processos de negócios

A conformidade regulatória das operações empresariais é um problema crítico para as empresas. À medida que as empresas utilizam cada vez mais sistemas de gestão de processos de negócios para automatizar seus processos, as tecnologias para verificar automaticamente a conformidade dos modelos de processo em relação às regras de conformidade estão se tornando importantes. Neste artigo, apresentamos um método para melhorar a confiabilidade e minimizar o risco de falha dos sistemas de gestão de processos de negócios sob a perspectiva de conformidade. O método proposto permite o modelamento separado tanto de modelos de processos quanto de preocupações de conformidade. Modelos de processos de negócios expressos na Linguagem de Execução de Processos de Negócios são transformados em pi-cálculo e, em seguida, em máquinas de estado finito. Regras de conformidade capturadas na Linguagem Gráfica de Especificação de Propriedades de Negócios são traduzidas em lógica temporal linear. Assim, os modelos de processo podem ser verificados em relação a essas regras de conformidade por meio da tecnologia de verificação de modelo. O benefício do nosso método é triplo: por meio da verificação automatizada de um grande conjunto de modelos de processos de negócios, nossa abordagem aumenta a eficiência de implantação e reduz o risco de instalação de processos não conformes; reduz o custo associado à inspeção de modelos de processos de negócios para conformidade; e a verificação de conformidade pode garantir a conformidade de novos modelos de processo antes de sua execução, aumentando assim a confiabilidade das operações empresariais em geral.