您现在的位置: 精品资料网 >> 企业管理 >> 管理知识 >> 资料信息

通信软件测试基础第四章 时序说明语言ppt31

所属分类:
管理知识
文件大小:
591 KB
下载地址:
相关资料:
通信软件测试,基础,说明,语言
通信软件测试基础第四章 时序说明语言ppt31内容简介

第四章 时序说明语言
CC简介
LOTOS简介
E-LOTOS简介
E-LOTOS语言基础
E-LOTOS基本数据类型
模块语言
应用实例
4.1 CCS简介
形式化描述技术主要有:
FSM(Finite State Machines)
FSM由于简单、直观而得到广泛的应用,但不利于协议验证的实现。
Petri网
Petri网是FSM的变种,协议工程中应用的不多。
TL(Temporal Logic)
TL过于抽象,不利于描述协议的逻辑结构,难于在协议工程中使用。

进程代数(the Algebra of Process)
进程代数不但能够严密地描述协议的逻辑结构、协议的时序性,而且有利于协议验证的进行,这就引起人们的注意。R.Milner提出的CCS是最早的进程代数之一,它和C.A.R.Hare提出的CSP(the Communicating Sequential Processes)和国际标准化组织提出的LOTOS有相同的理论基础。因此,对计算机网络的研究人员来说,CCS理论及其应用技术的研究是非常重要的。 


..............................