基于Java的多线程网络爬虫设计与实现

网络爬虫是目前比较流行的一种网页检索工具,其设计和实现也需要不断优化和改进。通过描述网络爬虫设计与实现中所碰到的问题,提供解决这些问题的方法,并给出实现这些目标的网络爬虫设计方法,提供该设计的Java语言版实现。     

基于Petri网和B语言集成的形式化方法

随着形式化方法技术的不断发展,各具特色的形式化方法不断的涌现出来,这些形式化方法都有着各自不同的特点,该文力图改变众多形式化方法的单一性,使得形式化方法既能够描述软件系统的某些方面(数据,结构,行为),又能够描述某种类型的软件系统(顺序,并发和分布).该文使用的是集成化的方法,即将Petri网和B语言集成起来,通过结合petri网和B方法,主要是为了能够用B方法来扩展Petri网在数据和函数定义方面的能力;通过Petri网扩展B方法在明确表示操作语义和描述并发系统方面的能力.通过集成,可以发现集成后的Petri-B网可以描述和分析系统的不同方面(结构,控制,数据和功能)和不同类型的系统(顺序,并发和分布式).     

类型化Pi演算在Web服务组合中的应用

通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用,对Web服务进行描述,Pi演算在描述Web服务具有相当的优势,但其在数据定义和操作描述方面有一定的不足.通过集成Z语言,利用其在数据类型的检测和定义,以及操作定义的精确性等优势, 弥补了Pi演算在Web服务描述过程中的不足.     

基于π演算的时序图的建模

UML建模方式广为开发人员使用,但其非形式化的描述方法缺少对所描述内容的形式建模过程,本文通过运用πI演算描述UML中的时序图,能够对UML图形所涉及的数据和操作行为进行建模,为UML的动态描述图形提供一种建模的途径,本文提出用树形结构来组织对象的属性和操作,使得在πI演算能对类和对象的表示和处理。     

基于Petri网和B语言集成的形式化方法

本文中提出了一种能够描述分布式系统和实时系统的形式化方法-Petri-B 网，Petri-B 网是集成了 Petri 网理论 和 B 语言的形式化方法，它不仅具有了 Petri 网的特点，还具备了 B 语言的长处。本文定义了 Petri-B 网并用它来描述一个座位预 订系统。     

列车自动监控软件的设计问题

为适应城市轨道交通的发展,列车自动监控(ATS)软件需要具有在同一线路上设置多种运营线的能力,需要适应不同厂商和规格的硬件,需要适应多种拓扑结构的线路形式和线路网络化管理要求,需要集成实时客流信息。为此,结合客流信息、线路模型等问题,在模块设计中采用以数据为核心的分层方法,在元数据设计中增强系统模型的描述能力,从数据结构到监控画面深度集成实时客流数据,在数据操作方法中应用主动、实时和关系数据库技术。通过这些举措使ATS达到了设计要求。     

TPN和B方法集成的形式化技术在Web Service中的应用

介绍TPN和B方法的集成,并将之运用在Web Service中。通过对TPN的底层模型进行修改,将原有的节点、变迁、托肯等替换成为B方法中的抽象机和替换,集成后的形式化技术称为TPN-B网,其本身就是一种高级的Petri网。给出由BPEL4WS到TPN-B网的转换,通过对数据、操作和流程的不同的转换,实现对Web Service的描述。