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

• 作者: 孙晓波 杨启亮 邢建春 陈莹
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Web服务组合 任务关键系统 时间验证 最优路径 着色时间Petri网
• 年，卷（期）: 2018,（5）
• 所属期刊栏目: 体系结构与软件技术
• 页码范围: 60-65,77
• 页数: 7页
• 分类号: TP311.5
• 字数: 5384字
• 语种: 中文
• DOI: 10.19678/j.issn.1000-3428.0046855

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邢建春	解放军理工大学国防工程学院	95	797	12.0	24.0
2	杨启亮	解放军理工大学国防工程学院	53	318	9.0	15.0
4	陈莹	解放军理工大学国防工程学院	2	0	0.0	0.0
5	孙晓波	解放军理工大学国防工程学院	4	10	2.0	3.0