节点文献
基于MAS的形式化数据流图的方法
【摘要】 由于ＤｅＭａｒｃｏ的数据流图（ＤＤＦＤ）缺乏形式化的描述方法，本文提出了一种使用综合知识表示模型ＭＡＳ来形式化描述ＤＤＦＤ的新方法．使用此方法，能方便地建立一些有关ＤＤＦＤ的知识规则，并能对ＤＤＦＤ自动进行一致性和完全性检查
【基金】 汕头大学计算机科学研究所基金
- 【文献出处】 武汉大学学报(自然科学版) ,WUHAN UNIVERSITY JOURNAL(NATURAL SCIENCE EDITION) , 编辑部邮箱 ,1997年01期
- 【分类号】TP311.51
- 【被引频次】2
- 【下载频次】36