%0 Journal Article
%T FORMAL SPECIFICATION OF DATA FLOW DIAGRAMS<br>数据流图的形式规范
%A Qin Xiao
%A <br>秦晓
%J 软件学报
%D 1994
%I 
%X 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.
%K Data flow diagrams
%K formal specification
%K attributed diagraph
%K edge (flow)composition relation<br>数据流图，形式规范，属性图，边（流）组成关系
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=0A7BF43F2BC390B823304B8371DDE510&yid=3EBE383EEA0A6494&vid=94C357A881DFC066&iid=94C357A881DFC066&sid=7C3A4C1EE6A45749&eid=94E7F66E6C42FA23&journal_id=1000-9825&journal_name=软件学报&referenced_num=3&reference_num=8