【摘 要】
：
由于各服务的分散性和自治性,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种数据集成方法：联邦数据库系统、基于中间件模型和数据仓库，结合