实时SOA服务调度算法形式化验证研究

admin · 发表于 2024-3-2 10:31:26

题目：

雅宝题库答案：

****此区域为收费内容**** 需支付 1 知识币后可查看，1币=0.01元查看答案

雅宝题库解析：
随着Web服务技术的发展，在SOA架构下的Web服务技术的实时性需求越来越高，实时SOA系统已成为SOA发展的趋势。实时系统是高可靠计算的典范，同时它又是复杂并带有诸多约束条件的算法集合。然而，目前实时系统研究领域，特别是系统任务调度方向上，还有很多已知和未知的尚未解决的学术题目，例如解决系统优先级逆转题目新方法、多处理器单调速率相关算法的可调度性判定题目、具有优先约束的任务调度题目等等，都是当前学术界研究的热点题目。实时系统任务调度的研究成果对于提高我国国防武器装备、关键通信系统等领域的关键系统任务调度具有重要的现实意义。上述系统都要求可靠、精确、准时执行预先设定的任务，要求任务在规定期限内完成，否则会给系统带来严重后果。实时任务调度算法的实现一般都是小规模的程序，算法程序的特征使得对于程序的正确性证明是可行的，应用基于公理系统的形式化证明方法，对调度算法的实现的正确性证明保证了调度题目的可靠性。本文首先分析了当前实时SOA技术的发展的共性题目，明确实时SOA系统下调度的必要性。针对Web服务和Xservices服务运行平台的特点，设计并实现了Web服务的调度框架，并对实时SOA系统下的一些抢占式和非抢占式的调度算法的实现给予了基于公理化系统的形式化正确性证明。论文工作的主要特点体现在如下四个方面：○1实时SOA下的服务调度方法；○2Web服务调度框架的设计和实现 ○3 非抢占式的服务调度算法的形式化正确性证明○4抢占式的服务调度算法的形式化正确性证明。

实时SOA服务调度算法形式化验证研究

天涯海角也要找到Ni：实时SOA服务调度算法形式化验证研究

相关帖子

QQ微信同步：1144766066。

服务

网站

战略合作