Name
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. |
Year | DOI | Venue |
|---|---|---|
1995 | 10.1109/ICDAR.1995.601962 | ICDAR-1 |
Keywords | Field | DocType |
functional dependency,data flow diagram,understanding software document,communicating systems,formal description,deep understanding,logical structure,diagrammatic notation,edinburgh concurrency workbench,logical structure analysis,feature extraction,computer science,data analysis,flowcharting,equivalence,structure analysis,ccs,text analysis,computational modeling,carbon capture and storage,concurrent computing,calculus of communicating systems,calculus,data flow diagrams,document structure | Diagrammatic reasoning,Computer science,Concurrency,Calculus of communicating systems,Functional dependency,Theoretical computer science,Software,Structure (mathematical logic),Flowchart,Data flow diagram | Conference |
ISBN | Citations | PageRank |
0-8186-7128-9 | 4 | 0.49 |
References | Authors | |
4 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| G. Butler | 1 | 7 | 3.97 |
| Grogono, P. | 2 | 17 | 2.00 |
| R. Shinghal | 3 | 207 | 29.09 |
| Tjandra, I. | 4 | 17 | 2.00 |