点击次数：
所属单位：计算机科学与技术学院/人工智能学院/软件学院
发表刊物：计算机科学
关键字：Web服务组合;概率模型检测;多目标验证;用户需求;
摘要：Web服务组合是服务计算领域的重要研究内容。用户的非功能性需求是Web服务组合中衡量服务的标准之一,然而开放环境下用户的需求具有一定的不确定性和多目标性特点。为了解决此种不确定性,提出了一种基于概率模型检测的多目标验证方法。首先,将Web服务组合过程建立为定量多目标马尔可夫决策过程,并将该模型转换为PRISM模型。同时,将不同的用户需求建模成多目标时序逻辑公式,使用概率模型检测器PRISM对其进行验证,获得多个目标约束下关键目标的期望值,并导出相关策略。最后,通过实例来进一步说明该方法的有效性与可行性。
是否译文：否
发表时间：2018-08-15
合写作者：周女琪
通讯作者：周宇