SDL数据介绍.ppt

* * * * * * * block B dcl exported n Natuel, c Character; B B1 B2 block A dcl my_n Natuel; A A1 A2 remote n Natuel; block Container n’ my_n := import(n to PidToAgentB) n:=n+10; export(n); Remote Variables 使用者agnet中没有imported declaration 使用者agent通过import-operation对变量进行read-access 由拥有者agent通过export-operation进行更新 block B dcl exported n Natuel, c Character; B B1 B2 block A dcl my_n Natuel; A A1 A2 remote n Natuel; block Container n’ my_n := import(n to PidToAgentB) n:=n+10; export(n); Remote Variables 实现原理上采用隐含的signal交换的方式 Reomte variables的隐含实现模式 import (x to destination via via-path) 进程执行 export x 后 * * * * * * * * * * * * * * * * * * * * * * * * * * * 第五章 SDL数据 抽象数据类型 SDL中的所有数据基于抽象数据类型 抽象数据类型包括：数据类型元素的集合，及作用于数据元素上的操作集合 数据类型元素：构成数据类型的所有数据项 例：构成Boolean类型的数据项包括字面值true和false。 在SDL中可使用预定义数据类型和自定义数据类型 主要包括： Boolean Character String、Charstring Integer、Natural、Real Array Duration、Time Pid §5.1 预定义数据类型 1、Boolean类型 value type Boolean literals true, false; operators not ( Boolean ) - Boolean; and ( Boolean, Boolean ) - Boolean; or ( Boolean, Boolean ) - Boolean; xor ( Boolean, Boolean ) - Boolean; = ( Boolean, Boolean ) - Boolean; axioms not ( true) == false; not ( false) == true ; true and true == true ; true and false == false; false and true == false; false and false == false; true or true == true ; true or false == true ; false or true == true ; false or false == false; true xor true == false; true xor false == true ; false xor true == true ; false xor false == false; true = true == true ; true = false == false; false = true == true ; false = false == true ; endvalue type Boolean; 2、Character类型 Value type Character literals NUL, SOH, STX, ETX, EOT, ENQ, ACK, BEL, BS, HT, LF, VT, FF, CR, SO, SI, DLE, DC1, DC2, DC3, DC4, NAK, SYN, ETB, CAN, EM, SUB, ESC, IS4, IS3, IS2, IS1, , !, , #, $, %, , , (, ), *, +, ,, -, ., /, 0, 1, 2, 3, 4, 5