期刊名称：International Journal of Software Engineering & Applications (IJSEA)
印刷版ISSN：0976-2221
电子版ISSN：0975-9018
出版年度：2010
卷号：1
期号：4
页码：95
出版社：Academy & Industry Research Collaboration Center (AIRCC)
摘要：In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram(DFD). DFD is graphical diagrams for specifying, constructing and visualizing the model of a system.DFD is used in defining the requirements in a graphical view. In this paper, we focus on DFD and itsrules for drawing and defining the diagrams. We then formalize these rules and develop the tool based onthe formalized rules. The formalized rules for consistency check between the diagrams are used indeveloping the tool. This is to ensure the syntax for drawing the diagrams is correct and strictly followed.The tool automates the process of manual consistency check between data flow diagrams.
关键词：Consistency Check; Context Diagram; Data Flow Diagram; Formal Method
