Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 31529
An Automatic Tool for Checking Consistency between Data Flow Diagrams (DFDs)

Authors: Rosziati Ibrahim, Siow Yen Yen


System development life cycle (SDLC) is a process uses during the development of any system. SDLC consists of four main phases: analysis, design, implement and testing. During analysis phase, context diagram and data flow diagrams are used to produce the process model of a system. A consistency of the context diagram to lower-level data flow diagrams is very important in smoothing up developing process of a system. However, manual consistency check from context diagram to lower-level data flow diagrams by using a checklist is time-consuming process. At the same time, the limitation of human ability to validate the errors is one of the factors that influence the correctness and balancing of the diagrams. This paper presents a tool that automates the consistency check between Data Flow Diagrams (DFDs) based on the rules of DFDs. The tool serves two purposes: as an editor to draw the diagrams and as a checker to check the correctness of the diagrams drawn. The consistency check from context diagram to lower-level data flow diagrams is embedded inside the tool to overcome the manual checking problem.

Keywords: Data Flow Diagram, Context Diagram, ConsistencyCheck, Syntax and Semantic Rules

Digital Object Identifier (DOI):

Procedia APA BibTeX Chicago EndNote Harvard JSON MLA RIS XML ISO 690 PDF Downloads 3198


[1] Dennis, A., Wixom, B.H. and Roth, R.M., Systems Analysis and Design. 3rd ed. Hoboken: John Wiley & Sons, Inc., 2006.
[2] Dixit, J. B. & Kumar, R., Structured System Analysis and Design. Paperback ed. New Delhi, India: Laxmi Publisher, 2008.
[3] Lucas, F.J., Molina, F. and Toval, A., A Systematic Review of UML Model Consistency Management. Information and Software Technology, 51(12), pp. 1 - 15, 2009.
[4] Tao, Y.L. and Kung, C.H., Formal Definition and Verification of Data Flow Diagrams. Journal of Systems and Software, 16(1), pp. 29-36, 1991.
[5] Tong, L. and Tang, C.S., Semantic Specification and Verification of Data Flow Diagrams. Journal of Computer Science and Technology, 6(1), pp. 21-31, 1991.
[6] Leavens, G.T., Wahls, T. and Bakar, A.L., Formal Semantics for SA Style Data Flow Diagram Specification Languages. Proceedings of the 1999 ACM Symposium on Applied Computing. Oregon, US: IEEE Computer Society. pp. 526-532, 1999.
[7] Ahmed Jilani, A. A., Nadeem, A., Kim, T. H. & Cho, E. S., Formal Representations of the Data Flow Diagram: A Survey. Proc. of the 2008 Advanced Software Engineering and Its Applications. Washington, USA: IEEE Computer Society. pp. 153-158, 2008.
[8] Jeffrey, A. H., George, J.F. and Valacich, J.S., Modern Systems Analysis and Design. 3rd ed. US: Prentice-Hall, 2002.
[9] Donald, S. Le Vie, Jr., Understanding Data Flow Diagram. Proceedings of the 47th annual conference on Society for Technical Communication. Texas: Integrated Concepts, Inc. 2000.