The Computer Journal 32 (1): 1-12 (1989)

Towards a Formal Foundation for DeMarco Data Flow Diagrams 1

T.H. Tse 2 and L. Pong 3

[free download from Oxford Journals]


We describe a proposal for formalizing data flow diagrams through extended Petri nets. We illustrate the usefulness of the approach by describing how it can be used to analyse the consistency of requirements specifications.

Keywords: Data flow diagrams, Petri nets, structured analysis, structured design

1. This research is supported in part by grants of Hong Kong and China Gas Co. Ltd. and The University of Hong Kong.
2. (Corresponding author.)
Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong.
3. Currently with IBM, Canada.


  Cumulative visitor count