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

Formal Research on Web Search Engine Based on SDL

作　　者：刘业 吴建平[1] Liu Ye;Wu Jianping(School of Computer Engineering,Suzhou Vocational University,Suzhou 215104)

机构地区：[1]苏州市职业大学计算机工程学院,苏州215104

出　　处：《现代计算机》2022年第15期67-71,共5页Modern Computer

摘　　要：搜索引擎是当今热门的计算机研究及应用领域。以Yahoo为主的开放式目录搜索和以百度、Google为主的全文搜索都是顺应Internet快速发展的用户需求而诞生的技术。SDL作为一种形式化语言,一般被应用于网络协议和通讯系统软件开发,而用SDL来描述纯粹性的计算机软件项目还不多见,本文通过SDL来对全文搜索引擎系统进行形式化建模和分析,从而以一种全新的角度来分析搜索引擎系统。Web search engine is a hot field for research nowadays.To meet the rapid development of requirements of Internet users,the methods of open directory search used in Yahoo,and full-text search used in Baidu and Google are proposed.As a formal language,SDL which is generally applied to the description of communications software in telecom,is rare to be used to describe computer software.In this paper,SDL is used to construct and analyze the formal model of the full-text search engine of web search engine,so that a brand-new formal method is introduced to analyze the web search engine system.

关 键 词：搜索引擎 形式化 SDL 

分 类 号：TP391.3[自动化与计算机技术—计算机应用技术]