Um Ambiente para Modelagem Organizacional Baseado em Regras de Negócio
Uma Verificação Integrada dos Modelos de Processos com as Regras de Negócio
Validação da Sintaxe e da Semântica Estática de Modelos de Processos
Denis Silva da Silveira
Eber Assis Schmitz
Gisele MORGADO
Rodrigo MACEDO