针对面向服务软件异常处理的可终止性难以验证问题,本文提出一种基于模型检测的验证方法.该方法首先基于已建立的异常处理模型和形式定义的异常处理可终止性,使用ASK-CTL(Computation Tree Logic)刻画异常处理的可终止性,然后基于本文...
详细信息
针对面向服务软件异常处理的可终止性难以验证问题,本文提出一种基于模型检测的验证方法.该方法首先基于已建立的异常处理模型和形式定义的异常处理可终止性,使用ASK-CTL(Computation Tree Logic)刻画异常处理的可终止性,然后基于本文提出的异常处理可终止性的模型检测算法,可获得异常处理可终止性验证结果.最后,结合实例从可行性和有效性角度对验证方法进行实证和评估,结果表明,本方法能有效验证异常处理的可终止性,且具有较好的性能,为进一步分析异常处理的正确性提供支持.
随着Web服务的广泛应用,大量功能相似但QoS(Quality of Service)不同的Web服务部署在Internet上.如何选择满足用户功能和QoS需求的服务成为了服务计算领域亟待解决的问题.由于受到网络状态、负荷等因素的影响,Web服务的QoS常常是动态变...
详细信息
随着Web服务的广泛应用,大量功能相似但QoS(Quality of Service)不同的Web服务部署在Internet上.如何选择满足用户功能和QoS需求的服务成为了服务计算领域亟待解决的问题.由于受到网络状态、负荷等因素的影响,Web服务的QoS常常是动态变化的.已有基于QoS的Web服务选择方法大多假设服务的QoS是确定的,没有充分考虑到QoS的动态变化特性,因此在实际中应用可能并不能选择令人满意的服务.
本文提出了一种支持不确定QoS值的Web服务选择方法.该方法采用区间值描述服务的QoS,先对服务的QoS区间和用户QoS需求进行归一化;再通过分析它们之间的关系,建立单个服务QoS区间效益值的计算模型;最后建立服务的综合效益值计算模型,得到服务的综合QoS评价.实验表明本文提出的服务选择方法能够很好地适应QoS值不确定的情况,在选择满足用户QoS需求的服务方面是可行和有效的.
暂无评论