出版时间:2001-10 出版社:北京邮电大学出版社 作者:宋茂强
Tag标签:无
内容概要
本书针对通信软件的特点,介绍了几种适用于通信软件需求分析阶段和设计阶段的形式化语言,包括通用建模语言UML、消息跟踪语言MSC和规格说明与描述语言SDL,重点介绍了在电信领域得到广泛应用的SDL语言。并以设计一个微型交换机软件为例,说明如何运用这些形式化语言进行通信软件的需求分析、概要设计和详细设计。 本书可作为计算机通信专业高年级本科生和研究生的教材,也可供通信软件开发人员参考。
书籍目录
第一章 概述1.1 通信软件的特点1.2 通信软件的开发过程1.2.1 需求分析1.2.2 概要设计1.2.3 详细设计1.3 通信软件开发工具简介1.3.1 概述1.3.2 需求分析工具1.3.3 设计和实现工具1.3.4 测试集设计与实现思考题第二章 UML与建模技术2.1 UML概述2.1.1 UML的定义及特点2.1.2 UML应用领域2.2 UML语言简介2.2.1 语法表达式的约定2.2.2 视图2.2.3 图2.2.4 模型元素2.2.5 通用机制2.2.6 扩展机制2.3 UML建模技术2.3.1 静态建模2.3.2 动态建模2.4 工具的支持思考题第三章 消息顺序图3.1 概述3.1.1 MSC的特点3.1.2 MSC的实体类型3.1.3 定义图形文法的符号说明3.2 MSC基础3.2.1 消息顺序图(MSC图)3.2.2 实例3.2.3 消息3.2.4 条件3.2.5 定时器3.2.6 动作3.2.7 进程创建3.2.8 进程终止3.2.9 调用与回复3.2.10 环境与通道3.3 MSC文档3.4 MSC结构概念3.4.1 并发3.4.2 MSC引用3.4.3 线内表达式3.4.4 高级MSC(HMSC)第四章 SDL语言概述4.1 系统行为4.1.1 有限状态自动机4.1.2 扩展有限状态自动机4.1.3 可通信的扩展有限状态自动机4.2 SDL系统结构4.3 主要术语定义4.4 SDL语法4.5 关键字思考题第五章 SDL基本概念5.1 定义包(package)5.2 代理(agent)5.2.1 系统5.2.2 功能块5.2.3 进程5.2.4 过程5.3 通信5.3.1 信道5.3.2 信号5.4 状态机5.4.1 开始域5.4.2 状态5.4.3 触发事件5.4.4 自发输入5.4.5 保存5.5 迁移过程5.5.1 输出5.5.2 创建代理实例5.5.3 任务5.5.4 过程调用5.5.5 分支操作5.5.6 连接5.5.7 图形符号连接关系小结5.6 定时器操作5.7 正文扩展与注释思考题第六章 SDL中的数据6.1 概述6.1.1 数据类6.1.2 数据类型6.1.3 操作6.1.4 数据项6.1.5 变量和表达式6.2 数据的定义6.2.1 预定义数据类6.2.2 预定义生成器6.2.3 数据类构造器6.2.4 定义新的数据类6.2.5 附加数据定义结构6.3 数据的使用6.3.1 变量的声明6.3.2 远端变量的概念6.3.3 表达式思考题第七章 设计举例7.1 硬件结构及工作原理7.1.1 硬件结构7.1.2 工作原理7.2 需求分析7.2.1 用户要求7.2.2 软件结构7.2.3 消息定义7.2.4 消息交互图7.3 概要设计7.3.1 软件结构7.3.2 功能描述7.3.3 消息交互图7.3.4 数据结构定义7.4 详细设计7.4.1 功能块设计7.4.2 管理进程设计7.4.3 主叫进程设计7.4.4 被叫进程设计思考题第八章 SDL中面向对象的概念8.1 概述8.2 类的定义8.2.1 代理类8.2.2 进程类8.2.3 功能块类8.2.4 系统类8.3 上下文参数8.4 关于类的特殊处理8.4.1 子类中添加特性8.4.2 关于“Virtuality”思考题第九章 SDL其他概念9.1 远端过程调用9.1.1 远端过程定义9.1.2 远端过程调用工作过程9.1.3 远端过程举例9.2 通用系统设计9.2.1 SDL中的选样域9.2.2 可选迁移分支思考题附录附录一 MSC文本文法附录二 MSC图形文法总结参考文献
图书封面
图书标签Tags
无
评论、评分、阅读与下载