[工学]通信软件及通信协议5.ppt

迁移过程——合并迁移过程 s1 T signal1 reset(T) signal3 s2 signal2 reset(T) signal4 set(T) s3 Slide 96 定时器操作（1） 定时器用来设置等待某事件发生的时间 定时器的操作 – 设置定时器：在系统中启动一个定时器 – 复位定时器：停止计时 定时器的应用方法 – 声明定时器： 定时器可以带参数，参数主要用来区别不同的监视对象: timer wait_sig_time(user_id):=wait_duration; 如果定时器每次设置的时间都一样，可以在定义时给其赋值: timer T,T1=60.0; – 定时器设置: set(now+var_duration,T) set(T1) – 复位定时器: reset(T); reset(T1); reset(T2(1)) 定时器操作（2） 定时器超时用包含定时器名的输入符来表示，对于带参数的 定时器，需用具有相同数据类型的变量来接收参数值 T T2（X） T1 Slide 98 4-3、SDL中的数据 Slide 99 内容 概述 数据的定义 数据的使用 Slide 100 SDL中的数据——概述 数据类（Data Type）: 数据类型（Sort）+ 操作（Operation） 数据类型：数据项或元素的集合 数据类型元素：数值（value）、对象（object）、 进程标识（pid） 布尔数据项： – 布尔数据类型包含两个元素：false，true – 支持的操作：=，/=，not，and，or，xor，=〉 数 据 定 义 数据类（data type）定义 预定义数据类 结构（struct） 选择（choice） 通过特殊化（specialization）定义新数据类 同义类（Syntype）定义 同义词（Synonym）定义 Slide 101 定义新数据类 通过使用预定义生成器定义新数据类 串（String） 数组（Array） 通过使用数据类构造器定义新数据类 字面量（literals） Slide 102 预定义数据类（1） SDL中预定义的数据类包括： –Boolean：布尔型 –Character：字符型 –Charstring：字符串型 –Integer：整型 –Natural：自然数型 –Real：实数型 –Pid：进程标识型 –Duration：时长类型 Slide 103 预定义数据类（2） Boolean类 = : Boolean, Boolean - Boolean – 蕴涵操作：如果第一个操作数为true，第二个操作数为 false，则操作结果为false；否则操作结果为true。既： true = true == true true = false == false false = true == true false = false == true Slide 104 预定义数据类（3） Character类 num : Character - Integer; num（‘A’）=65 chr : Integer- Character chr(65)=“A” Slide 105 预定义数据类（4） Charstring类 first:Charstring-character; first(‘hello’)=‘h’ mkstring:Character-charstring; length:Charstring-integer; length(‘Hello’)=5; last:Charstring-character; last(‘hello’)=‘o’ Slide 106 预定义数据类（4） Real类 float : Integer-Real; float(100)=100.0 fix:Real-float fix(138.6)=138 newtype S1 元素类为整型 string(Integer, Empty) endnewtype; Empty代表空串 Slide 107 预定义生成器——串（String） S1是一个由Integer 构 成的串 newtype A1 为Character Array(Character, Integer) endnewtype; 元素类型为 Integer Slide 108 预定义生成器——