Formal Representations of the Data Flow Diagram: A Survey

Structured analysis and design methodology has now been replaced by object oriented analysis and design software development techniques. A major design artifact in structured approach is the data flow diagram (DFD). DFD is very important for the modernization of old legacy systems. It is also very useful in requirement elicitation. However, DFD lacks formalism and by representing DFD formally, ambiguity and inconsistencies can be removed. Formal representation of DFD and its formal semantics help in better understanding of requirements and design. In this paper, we present a survey of techniques that formally represent or give formal semantics to the data flow diagram. We analyze formal representation techniques using analysis parameters. On the basis of identified parameters, we present an analysis table, which describes the strengths and weaknesses of representation techniques.

[1]  Albert L. Baker,et al.  Formal Semantics for Structured Analysis Style Data Flow Diagram Specification Languages , 1996 .

[2]  Michael Andersen,et al.  An executable subset of VDM-SL in an SA/RT framework , 2005, Real-Time Systems.

[3]  Peter Gorm Larsen,et al.  SVDM An Integrated Combination of SA and VDM , 2005 .

[4]  Jiafu Xu,et al.  Formal semantics of some functional constructs of the software requirements definition language NDRDL , 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).

[5]  Jeannette M. Wing,et al.  Unintrusive Ways to Integrate Formal Specifications in Practice , 1991, VDM Europe.

[6]  Kuldeep Kumar,et al.  Informal and Formal Requirements Specification Languages: Bridging the Gap , 1991, IEEE Trans. Software Eng..

[7]  Tom DeMarco,et al.  Structured Analysis and System Specification , 1978 .

[8]  Mauro Pezzè,et al.  Giving semantics to SA/RT by means of high-level timed Petri nets , 1993, Real-Time Systems.

[9]  Juan de Lara,et al.  Using AToM3 as a Meta-Case Tool , 2002, ICEIS.

[10]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .

[11]  Kenneth J. Turner,et al.  Rapid Integration of Software Engineering Techniques , 2005 .

[12]  Philip Newcomb,et al.  Automated Transformation of Legacy Systems , 2001 .

[13]  Edward Yourdon,et al.  Modern structured analysis , 1989 .

[14]  D.,et al.  The Semantics of Data Flow DiagramsP , 1993 .

[15]  Gregory Butler,et al.  Analyzing the logical structure of data flow diagrams in software documents , 1995, Proceedings of 3rd International Conference on Document Analysis and Recognition.

[16]  Filomena Ferrucci,et al.  A User-Centered Methodology to Generate Visual Modeling Environments , 2004, ICEIS.

[17]  Albert L. Baker,et al.  Formal semantics for SA style data flow diagram specification languages , 1999, SAC '99.