Algoritmos

XL SBPO

02 a 05/09/08 João Pessoa, PB

A Pesquisa Operacional e o uso racional de recursos hídricos

UM MÉTODO PARA VALIDAÇÃO DA CONFORMIDADE DOS PROCESSOS
EM RELAÇÃO ÀS REGRAS DE NEGÓCIO
Denis Silva da Silveira
Universidade Federal do Rio de Janeiro
COPPE / Programa de Engenharia de Produção [e-mail] Paulo Oswaldo Boaventura-Netto
Universidade Federal do Rio de Janeiro
COPPE / Programa de Engenharia de Produção [e-mail] Eber Assis Schmitz
Universidade Federal do Rio de Janeiro
Núcleo de Computação Eletrônica / Instituto de Matemática [e-mail] RESUMO
O presente artigo apresenta um método para validação da conformidade de processos de negócio em relação às regras de negócio. O método utiliza o diagrama de atividade da UML para a modelagem dos processos de negócio. As regras de negócio, expressas em OCL, são anotadas no diagrama de atividades. A partir destes dados, é possível gerar um grafo orientado (grafo de controle) que representa o processo devidamente anotado com as suas regras de negócio. A tarefa de validação consiste na execução de cenários, cada um deles contendo instâncias dos objetos utilizados na execução do processo. O acompanhamento dos itinerários seguidos ao longo do grafo de controle permite a detecção de erros que impedem a execução correta do cenário e que, portanto, devem ser corrigidos para que o processo possa funcionar de forma válida com relação às regras de negócio.
PALAVARAS CHAVE. Validação, Processos de Negócio, Regras de Negócio.

ABSTRACT
This paper presents a method for validating business processes with respect to business rules. The method represents the process by an UML activity diagram. This diagram is annotated with OCL statements representing the business rules. These data enables the generation of an oriented graph, called control graph, which represents the business process decorated with the business rules. The validation activity consists in the execution