一种基于时变Petri网的服务组合质量检验方法

来源 :软件学报 | 被引量 : 0次 | 上传用户:wlszzj
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了解决动态服务组合过程中功能执行时序与工作流的关系问题,提出了一种基于时变Petri网技术的Web服务组合模型.引入Petri网有向网结构来描述组合过程中输入/输出功能及时间因素影响,以Petri网的有向弧结构表示服务组合过程中服务功能时间参数输入/输出表达式,利用时变函数表示服务的时间消耗,进而将服务组合转化为时变Petri网的流程正确性检验和时间开销优化问题,使建立的服务组合模型在组合成功率和用户满意度间达到良好的动态平衡.提出了一种基于回溯方法的服务组合流程检验和QoS计算方法,用于时变Petri
其他文献
[目的]测定并比较口蘑、杏鲍菇、白玉菇、蟹味菇中多糖的含量。[方法]采用水提醇沉法提取4种食用真菌多糖,通过苯酚-硫酸比色法,以葡萄糖为对照品,测定这4种食用真菌的多糖含
数字化技术早已经被应用与各个领域,大大提高了人类的工作效率。而在广播电视的制作中,数字微波技术起到了不可替代的作用,它为广播电视的数字化发展奠定了技术基础和后盾。人们
目的探讨子宫内膜癌(EC)中雌激素受体(ER)、孕激素受体(PR)、血管内皮生长因子(VEGF)及凋亡抑制基因(Survivin)蛋白表达情况及与子宫内膜癌临床病理特征的相关性。方法选取33
详细分析了二维混沌Standard映射的良好性质,利用这些特点提出了一种用于数字图像加密的算法。基于此算法,做了多项模拟测试和分析,包括密钥空间分析、密钥敏感性测试和统计分析
总结了AutoCAD、全站仪在工程测量中内业资料的计算及管理的应用以及全站仪和编程计算器在外业中的应用,并对目前工程测量作业提出了作者的一些看法.
目前,ARPA雷达已在现代船舶中得到了普遍的安装和使用,人们对ARPA的认识越来越深,对ARPA的各项功能进行了卓有成效的开发,从中得到了不少方便。但对ARPA雷达矢量线航法的研究、开
目的探讨同期行脑室-腹腔分流和颅骨成形术治疗颅骨缺损合并脑积水的临床疗效。方法回顾性分析2015年1月至2018年10月同期行脑室-腹腔分流和颅骨成形术治疗的21例颅骨缺损合
"指导优先原则"具有三个典型的特征:基于指导、描述和解释意义的"教",教师主动存在;基于复制、再现和接受意义的"学",学生被动存在;基于系统、目标和知识意义的"境",情境模糊
1 服务的内容将更加广泛,最终达到全覆盖服务随着我国各项建设事业的不断发展,档案服务社会化的内容将更加广泛.
安全且实用的电子投票协议是信息安全领域的热点问题之一.引入了盲签名、投票编号、申诉标识等工具,提出了一种新的无收据的电子投票方案,该方案进一步完善了FOO投票协议,可