陈莹
- 作品数：2 被引量：1H指数：1
- 供职机构：解放军理工大学更多>>
- 发文基金：江苏省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 任务关键系统的时间约束验证与最优路径分析被引量：1
- 2018年
- 针对任务关键系统工作流中对时间验证不够完善的问题,提出一种新的工作流建模和时间验证方法。基于库所含时间因素的着色时间Petri工作流网,将系统中的任务划分为关键任务和非关键任务,对不满足时间约束的活动进行管理,在完成最终任务的前提下,尽可能多地执行工作流中的非关键任务,从而减少时间资源的浪费。在此基础上,将工作流中活动的时间约束转化为数学约束问题,并运用MATLAB对模型进行分析,最终得出工作流中的最优路径。对军港岸基保障信息系统案例进行分析,结果表明,该方法具有一定的可行性和实用性。
- 陈莹孙晓波邢建春杨启亮
- 关键词：WEB服务组合
- 死路径消除语义下的BPEL过程建模与分析
- 2017年
- 针对BPEL过程在死路径消除语义下建模与分析不够完善的问题,提出了一种新的BPEL过程建模与分析方法。该方法建立了将BPEL死路径消除语义转化为普通if-then-else的规则,进而可以利用着色Petri网(CPN)形式化地对BPEL过程进行建模,并通过CPN-Tools对BPEL过程的建模进行自动分析及验证。案例分析表明,该方法具有一定的实用性和可行性,能够帮助软件工程人员更好地测试、调试和维护BPEL程序。
- 陈莹邢建春王洪达杨启亮
- 关键词：WEB服务组合着色PETRI网
