通信软件设计SDL语言.ppt

SDL 语言;SDL mechine;SDL语言中的语法构件;SDL系统组成;System Environment;SDL的描述和具体系统的关系;SDL Overview - Process;SDL Overview - Blocks;在SDL中的通信方式;SDL 概览总结;1 定义包(Package);;signal opened,closed ; /* Door to Controller */;包的图形语法;包的图形语法(续);包的图形语法(续);包的图形语法(续);2 代理（Agent）; 代理图的图形语法;系统 System;例子：系统图;系统图的图形语法;系统图使用注意;例子：系统和包 ;功能块 Block; 例子：功能块图;进程图引用符 进程创建，创建符 进程名（N1,N2） N1为初始化创建的进程实???数 N2为运行时允许创建的进程最多实例数 例：Manager(1,1) Caller(0,1000) ;Static Dynamic SDL;Static SDL;System的功能分解原则;Structuring of the System Description;Decomposition Rules:No Limit in number of Block levels;Decomposition Rules: Blocks and Process cannot share a level; 进程 Process;用Input-Action-Transition来定义行为 a signal is received some tasks are carried out, signal(s) sent out transition to another state 每个进程都有一个或多个实例 进程标识类型：PId 4个保留字 self (constant) 本进程的PID parent (constant) 父进程的PID sender (varies) 最近被消耗信号的进程的PID offspring (varies) 最近被本进程创建的进程的PID; 进程的图形语法; 过程; ; ; ;3 通信;3 通信;在异步通信中的FIFOs;在异步通信中的FIFOs;3 通信; 通信(续);; ;信号;信号的文本语法;信号的文本语法;信号的图形语法;例子：信号;;FSM例子(VS-FSM);进程图中的几个核心组件;FSM例子(VS-FSM);VS-FSM的进程图(Process Diagram);用EFSM描述时;进程图中增加的组件;进程图例子;在SDL中描述系统行为的组件;一、启动;状态; ;在状态列表中表示状态的几种形式; ;触发事件;触发事件－输入事件; ;输入接允许条件（使能条件）;触发事件－优先输入事件;触发事件－输入事件;自发转移;保存;保存例子;保存（上一个例子的处理过程1）;保存（上一个例子的处理过程2）;在输入中表示信号;输入、连续信号、保存;迁移过程; 迁移过程-输出; 迁移过程-输出;用户通过; 迁移过程-创建进程;动态进程处理;The User ServerInitialisation Procedure ; 迁移过程-任务; 迁移过程-任务;迁移过程-任务 ; 迁移过程-过程调用;过程图Procedure; 迁移过程-调用和返回;过程与进程; 迁移过程-分支; 迁移过程-分支;分支; 迁移过程-定时器; 迁移过程-定时器; 迁移过程-定时器; 迁移过程-汇接; 迁移过程-汇接; 迁移过程-合并;; SDL图形符号连接关系小结;图形符合连接关系; 注释和正文扩展;SDL - Summary ;SDL - Summary ;SDL - Summary