基于SDL的网络搜索引擎系统的形式化研究

摘要

搜索引擎是当今热门的计算机研究及应用领域。以Yahoo为主的开放式目录搜索和以百度、Google为主的全文搜索都是顺应Internet快速发展的用户需求而诞生的技术。SDL作为一种形式化语言,一般被应用于网络协议和通讯系统软件开发,而用SDL来描述纯粹性的计算机软件项目还不多见,本文通过SDL来对全文搜索引擎系统进行形式化建模和分析,从而以一种全新的角度来分析搜索引擎系统。