Web服务的形式化模型的研究

摘要	第1-5页
ABSTRACT	第5-11页
第一章 绪论	第11-18页
·课题研究背景	第11-16页
·Web 服务	第11-13页
·OWL-S	第13-14页
·形式化方法	第14-16页
·课题研究现状	第16-17页
·国外研究现状	第16页
·国内研究现状	第16-17页
·现存的问题	第17页
·论文研究内容	第17-18页
第二章 WEB 服务建模的理论背景	第18-29页
·常用的并发模型	第18-20页
·Petri 网	第18-19页
·进程代数	第19-20页
·符号化的传值CCS 系统	第20-27页
·传值CCS 系统简介	第20-21页
·符号化的传值CCS 系统	第21-27页
·符号化的传值CCS 系统建模的可行性分析	第27-29页
·肯定的方面	第27-28页
·不足的方面	第28-29页
第三章 WEB 服务建模的形式化系统：S-系统	第29-57页
·引进S-系统的必要性	第29页
·SVCCS 系统	第29-38页
·S-系统	第38-57页
第四章 基于S-系统的WEB 服务模型：SMWS	第57-65页
·原子进程的形式化描述	第57-60页
·组合进程的形式化描述	第60-65页
第五章 基于SMWS 的WEB 服务调用框架	第65-72页
·框架简介	第65-67页
·主要模块简介	第67-72页
·服务分类排序模块	第67-69页
·服务匹配模块	第69-70页
·服务组合验证模块	第70-72页
第六章 结束语	第72-74页
·论文总结	第72页
·今后工作	第72-74页
参考文献	第74-77页
致谢	第77-78页
在学期间的研究成果及发表的学术论文	第78页