通信软件测试基础第四章 时序说明语言ppt31
所属分类:管理知识
文件大小:591 KB
下载要求:10 学币或VIP
点击下载第四章 时序说明语言
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理论及其应用技术的研究是非常重要的。
上一篇:手机密码大全(doc 18)
精品资料网 m.cnshu.cn
Copyright © 2004- 粤ICP备10098620号-1
风险管理 应急预案 研发管理 运营管理 内部管理 商业模式 执行力 连锁经营 公司治理 工厂管理 创新管理 家族企业 效率管理 名企案例 企业理念 价值管理 特许经营 瓶颈管理 调查问卷 策划方案 领导力 团队建设 企业变革 企业文化 战略管理 竞争策略 管理知识 危机管理 成本管理 项目管理 发展战略 年度计划 决策管理 企业上市 供应商 组织设计 产品管理 采购管理 品牌管理 企业诊断 企业咨询 商务谈判 物流管理 运作管理 管理制度 行业报告 经营管理 企划方案 MBA 流程管理 目标管理 招标投标 商务礼仪 管理表格 管理技能 管理案例 管理工具 管理手册 职业经理人 商业计划书 董事与股东 可行性报告