数据流图的一种形式化描述与检测方法  

作　　者：王雷 崔璨[1,3] 张帅 

机构地区：[1]延安大学数学与计算机科学学院,陕西延安716000 [2]陕西省能源大数据智能处理省市共建重点实验室,陕西延安716000 [3]延安大学-上海文思海辉联合实验室<大数据应用开发方向>,陕西延安716000

出　　处：《电脑编程技巧与维护》2022年第3期153-156,163,共5页Computer Programming Skills & Maintenance

基　　金：陕西省大学生创新创业训练计划项目(S202110719053);延安大学校级大学生创新创业训练计划项目(D2020044)。

摘　　要：数据流图是一种常用的表示软件模型的图示方法。在建模的过程中,由于系统的复杂性等原因,经常会出现一些设计上的缺陷、错误和不一致。目前数据流图的检测主要通过建模者人工来完成,降低了工作效率。为此,提出了一种基于Petri网的数据流图形式化描述方法,以实现数据流图的自动检测。通过对数据流图基本符号的功能的分析,找出形式化描述规则,然后给出了一个订货系统描述实例,并讨论了数据流图自动检测算法。实验结果表明,该方法可以形式化描述数据流图,并自动检测出数据流图中存在的设计错误。在此基础上,可以进一步实现数据流图描述与自动检测软件工具。

关 键 词：数据流图 自动检测 形式化描述 PETRI网 软件设计与开发 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]