检索结果-南通市图书馆

西安电子科技大学学报 2024年

作者：赵冉赵辉王嘉良王静万波王泉西安电子科技大学计算机科学与技术学院陕西省智能人机交互与可穿戴技术重点实验室西安电子科技大学杭州研究院

工作流执行过程中，由于子任务之间的数据依赖产生大量的任务等待时隙，造成云平台计算资源空闲和资源利用率低。现有的工作流调度方法虽然可以通过数据依赖分析提高工作流执行效率，但它们都没有考虑异构混合工作流的调度。针对这一问... 详细信息

工作流执行过程中，由于子任务之间的数据依赖产生大量的任务等待时隙，造成云平台计算资源空闲和资源利用率低。现有的工作流调度方法虽然可以通过数据依赖分析提高工作流执行效率，但它们都没有考虑异构混合工作流的调度。针对这一问题，以最小化任务完工时间、提高任务按时交付率、提升批处理任务吞吐量以及资源利用率为目标，提出了云中混合工作流构造策略与调度算法。首先，建立了混合工作流三层调度架构，分别完成混合工作流的分类、构造与调度。其次，为了充分利用任务等待时隙，提出了基于背包的混合工作流构造策略，将批处理任务调度至工作流子任务等待时隙执行，实现混合工作流构造。再次，提出了基于信息熵的工作流调度算法和基于粒子群算法的资源动态伸缩策略，解决工作流调度的多目标优化问题，并实时监测调整计算资源，保障混合工作流的顺利完成。最后，仿真实验结果表明所提出的构造策略与调度算法能够有效缩短任务完工时间，保证任务按时交付率，提升批处理任务吞吐量，提高资源利用率。

关键词：混合工作流任务等待时隙调度算法多目标优化

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

军事信息服务混合工作流模型研究

军事信息服务混合工作流模型研究

引用

作者：单继城国防科学技术大学

学位级别：硕士

随着面向服务架构(SOA)的迅速发展以及Web服务的成熟与完善,软件应用服务化思想已经在新一代军事信息系统构建中被广泛接受并予以实现。然而,仅由Web服务及其组合构成的业务流程已越来越不能满足实际应用的需求,军事信息系统中作战流程... 详细信息

随着面向服务架构(SOA)的迅速发展以及Web服务的成熟与完善,软件应用服务化思想已经在新一代军事信息系统构建中被广泛接受并予以实现。然而,仅由Web服务及其组合构成的业务流程已越来越不能满足实际应用的需求,军事信息系统中作战流程的执行和业务功能的实现离不开指挥员的参与,某些活动还需要指挥员和相关军事保障人员的具体执行。如何将指挥员活动以面向服务思想集成到服务化系统中,建立人机协作的混合工作流程,实现人机之间的松散耦合和灵活互操作是服务化军事信息系统构建亟需研究和解决的问题。为此本文结合BPEL的扩展规范BPEL4People建立了军事信息服务混合工作流的描述机制,提出了军事信息服务混合工作流的着色Petri网建模方法,利用Petri网技术分析验证混合工作流的有界性、可达性、活性等性质。本文的研究工作可以总结为以下几个部分:1.介绍了面向服务架构目前的发展情况,分析了军事信息服务系统中的人机交互问题,总结了面向服务架构领域的服务组合方法、工作流建模方法和服务组合验证技术。2.介绍了标准化的工作流描述语言WS-BPEL的基本组成和流程交互过程,结合BPEL4People给出了军事信息系统中人工指控任务的描述机制,分析了人工指控任务的执行过程和状态转换,通过Web服务和人工指控任务的有机组织,形成了混合工作流程的描述方法,设计实现了能得到混合工作流描述文件的可视化建模工具,建立了混合工作流执行调度框架。3.利用着色Petri网这一形式化的数学性建模工具,对军事信息系统中的混合工作流中的服务组合和任务组合进行模块化建模,利用模块聚合方法,建立了混合工作流的层次CPN模型,并利用CPN Tools工具对Petri网模型进行了形式化验证。

关键词：面向服务的架构军事信息服务混合工作流着色Petri网建模验证

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于着色Petri网的混合工作流建模及合理性分析

引用

信息工程大学学报 2015年第2期16卷 218-224页

作者：单继城黄光奇王德鑫刘青宝国防科技大学信息系统工程重点实验室湖南长沙410073 广州军区空军指挥自动化站广东广州510072

BPEL描述的服务组合流程,没有充分考虑人的参与和人员活动对流程的影响,且不能保证服务组合流程设计在应用中的正确性。为了描述服务化系统中的混合工作流程,首先介绍支持人员参与的BPEL4People规范,然后提出了基于着色Petri网的混合工... 详细信息

BPEL描述的服务组合流程,没有充分考虑人的参与和人员活动对流程的影响,且不能保证服务组合流程设计在应用中的正确性。为了描述服务化系统中的混合工作流程,首先介绍支持人员参与的BPEL4People规范,然后提出了基于着色Petri网的混合工作流建模方法,对所得模型进行了合理性分析。采用模块聚合方式给出了混合工作流的层次CPN模型,利用CPN Tools工具分析验证混合工作流的有界性、可达性及活性等性质,根据验证结果进行反馈调整,可以减少因流程设计错误给流程实际部署和运行带来的损失。

关键词：混合工作流 BPEL4People 着色Petri网建模验证

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：