|
|||||
|
|
| 基于M_(AS)的形式化数据流图的方法 | |
| 引用本文： | 毋国庆,刘良观,徐煜.基于M_(AS)的形式化数据流图的方法[J].武汉大学学报(理学版),1997(1). |
| 作者姓名： | 毋国庆 刘良观 徐煜 |
| 作者单位： | 武汉大学计算机科学系 |
| 基金项目： | 汕头大学计算机科学研究所基金 |
| 摘 要： | 由于ＤｅＭａｒｃｏ的数据流图（ＤＤＦＤ）缺乏形式化的描述方法，本文提出了一种使用综合知识表示模型ＭＡＳ来形式化描述ＤＤＦＤ的新方法．使用此方法，能方便地建立一些有关ＤＤＦＤ的知识规则，并能对ＤＤＦＤ自动进行一致性和完全性检查 |
| 关 键 词： | 数据流图，综合知识表示模型，知识规则 |
| 本文献已被 CNKI 等数据库收录！ | |