Formalization of the data flow diagram rules for consistency check - Rosziati Ibrahim; Siow Yen yen (CoRR, 2010)