ARPN Journal of Systems and Software Logo

ARPN Journal of Systems and Software >> Volume 6, Number 1, June 2016

ARPN Journal of Systems and Software

A Formal Model for Data Flow Diagram Rules

Full Text Pdf Pdf
Author Rosziati Ibrahim, Siow Yen Yen
ISSN 2222-9833
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.  

    Journal of Computing | Journal Management System | Journal of Mechatrnoics | Journal of Information and Communication Technology | Journal of Systems and Software     
2010 ARPN Publishers