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

摘要：

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

关键词：战略决策模拟、逻辑作业流程图、形式化描述、可扩展标识语言

所属期刊栏目：22

分类号：TP391.77;TP391.9(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2001AA115120

在线出版日期：2005-08-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1-4