语义Web服务中的服务建模及自动组合方法
Web服务的语义建模是指对Web服务的属性、功能和结构等进行语义描述使用户能够对服务自动地定位、选择、使用和组合。本文以动作理论和描述逻辑为基础对服务的逻辑层信息(控制流和数据流)进行语义建模，用带前提和结果的原子动作描述简单服务.用复杂动作描述组合服务的控制流，用服务间的依赖关系描述数据流，并提出一个基本的Web服务自动组合框架.在该框架中，Web服务自动组合被划分为逻辑层和实现层两部分，于是服务的自动组合问题在逻辑上归结为一个动作规划问题，在实现上归结为一个根据动作选择具体服务的服务选择问题。最后给出一种新的自动组合规划算法，该算法充分考虑了语义推理和智能规划的结合，在对问题的描述能力和运行效率上做了较好的平衡。
语义Web 动态描述逻辑 自动服务组合 语义建模 语义推理 智能规划
万长林 王竹晓 史忠植
中国科学院计算技术研究所智能信息处理重点实验室,北京 100190 中国科学院研究生院,北京 100049 中国科学院计算技术研究所智能信息处理重点实验室,北京 100190
国内会议
天津
中文
720-728
2009-10-23（万方平台首次上网日期，不代表论文的发表时间）