基于行为的Web服务选择平台的研究与实现

中文摘要	第1-9页
ABSTRACT	第9-11页
第一章 绪论	第11-15页
·研究目的和意义	第11页
·研究现状	第11-12页
·本文主要研究工作	第12-13页
·本文组织结构	第13-15页
第二章 WEB服务相关概念	第15-19页
·WEB服务概述	第15-16页
·WEB服务形式化模型PETRI网	第16页
·过程模型的PETRI网转换	第16-18页
·小结	第18-19页
第三章 基于行为的WEB服务选择方法	第19-23页
·动态行为序列生成方法	第19页
·服务相似性度量方法	第19-21页
·服务正确性验证方法	第21页
·小结	第21-23页
第四章 WEB服务选择平台的设计与实现	第23-35页
·开发环境的配置	第24页
·数据库的设计与实现	第24-26页
·WEB服务模型编辑器	第26-28页
·服务相似性度量器	第28-30页
·服务正确性验证器	第30-33页
·活性验证模块	第31页
·可达性验证模块	第31-32页
·S-不变量求解功能模块	第32-33页
·应用举例	第33-34页
·小结	第34-35页
第五章 总结与展望	第35-37页
参考文献	第37-41页
攻读学位期间取得的研究成果	第41-43页
致谢	第43-45页
个人简况及联系方式	第45-47页
承诺书	第47-49页