| 摘要: |
| 本文提出了属性图，以描述数据流图的拓扑结构和性质，并提出了边（流）组成关系以给出父子数据流图平衡的形式定义，由此得到的数据流图的形式规范强于文献中现有的规范．本文提出的形式规范方法适用于不同类型的数据流图，包括ＤｅＭａｒｃｏ型数据流图、实时系统数据流图等． |
| 关键词: 数据流图，形式规范，属性图，边（流）组成关系 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| FORMAL SPECIFICATION OF DATA FLOW DIAGRAMS |
|
Qin Xiao
|
| 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. |
| Key words: Data flow diagrams, formal specification, attributed diagraph, edge (flow)composition relation. |
