Title :
Analyzing the logical structure of data flow diagrams in software documents
Author :
Butler, G. ; Grogono, P. ; Shinghal, R. ; Tjandra, I.
Author_Institution :
Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
Abstract :
Understanding software documents requires the logical structure analysis of diagrammatic notations, such as data flow diagrams. A data flow diagram (DFD) represents the functional dependencies within a system: it shows how output values in a computation are derived from input values. We show how the logical structure of a DFD can be described using the formalism of Calculus of Communicating Systems (CCS). We present the process of generating the logical structure, and show how the formalism is used for deep understanding of DFDs. Using the Edinburgh Concurrency Workbench (CWB), we can use the formal description of a DFD to reason about the equivalence of two DFDs, and to simulate the behavior of a DFD
Keywords :
calculus of communicating systems; document image processing; feature extraction; flowcharting; CCS; CWB; Calculus of Communicating Systems; Edinburgh Concurrency Workbench; data flow diagram; data flow diagrams; deep understanding; document understanding; equivalence; formal description; logical structure analysis; software documents; Calculus; Carbon capture and storage; Computational modeling; Computer science; Concurrent computing; Data analysis; Data flow computing; Design for disassembly; Feature extraction; Text analysis;
Conference_Titel :
Document Analysis and Recognition, 1995., Proceedings of the Third International Conference on
Conference_Location :
Montreal, Que.
Print_ISBN :
0-8186-7128-9
DOI :
10.1109/ICDAR.1995.601962
