任务关键系统的时间约束验证与最优路径分析

作者：陈莹; 孙晓波; 邢建春; 杨启亮

来源：计算机工程, 2018, 44(05): 60-77.

DOI：10.19678/j.issn.1000-3428.0046855

• Web服务组合
• 任务关键系统
• 时间验证
• 最优路径
• 着色时间Petri网

针对任务关键系统工作流中对时间验证不够完善的问题,提出一种新的工作流建模和时间验证方法。基于库所含时间因素的着色时间Petri工作流网,将系统中的任务划分为关键任务和非关键任务,对不满足时间约束的活动进行管理,在完成最终任务的前提下,尽可能多地执行工作流中的非关键任务,从而减少时间资源的浪费。在此基础上,将工作流中活动的时间约束转化为数学约束问题,并运用MATLAB对模型进行分析,最终得出工作流中的最优路径。对军港岸基保障信息系统案例进行分析,结果表明,该方法具有一定的可行性和实用性。

• 单位
  解放军理工大学; 南京大学; 计算机软件新技术国家重点实验室