一种时序约束下的Web服务组合兼容性的定量验证方法
来源期刊:桂林理工大学学报2015年第3期
论文作者:郑宇迪 叶恒舟
文章页码:607 - 610
关键词:服务组合;时序约束;定量时序兼容性;正态分布;
摘 要:为了增强服务组合的Qo S特性,迫切需要在流程设计层面验证时序约束兼容性。针对工作流中常见的纯顺序、并发与选择结构,估算了其概率分布,进而提出了一种基于概率的、定量检验服务组合的时序兼容性的方法。通过案例分析与性能测试验证了其有效性。
郑宇迪,叶恒舟
桂林理工大学信息科学与工程学院
摘 要:为了增强服务组合的Qo S特性,迫切需要在流程设计层面验证时序约束兼容性。针对工作流中常见的纯顺序、并发与选择结构,估算了其概率分布,进而提出了一种基于概率的、定量检验服务组合的时序兼容性的方法。通过案例分析与性能测试验证了其有效性。
关键词:服务组合;时序约束;定量时序兼容性;正态分布;