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

Reseach on Formal Description of Logical Activity Flow Chart

作　　者：张志伟[1] 胡晓峰[1] 司光亚[1] 

机构地区：[1]国防大学训练模拟中心,北京100091

出　　处：《计算机仿真》2005年第5期1-4,共4页Computer Simulation

基　　金：国家863项目基金(2001AA115120)

摘　　要：为了支持战略决策模拟作业流程的可定制性,满足决策研究人员和训练人员不同的作业流程需求,开发了一个可视化的作业流程建模工具,用来构建图形化逻辑作业流程图。流程建模工具对用户绘制的作业流程图进行分析,生成一个可以被流程引擎解析的基于XML的形式化描述文档。如何表述和生成复杂逻辑作业流程图的形式化描述是建模工具的关键。在实践中,以广度优先算法为基础,对流程图中复杂逻辑关系与水流进行类比分析,设计研究出图形化转换成形式化逻辑描述的方法。<Abstrcat>For the purpose of supporting multi activity flow to meet different requirements of different strategic decision-making researchers and trainers, we design custom activity flow pattern and develop a visual activity flow modeling tool. After analysing the activity flow drawing of the users, the modeling tool generates a XML formal description file which is parsed by flow engine. It is the key for the modeling tool to represent and generate complex logical formal description. In practice, we find a solution by an analogy between the flow chart and the stream. This paper introduces the solution based on breadth-first-search algorithm to realize the transition from logical activity flow chart to formal description.

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

分 类 号：TP391.77[自动化与计算机技术—计算机应用技术] TP391.9[自动化与计算机技术—计算机科学与技术]