Text this: A formal model for data flow diagram rules