逻辑作业流程图形式化描述方法研究

摘要

为了支持战略决策模拟作业流程的可定制性,满足决策研究人员和训练人员不同的作业流程需求,开发了一个可视化的作业流程建模工具,用来构建图形化逻辑作业流程图.流程建模工具对用户绘制的作业流程图进行分析,生成一个可以被流程引擎解析的基于XML的形式化描述文档.如何表述和生成复杂逻辑作业流程图的形式化描述是建模工具的关键.在实践中,以广度优先算法为基础,对流程图中复杂逻辑关系与水流进行类比分析,设计研究出图形化转换成形式化逻辑描述的方法.