【摘 要】
：
从Web服务所交互的环境角度出发,提出了基于环境本体的Web服务能力描述框架,从Web服务操作的环境以及操作导致的环境变化两个方面刻画Web服务的能力,并由此建立了需求驱动的W
【机 构】
：
中国科学院数学与系统科学研究院,中国科学院数学与系统科学研究院,中国科学院数学与系统科学研究院 中国科学院软件研究所北京100080,中国科学院计算技术研究所北京100080,中国科学院研究生院,北京
论文部分内容阅读
从Web服务所交互的环境角度出发,提出了基于环境本体的Web服务能力描述框架,从Web服务操作的环境以及操作导致的环境变化两个方面刻画Web服务的能力,并由此建立了需求驱动的Web服务组合模型.同时提出用π演算的进程表达式表示Web服务的行为语义,并建立了从Web服务概念化的能力表示到形式化的进程表示的自动转换机制,在此基础上给出Web服务组合的可行性验证算法及需求可满足性的验证方法.经过验证的Web服务组合模型可以作为备选执行方案之一反馈给需求提出者.
From the perspective of the interaction between Web services, this paper proposes a description framework of Web services capabilities based on environment ontology, and describes the Web service capabilities from two aspects: the environment of Web services operations and the environment changes caused by operations, and then establishes a demand-driven And proposes a process expression of π calculus to represent the behavior semantics of Web services, and establishes an automatic conversion mechanism from conceptual representation of Web services to formal process representation, on the basis of which Web Service composition feasibility verification algorithm and requirement satisfiability verification method.The validated Web service composition model can be fed back to the requester as one of the alternative execution solutions.
其他文献
摘要：教师在组织解题教学时，通常会出现“教学脱节”情形，对此何小亚教授在指导学生时提出“初等化”方法，核心是“为学生准备合适的数学，以符合学生认知基础的形式讲授数学”.由于教师和学生认知基础的差异性，“初等化”方法应用有其内在规律，使用时应注意“构建认知平台，关注数学化，为学生思维留白”. 关键词：教学脱节；解题教学；初等化：数学化 我们在组织解题教学时通常会有这样的经历：一道试题，教师从不同
摘要：任何一种化学反应，其反应前后的质量总是不变的。物质质量不会增加也不减少，只会由一种形式转变为另一种形式。但是，物体一个物体在作用时需要在密闭的环境下，质量才会相同，若是在大气中，因为和空气反应会使得质量变重。质量守恒定律是大自然中普遍存在的定律之一。 关键词：质量；能量；守恒 本篇论文主要通过探讨质量守恒定律从而进一步来探讨化学反应过程中反应物总质量与生成物总质量之间的关系，开始了从生成
微课作为一种新型的教学模式和学习方式，打破了小学语文课堂教学的时空限制，创设更为客观真实的教学情境。它以5～10分钟的短小视频呈现某个主题（知识点、技能点）的教学活动。寻找微课与小学语文阅读教学最基本的规律（整体——部分——整体）的结合支点，在数字化的环境下向学生提供丰富而且必要的教学信息资源，引导、组织学生进行学习建构、尝试体验、探索新知;根据自己的学习需要，在微课中获取信息、分析研究、反馈交流
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
请下载后查看，本文暂不支持在线获取查看简介。记忆T细胞与持续性丙型肝炎病毒感染@杨江华$南京医科大学第一附属医院感染科!江苏南京210029@孙南雄$南京医科大学第一附属医院
本文讨论了非线性四阶边值问题u(4) (t) = φ(t) f (u(t), u“(t)), t ∈ (0, 1),u(0) = u(1) = u”(0) = u"(1) = 0正解的存在性,其中φ(t)∈C([0,1],[0,∞)),f(u,v)∈C([0,
生态农业是按照生态学原理和经济学原理,运用现代科学技术成果和现代管理手段,以及传统农业的有效经验建立起来的,能获得较高的经济效益、生态效益和社会效益的现代化高效农
摘 要： 近年来随着社会经济的日益繁荣，我国在教育领域有了新突破，尤其是案例教学法在高中地理教学中的具体应用，有力提高了高中地理教学质量。但是客观来讲，高中地理教学在运用案例教学模式时依然存在严重问题，影响了学生使用基础知识解决实际问题能力的提高。本文对案例教学法在高二地理教学中的具体应用进行详细，旨在进一步改进教学，促进教育事业的发展。 关键词： 案例教学法 高二地理 具体应用 进入21世纪
自1997年以来,我国粮价连续几年走低,与此同时农民收入增长速度也持续下降,城乡收入差距不断扩大.1997年城镇居民人均可支配收入与农民人均纯收入之比为2.47:1,而2003年则为3