【摘 要】
：
由于各服务的分散性和自治性,Web服务组合需要建立可靠的表达和分析方法。针对Web服务组合时间一致性上的限制,用库所含时间因素的Petri网对服务组合模型的基本逻辑结构进行
【机 构】
：
山东科技大学信息科学与工程学院,中国科学院计算技术研究所
论文部分内容阅读
由于各服务的分散性和自治性,Web服务组合需要建立可靠的表达和分析方法。针对Web服务组合时间一致性上的限制,用库所含时间因素的Petri网对服务组合模型的基本逻辑结构进行分析,对服务组合模型的执行时间和各服务可用时间进行有效性验证,并给出了时间可达性的静态和动态分析与验证方法。通过实例验证了用这些规则可对复杂的服务组合模型进行逐步化简和分析,能有效地去除存在时间限制冲突的服务组合方案,减少了因执行不合理的服务组合方案所造成的Web服务资源浪费。
其他文献
利用高大平房仓中设计安装的横向通风装置,以及在粮堆中预埋插入式毕托管,全面测试了横向通风系统的风速、风量、压力分布和系统各部分阻力。试验结果表明,在储藏稻谷的高大
将低压羰基法合成乙酸过程中排出的废乙酸与乙醇进行酯化反应,酯化条件为:酸醇摩尔比为1.3:1,浓H2SO4作催化剂,用量为反应物总质量的1％,釜液循环使用4次。产物粗酯用醋酸钾溶
<正>随着我国粮食仓储"四散"化技术的快速推广与应用,储粮仓房及形态也在日渐发生着转变,原有装粮高度在4.5 m左右的房式仓渐渐被装粮高度在6m或8 m以上的高大房式仓,甚至更
本文广泛参阅了国内外科学家的研究成果，综合论述分析了几种主要温室气体的源、汇及其浓度变化特征，研究分析了其增暖潜力、温室效应的强度和对人类社会各方面的影响，提出人类为保护自身的生存环境，必须严格控制温室气体的排放量．
根据<广州文物考古集* 广州秦造船遗址论稿专辑>所报导发掘的事实,认为"船台说"把南越国宫殿建筑物被大火焚毁后的木柱脚,误认为是"木墩",进而把"木墩"看成可造船台的"木墩",
土地退化是人类所面临的最严重的环境问题之一．在湖南省，主要由于人类不合理经济活动所造成的土地退化现象十分普遍，士地退化类型多样，包括水土流失、土壤潜育化、土地贫瘠化、土地污染和土地损毁等一级类型，土地退化发生地域广泛，空间差异明显，由土地退化造成的危害显著．为整治已退化的土地和预防新的土地退化的产生，必须严格实施土地利用总体规划，合理布局城镇和工业，大力植树造林，积极治理“三废”，强化土地利用管理
在开发基于网络的数据库信息系统当中,经常会遇到要求向数据库信息系统当中存入或取出图片的问题,讨论了向数据库信息系统中存取图片的实现方法。考虑到Delphi编程语言和SQL
针对目前各远程教育系统的资源描述和系统模型自成体系,无法实现教育资源的共享和系统的复用等问题,提出运用UML为系统建模,探讨用XML Schema定义描述教育资源XML文件的数据
针对教育界虽然拥有丰富的教学资源，而互联网上却缺少可重用的教学课件及微教学单元的现状，设计了互联网教学资源库知识构架及知识表达形式，给出了基于本体的教学资源库及课件开
介绍了3个税务遗留系统存在的问题和集成的目标，比较分析了3种企业应用集成模型：表示集成、数据集成和功能集成，3种数据集成方法：联邦数据库系统、基于中间件模型和数据仓库，结合