面向Cyber空间的任务建模方法

作者：王友俊; 赵耘田; 张红旗; 张传富; 杨超

来源：计算机应用与软件, 2016, 33(12): 40-44.

• Cyber空间模型
• Cyber任务模型
• 形式化
• 作业
• 任务关系

针对目前Cyber空间中任务与实体资源之间的关系难以刻画、任务执行过程中包含的逻辑关系难以描述的问题,提出一种面向Cyber空间的任务建模方法。首先,采用分层方法和图理论建立Cyber空间模型,描述Cyber空间结构和不同层次的实体资源及其交互关系。然后,定义Cyber空间任务及其作业组成,分析Cyber任务受到的实体约束、关系约束和完整性约束。最后,给出组成任务的作业之间存在的逻辑关系,用形式化的方法对Cyber任务执行关系进行描述。通过建立面向Cyber空间的典型军事任务模型,表明该方法能够完整描述任务执行过程中的逻辑关系,从而验证了该建模方法对Cyber任务描述的有效性。

• 单位
  中国人民解放军信息工程大学