semanticwebservices的自动化组合技术计算机软件与理论专业论文.docxVIP

北京邮电大学博士学位论文 北京邮电大学博士学位论文 {Semantic Web Services的自动化组合技术》 文中所用的图表目录 1．1中国互联网发展状况 ．．．9． 3．1小镇旅游信息例子中涉及的所有的谓词 ．．40． 3-2小镇旅游信息例子中所有可用的Web Services ．41． 5-1从owL／RDF本体库到FOL的转换规则示例 ．94． 5．2已有服务所对应的FOL公式 ．．．98． 5．3类的属性导入结果 ．99． 表表表表表表表 5．4程序生成的特点对比 ．．114． 1．1关于“课程”和“教员”关系的一个语义网络 ．11． 2．1 W曲Services技术规范架构．技术依赖性视图 ．21． 2．2 Semantic W曲Services架构．软件组件视图 ．．22． 2．3 OWL．S顶层结构图 ．． ．．．25． 2．4 0、Ⅵ。．S与WSDL之间的映射 ．26． 2．5一个关于建房子的HTN例子 ．．30． 3-l服务上层本体 ．．- ．39． 3-2组合服务与用户的关系 ．．47． 4．1原子服务的进程模型 ．58． 4-2组合服务图例l ．．58． 4．3组合服务图例2 ．58． 4-4组合服务图例3 ．．．58． 4．5小镇信息查询：组合服务SX的实现 ．64． 4-6组合服务的数据流模型 ．7卜 4．7组合服务的中心控制点模型 ．71． 5．1 Deductive Program Synthesis方法的典型流程 ．88． 5．2两个系统中服务语义的等价 ．92． 5．3程序提取示例 ．．95． 5．4“小镇信息查询”例子所用的本体库 ．98． 5．5原型系统Service Composer(SC)的设计架构 ，107． 5-6 Service Composer运行示例(1) ．．．109． 5-7 Service Composer运行示例(2) ．109． 5．8 Service Composer运行示例(3) ．．． ．．n 0． 5-9 Service Composer运行示例(4) ．1lO． 5．10 Service Composer运行示例(5) ．．1l 1． 5．11 Service Composer运行示例(6) ．1l 1． 5-12 Service Composer运行示例(7) ．112． 5．13 Service Composer运行示例(8) ．．112． 5．14 Service Composer运行示例(9) ．．． ．113． 图图图图图图图图图图图图图图图图图图图图图图图图图图图图图图 5．15 Service Composer运行示例(10) ．．-113． -8． 独创性(或创新性)声明本人声明所呈交的论文是本人在导师指导下进行的研究工作及取得的研究成果。尽我所 独创性(或创新性)声明 本人声明所呈交的论文是本人在导师指导下进行的研究工作及取得的研究成果。尽我所 知，除了文中特别加以标注和致谢中所罗列的内容以外，论文中不包含其他人已经发表或 撰写过的研究成果，也不包含为获得北京邮电大学或其他教育机构的学位或证书而使用过 的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表 示了谢意。 申请学位论文与资料若有不实之处，本人承担一切相关责任。 本人签名： 咀虚 日期： 刎．10．／2． 关于论文使用授权的说明 学位论文作者完全了解北京邮电大学有关保留和使用学位论文的规定，即：研究生在校攻 读学位期间论文工作的知识产权单位属北京邮电大学。学校有权保留并向国家有关部门或 机构送交论文的复印件和磁盘，允许学位论文被查阅和借阅；学校可以公布学位论文的全 部或部分内容，可以允许采用影印、缩印或其它复制手段保存、汇编学位论文。(保密的 学位论文在解密后遵守此规定) 保密论文注释：本学位论文属于保密在一年解密后适用本授权书。非保密论文注释：本学位论文 不属于保密范围，适用本授权书。 本人签名： 日期：塑!：!!：!兰 导师签名： 日期：＆∞6．Io：f 1． 北京邮电大学博士学位论文 北京邮电大学博士学位论文 (Semantic Web Services的自动化组合技术》 Semantic Web Services的自动化组合技术 摘要 本论文以Semantic Web Services(语义Web服务)的自动化组合技 术为研究的中心，围绕这一主要问题，分3个部分分别分析与探讨T 务的语义、组合服务、以及自动化服务组合的方法。 本论文所有的研究，都是基于服务的语义进行的。“语义”是 Semantic Web Services体系中最重要的一个部分。服务被解释成一种特 殊的软件组件，提取其输入参数(I_nput)、输出参数(