FORMAL SPECIFICATION OF DATA FLOW DIAGRAMS
Affiliation:

  • Article
  • | |
  • Metrics
  • |
  • Reference [1]
  • |
  • Related [20]
  • |
  • Cited by [3]
  • | |
  • Comments
    Abstract:

    he attributed diagraph is presented to specify the structure and properties of data flow diagrams (DFD), and a binary relation called the edge (flow) composition relation is proposed as the base on which the notion of balance between a DFD and its child DFD is formally defined. By using the above-mentioned approach, this paper provides a formal specification of DFD which is stronger than those found in the literature. Moreover, this approach applies to different sorts of DFD, including DeMarco DFD, DFD for real-time systems and so on.

    Reference
    1 DeMarco T.Structured analysis and system specification.Yourdon Press,1978. 2 Yourdon E.Modern structured analysis.Prentice-Hall,Englewood Cliffs,New Jersey,1989. 3 Peters L.Advanced structured analysis and design.Prentice-Hall,Englewood Cliffs,New Jersey,1987. 4 Adler M.An algebra for data flow diagram process decomposition.IEEE Trans.SE,1988;14(2):169—183. 5 Tao Y,Kung C.Formal definition and verification of data flow diagrams.J.Systems & Software,1991; 16(1):29—36. 6 Lee P.Tan K P.Modelling of visualised data-flow diagrams using petri net model.Software Eng.J.,1992:412. 7 Tse T H and Pong L.Towards a formal foundation for DeMarco data flow diagrams.Computer J. ,1989;32(1):1—12. 8 GBl526—89(IS05807—1985),国家技术监督局,1989.
    Comments
    Comments
    分享到微博
    Submit
Get Citation

秦晓.数据流图的形式规范.软件学报,1994,5(5):39-45

Copy
Share
Article Metrics
  • Abstract:5013
  • PDF: 4734
  • HTML: 0
  • Cited by: 0
History
  • Received:May 31,1993
You are the first2032795Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063