典型文献
动态可配置网络爬虫系统的形式化研究
文献摘要：
为了在动态可配置网络爬虫系统开发的初期发现问题,对其进行形式化研究是十分必要的.本文通过SDL对爬虫系统进行形式化建模,并使用仿真的MSC运行结果来对爬虫系统可能出错的情况、可达性以及一致性等性质进行了分析.使用Telelogic TAU的仿真结果表明,自顶而下的形式化研究角度可以保障动态可配置网络爬虫系统的完备性.
文献关键词：
形式化;规范描述语言;网络爬虫;消息顺序图
中图分类号：
作者姓名：
刘业;吴建平
作者机构：
苏州市职业大学计算机工程学院 江苏 苏州 215104
文献出处：
引用格式：
[1]刘业;吴建平-.动态可配置网络爬虫系统的形式化研究)[J].福建电脑,2022(08):1-4
A类：
Telelogic,规范描述语言,消息顺序图
B类：
可配置,网络爬虫,系统开发,发现问题,SDL,形式化建模,MSC,出错,可达性,TAU,研究角度,完备性
AB值：
0.284509
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
