基于概率模型检测的Web服务组合多目标验证

• 作者: 周女琪 周宇
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: Web服务组合 概率模型检测 多目标验证 用户需求
• 年，卷（期）: 2018,（8）
• 所属期刊栏目: 交叉与前沿
• 页码范围: 288-294
• 页数: 7页
• 分类号: TP305
• 字数: 10073字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2018.08.052

摘要

Web服务组合是服务计算领域的重要研究内容.用户的非功能性需求是Web服务组合中衡量服务的标准之一,然而开放环境下用户的需求具有一定的不确定性和多目标性特点.为了解决此种不确定性,提出了一种基于概率模型检测的多目标验证方法.首先,将Web服务组合过程建立为定量多目标马尔可夫决策过程,并将该模型转换为PRISM模型.同时,将不同的用户需求建模成多目标时序逻辑公式,使用概率模型检测器PRISM对其进行验证,获得多个目标约束下关键目标的期望值,并导出相关策略.最后,通过实例来进一步说明该方法的有效性与可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周女琪	南京航空航天大学计算机科学与技术学院	1	0	0.0	0.0
2	周宇		2	4	1.0	2.0