Introducing logic instead of just DFD's