行业领域：信息传输、软件和信息技术服务业 —— 互联网和相关服务

专利类型： 发明专利

专利信息： 专利技术

专利号： CN201710280064.5

成熟度： 通过中试

技术合作方式： 合作生产

技术推广方式： 正在技术推广

技术交易价格： 面议

联系人：何飘飘

联系方式：17858920690

技术成果发布数：924

邮箱：2775997311@qq.com

成果内容简介

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