Saturday 4 June 2011

A Formal Model for Data Flow Diagram Rules

Author Rosziati Ibrahim, Siow Yen Yen
On Pages 60-69
Volume No. 1
Issue No. 2
Issue Date May 01, 2011
Publishing Date May 01, 2011
Keywords Context diagram, data flow diagram, formal method, consistency rules


A formal model for data flow diagram (DFD) rules is developed by introducing a syntax and semantics for its rules. DFD has been chosen because it is an approach for specifying, constructing and visualizing the model of a system graphically and has been in practical use on a very wide basis but still lacks formal and precise understanding. This formal model can be used to check the correctness of the diagrams and consistency among the diagrams.
Download link:

No comments:

Post a Comment