动态可配置网络爬虫系统的形式化研究  

Research on Formalization of Dynamically Configurable Web Crawler System

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

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

出　　处：《福建电脑》2022年第8期1-4,共4页Journal of Fujian Computer

基　　金：国家自然科学基金项目(No.61872191)资助。

摘　　要：为了在动态可配置网络爬虫系统开发的初期发现问题,对其进行形式化研究是十分必要的。本文通过SDL对爬虫系统进行形式化建模,并使用仿真的MSC运行结果来对爬虫系统可能出错的情况、可达性以及一致性等性质进行了分析。使用Telelogic TAU的仿真结果表明,自顶而下的形式化研究角度可以保障动态可配置网络爬虫系统的完备性。In order to find the bugs in the early development phase of the dynamic configurable web crawler system,it is necessary to research on the formalizing model of it.In this paper,the crawler system is formally modeled by SDL.Then MSC simulations are applied to analyze the possible error scenarios,reachability,and consistency of our proposed crawler system.The simulation results by using Telelogic TAU show that the validity of top-down formalization of dynamic configurable network crawler system is verified.

关 键 词：形式化 规范描述语言 网络爬虫 消息顺序图 

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