Web服务组合形式化性能分析方法简述

来源 :教育教学论坛 | 被引量 : 0次 | 上传用户:alienroom
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
   摘要:Web服务组合是若干子服务按照一定的业务流程构成的复合服务。为了保证这个复合服务能够达到客户的预期目标,在将其正式投入运行之前,需要对其进行结构验证和性能分析。基于数学的形式化方法是对Web服务组合进行性能分析的一种有效途径。本文介绍了几种常用的形式化方法。
  关键词:Web服务;性能分析;形式化方法
  中图分类号:G642.0
其他文献
在泥岩地层中对比进行了4根压力型和拉力型锚索结构的原位试验.分析了各级荷载锚固作用下锚头位移随锚固力的变化情况,研究了两种锚索结构的锚固效应和加载性能。试验结果分析
为构建美丽乡村视角下的创新党组织生活,培养大学生党员素质,增进大学生党员走基层、服务群众积极性,中山大学南方学院工商管理系党总支努力创新基层党组织生活的活动方式,践行群
采用仿真混凝土材料研究碾压混凝土重力坝不同坝段模型在地震荷载作用下的破坏特征。通过施加不同的地震波,研究各种坝段的动力特性,并在此基础上进行了大坝的超载破坏试验。分
碾压混凝土重力坝是采用逐层碾压施工方法形成的大体积混凝土,在竖向和水平向具有不同的弹性常数。采用有限元方法.研究在弹性地基上空库和正常蓄水位两种工况下碾压混凝土重力
真菌性皮肤病是常见病和多发病,尤其是足癣(俗称脚气)患病率有时可达50%~70%,在某些特殊环境时发病率更高,而由此引起的严重继发感染,常直接影响患者的工作、生活质量。目前抗真菌治疗
在凸度量空间中,证明了广义Ishikawa迭代逼近两个渐近拟非扩张映像公共不动点的充分必要条件,文中的结果推广并统一了Takahashi,Kirk和Goebal等人的许多重要结论.
建在复杂地质条件上的重力坝,坝基中往往存在多种软弱结构面。为了在物理模型试验中考虑软弱结构面的强度弱化对坝基稳定的影响,采用地质力学模型试验方法对武都碾压混凝土重力坝坝基稳定性进行研究。试验中采用变温相似材料模拟坝基中软弱结构面的力学参数及弱化行为,在同一模型上进行超载和降强相结合的综合试验,获得了坝基失稳的破坏过程、变形分布特点及破坏形态,并得到评价工程安全性的综合安全系数,为工程的设计与施工提
摘要:随着我国现代社会经济及科技的不断发展,数学相关知识在社会的应用领域逐渐拓宽,新形势下的高等数学教育及应用对我国社会及人文科学进步与发展具有重要意义,本文主要对新形势下我国高等数学教学存在的相关问题进行分析,后在此类问题基础上提出教学改革措施,从而不断促进我国高等数学教学的完善性发展。  关键词:新形势;高等数学;教学改革  中图分类号:G642.0 文献标志码:A 文章编号:1674-932
应用改进粒子群算法求解梯级水电站短期优化调度问题。考虑发电效益和存水效益结合峰谷电价建立综合效益最大模型,针对粒子群算法存在的后期收敛速度慢和易陷入局部最优等缺
摘要:本文以在北京工商大学嘉华学院英语专业开设的《英语影视欣赏》课程为研究平台,对影视欣赏在学生的英语学习中所起的作用做深入的探讨和研究。在此研究基础上,将该模式引入大学英语课程的教学过程中,来推動有独立学院特色、适应国际化人才培养目标的大学英语课程建设。  关键词:英语影视;课程改革;大学英语;课程建设  中图分类号:G642.0 文献标志码:A 文章编号:1674-9324(2016)26-0