[发明专利]一种组合物联网服务功能与性能统一的可信验证方法

摘要

本发明涉及一种组合物联网服务功能与性能统一的可信验证方法，包括以下步骤：a.根据组合物联网服务需求，进行任务划分，构建侯选服务库；b.基于扩展BPEL，设计组合服务脚本；依据服务执行情况划分状态空间，计算参数，将脚本描述转化为连续时间Markov回报过程；c.基于扩展asCSL时态逻辑，描述功能与性能统一的验证性质；d.将逻辑公式中的正则式转化为非确定有穷自动机，求其与组合物联网服务连续时间Markov回报过程的积模型，并对满足正则约束的路径集进行标注；e.在积模型中运用模型检测技术进行可达分析，计算概率值，从而获得可满足状态集。本发明能在设计时给出组合物联网服务功能与性能统一的可信保证。

主权项

1.一种组合物联网服务功能与性能统一的可信验证方法，其特征在于，包括以下步骤：a.通过单个物联网服务的重复调用，获得所有服务运行的Qos经验数据，并根据服务的功能以及Qos水平等进行划分、归类、整理，在此基础上根据组合物联网服务功能需求并结合侯选服务资源库，对任务循环分解，使得原子任务均存在对应侯选服务元实例，即实现任务模块到虚拟服务的映射；b.扩展业务流程执行语言BPEL，使其具有概率、随机、不确定性等刻画能力，并设计组合物联网服务业务流程脚本，依据服务元的不同执行阶段划分组合物联网服务的状态空间，计算相应参数，将扩展BPEL脚本转化为连续时间Markov回报过程；c.扩展时态逻辑asCSL为asCSRL，使其能同时描述空间资源约束，并用于刻画需要验证的组合物联网服务的功能与性能统一验证性质；d.将扩展asCSL时态逻辑公式中的正则式转化为非确定有穷自动机，求该自动机与组合物联网服务连续时间Markov回报过程的积模型，并对满足正则约束的路径集合进行标注；e.在积模型中运用随机模型检测技术进行可达分析，获得需计算的概率值，从而获得待验证性质的可满足状态集合，进而获得可信验证结论。