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

Volume

2

fYear

1995

fDate

14-16 Aug 1995

Firstpage

575

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Document Analysis and Recognition, 1995., Proceedings of the Third International Conference on

Conference_Location

Montreal, Que.

Print_ISBN

0-8186-7128-9

Type

conf

DOI

10.1109/ICDAR.1995.601962

Filename

601962