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

摘要：

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

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

所属期刊栏目：44

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金“基于声表面波的埋人式钢筋锈蚀传感器研究”51505499;江苏省自然科学基金“面向开放环境的软件模糊自适应运行机理与构造方法”BK20151451

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

页数：共7页

页码：60-65,77