A method for validating the compliance of business processes to business rules. - Bruno de Moura Araujo; Eber Assis Schmitz; Alexandre L. Correa; Antonio Juarez Alencar (SAC, 2010)