Web服务计算组合流程QoS验证

来源 :计算机科学 | 被引量 : 2次 | 上传用户:kevin7878
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在满足功能需求的前提下,Web服务能否赢得市场,主要取决于其服务质量(Quality of Services,QoS)。采用概率模型检验的方法判断Web服务计算组合流程的服务质量是否满足系统质量需求。依据用户访问Web服务产生的访问日志,采用聚类的方法,构建面向用户群组的Web服务流程的使用行为QoS模型。采用QoS扩展的状态图描述Web服务流程的QoS需求。然后,利用概率模型验证工具PRISM判断Web服务流程的QoS是否满足系统质量需求。验证面向用户群组的Web服务流程的使用行为质量模型是否满足
其他文献
利用计算机技术研制了一套微光照度夜间环境模拟测控系统,给出了系统的结构组成和系统测原理。通过本系统的研制,为需要在微光环境下进行的实际与科研提供了方便。
利用可组网数字温度传感器DS18B20具有单总线的特点,结合AT89C51单片机组成传感器网络,实现了多点温度检测系统的硬件设计和软件设计。该系统可应用于仓库测温、楼宇空调控制和
简要介绍了现场总线Lonworks控制网络技术,并对其构建的分散智能控制网络系统的结构特征进行了分析,着重探讨了Lonworks测控网络前端智能节点的硬件电路组成,设计开发出一个
PXI模块仪器系统问世一年我以来受到人们极大的关注,1998年国已拥有了PXI的第一批用户。本文就PXI的产生背景、系统构成,技术特性,实际应用,主要模块等方面做一概略的介绍。
自动开关机功能是无人值守微机监控系统的一项重要内容。文章论述了在Windows操作系统环境下,以SANTA-500为后备电源的无人值守自动开关机系统的设计与实现方法,介绍了自动开关
针对四旋翼飞行器姿态控制问题,设计一种Anti-windup PID姿态控制器。结合四旋翼飞行器简化的数学模型,在飞行器在垂直速率、俯仰速率、翻滚速率、偏航速率4个独立通道上分别
基于C.A.R.Hoare提出的Hoare逻辑,给出了[α1,α2]1-概率拟Hoare逻辑,并证明了其可靠性。
探讨了在Windows环境下测试系统的精确定时问题 ,并阐述了两种技术方案 :修改系统定时器及多媒体定时器。最后 ,在Windows环境下 ,选用VisualC ++6 0结合汇编语言 ,通过编程实现了精度为 1ms的多媒体定时器 ,达到了精确定时的目的
主要介绍了由英国欧陆公司开发的分散型控制系统--NETWORK6000的构成及其在唐山三友集团化纤公司酸站车间的具体应用.
针对64位WindowsABI在Linux上的虚拟化问题,对x86—64ABI在Windows和Linux中的差异进行了分析,提出并研究了实现64位WindowsABI虚拟化的3个关键问题,即程序加栽与链接、程序库接