And then based on the framework, this paper fatherly researched CMMS based data-collection, ECA rules based scheduling formatted description, and UML based scheduling formal modeling.

• 基于该建模框架,面向兵力调度本文进一步研究了基于CMMS的数据搜集、基于ECA规则的兵力调度格式化描述以及基于UML的兵力调度形式化建模,在此基础上给出了基于工作流的兵力调度模型。