排序方式: 共有7条查询结果,搜索用时 6 毫秒
1
1.
网络爬虫是目前比较流行的一种网页检索工具,其设计和实现也需要不断优化和改进。通过描述网络爬虫设计与实现中所碰到的问题,提供解决这些问题的方法,并给出实现这些目标的网络爬虫设计方法,提供该设计的Java语言版实现。 相似文献
2.
姜梦稚 《上海工程技术大学学报》2009,23(1):51-55
通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用,对Web服务进行描述,Pi演算在描述Web服务具有相当的优势,但其在数据定义和操作描述方面有一定的不足.通过集成Z语言,利用其在数据类型的检测和定义,以及操作定义的精确性等优势, 弥补了Pi演算在Web服务描述过程中的不足. 相似文献
3.
随着形式化方法技术的不断发展,各具特色的形式化方法不断的涌现出来,这些形式化方法都有着各自不同的特点,该文力图改变众多形式化方法的单一性,使得形式化方法既能够描述软件系统的某些方面(数据,结构,行为),又能够描述某种类型的软件系统(顺序,并发和分布).该文使用的是集成化的方法,即将Petri网和B语言集成起来,通过结合petri网和B方法,主要是为了能够用B方法来扩展Petri网在数据和函数定义方面的能力;通过Petri网扩展B方法在明确表示操作语义和描述并发系统方面的能力.通过集成,可以发现集成后的Petri-B网可以描述和分析系统的不同方面(结构,控制,数据和功能)和不同类型的系统(顺序,并发和分布式). 相似文献
4.
UML建模方式广为开发人员使用,但其非形式化的描述方法缺少对所描述内容的形式建模过程,本文通过运用πI演算描述UML中的时序图,能够对UML图形所涉及的数据和操作行为进行建模,为UML的动态描述图形提供一种建模的途径,本文提出用树形结构来组织对象的属性和操作,使得在πI演算能对类和对象的表示和处理。 相似文献
5.
本文中提出了一种能够描述分布式系统和实时系统的形式化方法-Petri-B 网,Petri-B 网是集成了 Petri 网理论 和 B 语言的形式化方法,它不仅具有了 Petri 网的特点,还具备了 B 语言的长处。本文定义了 Petri-B 网并用它来描述一个座位预 订系统。 相似文献
6.
为适应城市轨道交通的发展,列车自动监控(ATS)软件需要具有在同一线路上设置多种运营线的能力,需要适应不同厂商和规格的硬件,需要适应多种拓扑结构的线路形式和线路网络化管理要求,需要集成实时客流信息。为此,结合客流信息、线路模型等问题,在模块设计中采用以数据为核心的分层方法,在元数据设计中增强系统模型的描述能力,从数据结构到监控画面深度集成实时客流数据,在数据操作方法中应用主动、实时和关系数据库技术。通过这些举措使ATS达到了设计要求。 相似文献
7.
姜梦稚 《计算机应用与软件》2009,26(11):77-80
介绍TPN和B方法的集成,并将之运用在Web Service中。通过对TPN的底层模型进行修改,将原有的节点、变迁、托肯等替换成为B方法中的抽象机和替换,集成后的形式化技术称为TPN-B网,其本身就是一种高级的Petri网。给出由BPEL4WS到TPN-B网的转换,通过对数据、操作和流程的不同的转换,实现对Web Service的描述。 相似文献
1