一种时序约束下的Web服务组合兼容性的定量验证方法

来源 :桂林理工大学学报 | 被引量 : 0次 | 上传用户:hljfox
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了增强服务组合的Qo S特性,迫切需要在流程设计层面验证时序约束兼容性。针对工作流中常见的纯顺序、并发与选择结构,估算了其概率分布,进而提出了一种基于概率的、定量检验服务组合的时序兼容性的方法。通过案例分析与性能测试验证了其有效性。
其他文献
慈善组织的核心在于公信力。但由于目前我国法律对于慈善组织的地位规范不到位,慈善组织的发展道路畸形,政府与本应是“非”政府组织的慈善组织存在千丝万缕的联系,使得慈善组织
国有企业是我国国民经济的主要支柱,是国家政权最重要的物质基础,也是社会主义精神文明建设的重要阵地。搞好国有企业既是重大的经济问题,又是重大的政治问题。办公室作为企业的
随着我国污水处理能力的增加,能耗问题逐渐凸显,如何降低能耗成为污水厂面临的重要问题。综述了近10年来我国城市污水处理厂节能降耗方面的研究成果,认为一些新工艺,如同步硝
人和自然环境既相互依赖又相互制约,人是自由自觉的存在,主观能动性的发挥必须以遵循自然规律为前提。承认自然的内在价值,将自然纳入人伦关怀的范围,社会发展要以相应的生态平衡
针对绿色网络提取博客评价并过滤不良评价的需求,提出了利用明确语义和功能指示作用的功能语义单元提取博客评论的方法,绿色网络系统依据提取信息评估结论决定是否过滤该博客
中学思想政治课是思想性、政治性、社会实践性很强的一门学科,它对学生进行思想教育具有得天独厚的优势。21世纪是知识经济的时代,是创造、实践和创新的时代,摆在我们面前的问题
采用聚四氟乙烯材料研制出一种用于环境岩土工程固结试验的新型耐腐蚀固结仪,利用该新型固结仪分别在去离子水,0.08、0.1 mol/L的KC1盐溶液以及pH值等于5、4、3的盐酸溶液中,
一、先行词的前面有序数词修饰时。如: 1.This is the first novel that I have ever written. 2.The fifth car that is coming round the comernear our company belongs to
在坑道直流电阻率法探测中,由于受坑道及坑道内各种工程设施的影响,其电阻率异常会发生严重畸变,增加了资料解释难度甚至造成错误的解释。根据物理模拟的相似性原则,设计了模
在我国改革开放政策下和社会主义现代化发展变化中的需要,现代化教育越来越受到人们重视。国家发展兴衰离不开现代化教育,现代化教育是全面推进素质教育来提高个人修养、更能培