home *** CD-ROM | disk | FTP | other *** search
/ InfoMagic Standards 1993 July / Disc.iso / ccitt / 1988 / troff / 10_1_05.tro < prev    next >
Encoding:
Text File  |  1991-12-12  |  76.9 KB  |  3,616 lines
  1. .rs
  2. .\" Troff code generated by TPS Convert from ITU Original Files
  3. .\"                 Not Copyright ( c) 1991 
  4. .\"
  5. .\" Assumes tbl, eqn, MS macros, and lots of luck.
  6. .TA 1c 2c 3c 4c 5c 6c 7c 8c
  7. .ds CH
  8. .ds CF
  9. .EQ
  10. delim @@
  11. .EN
  12. .nr LL 40.5P
  13. .nr ll 40.5P
  14. .nr HM 3P
  15. .nr FM 6P
  16. .nr PO 4P
  17. .nr PD 9p
  18. .po 4P
  19.  
  20. .rs
  21. \v | 5i'
  22. .ce 1000
  23. \v'12P'
  24. \s12Annexes\ A,\ B,\ C\ and\ E
  25. .EF '%     \ \ \ ^''
  26. .OF ''' \ \ \ ^    %'
  27. .RT
  28. .ce 0
  29. .sp 1P
  30. .ce 1000
  31. to\ Recommendation\ Z.100
  32. \v'2P'
  33. .ce 0
  34. .sp 1P
  35. .ce 1000
  36. \fBFUNCTIONAL\ SPECIFICATION\ AND\fR 
  37. .ce 0
  38. .sp 1P
  39. .ce 1000
  40. \fBDESCRIPTION\ LANGUAGE\ (SDL)\fR 
  41. .ce 0
  42. .sp 1P
  43. .LP
  44. .rs
  45. .sp 29P
  46. .LP
  47. .bp
  48. .LP
  49. \fBMONTAGE:\fR PAGE 206 = PAGE BLANCHE
  50. .sp 1P
  51. .RT
  52. .LP
  53. .bp
  54. .ce 1000
  55. ANNEX\ A
  56. .ce 0
  57. .ce 1000
  58. (to Recommendation Z.100)
  59. .EF '%    Fascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ A''
  60. .OF '''Fascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ A    %'
  61. .sp 9p
  62. .RT
  63. .ce 0
  64. .ce 1000
  65. \fBSDL Glossary\fR 
  66. .sp 1P
  67. .RT
  68. .ce 0
  69. .PP
  70. The Z.100 Recommendation contains the formal definitions of
  71. SDL terminology. The SDL Glossary is compiled to help new SDL users when
  72. reading the Recommendation and its annexes, giving a brief definition and
  73. reference to the defining section of the Recommendation. The definitions 
  74. in the Glossary may summarize or paraphrase the formal definitions, and 
  75. thus may be 
  76. incomplete.
  77. .sp 1P
  78. .RT
  79. .PP
  80. Terms which are in a definition may also be found in the glossary. If an 
  81. italicized phrase, for example \fIprocedure identifier\fR , is not in the 
  82. glossary, then it may be the concatenation of two terms, in this case the 
  83. term \fIprocedure\fR followed by the term \fIidentifier\fR . When a word 
  84. is in italics but 
  85. cannot be located in the glossary, it may be a derivative of a glossary 
  86. term. For example, \fIexported\fR is the past tense of \fIexport\fR . 
  87. .PP
  88. Except where a term is a synonym for another term, after the
  89. definition of the term there is a main reference to the use of the term 
  90. in the Z.100\ Recommendation. These references are shown in square brackets\ 
  91. [\ \ ] after definitions. For example, [3.2] indicates that the main reference 
  92. is in 
  93. \(sc\ 3.2.
  94. .RT
  95. .sp 2P
  96. .LP
  97.     \fBabstract data type\fR 
  98. .sp 1P
  99. .RT
  100. .LP
  101.     \fIF | \fR \ \fItype abstrait de donn\*'ees\fR 
  102. .LP
  103.     \fIS | \fR \ \fItipo abstracto de datos\fR 
  104. .PP
  105. \fIAbstract data type\fR is a synonym for \fIdata type\fR . All \fISDL 
  106. data\fR \fItypes\fR are \fIabstract data types\fR . 
  107. .RT
  108. .sp 1P
  109. .LP
  110.     \fBabstract grammar\fR 
  111. .sp 9p
  112. .RT
  113. .LP
  114.     \fIF | \fR \ \fIgrammaire abstraite\fR 
  115. .LP
  116.     \fIS | \fR \ \fIgram\*'atica abstracta\fR 
  117. .PP
  118. The \fIabstract grammar defines the semantics\fR of \fISDL\fR . The
  119. \fIabstract grammer\fR is described by the \fIabstract syntax\fR and the
  120. \fIwell\(hyformedness rules\fR . [1.2, 1.4.1]
  121. .RT
  122. .sp 1P
  123. .LP
  124.     \fBabstract syntax\fR 
  125. .sp 9p
  126. .RT
  127. .LP
  128.     \fIF | \fR \ \fIsyntaxe abstraite\fR 
  129. .LP
  130.     \fIS | \fR \ \fIsintaxis abstracta\fR 
  131. .PP
  132. The \fIabstract syntax\fR is the means to describe the conceptual
  133. structure of an \fISDL specification\fR as compared with the \fIconcrete 
  134. syntaxes\fR which exist for each \fIconcrete syntax\fR of \fISDL\fR , this 
  135. is \fISDL/GR\fR and 
  136. \fISDL/PR\fR . [1.2]
  137. .RT
  138. .sp 1P
  139. .LP
  140.     \fBaccess\fR 
  141. .sp 9p
  142. .RT
  143. .LP
  144.     \fIF | \fR \ \fIacc\*`es\fR 
  145. .LP
  146.     \fIS | \fR \ \fIacceder\fR 
  147. .PP
  148. \fIAccess\fR is the operation applied to a \fIvariable\fR which gives the 
  149. \fIvalue\fR which was last assigned to it. If a \fIvariable\fR is \fIaccessed\fR 
  150. which has an \fIundefined value\fR , then an \fIerror\fR occurs. 
  151. .RT
  152. .sp 1P
  153. .LP
  154.     \fBaction\fR 
  155. .sp 9p
  156. .RT
  157. .LP
  158.     \fIF | \fR \ \fIaction\fR 
  159. .LP
  160.     \fIS | \fR \ \fIacci\*'on\fR 
  161. .PP
  162. An \fIaction\fR is an operation which is executed within a
  163. \fItransition string\fR , e.g.,\ a \fItask, output, decision, create request\fR 
  164. or\fR 
  165. \fIprocedure call\fR . [2.7]
  166. .RT
  167. .sp 1P
  168. .LP
  169.     \fBactive timer\fR 
  170. .sp 9p
  171. .RT
  172. .LP
  173.     \fIF | \fR \ \fItemporisateur actif\fR 
  174. .LP
  175.     \fIS | \fR \ \fItemporizador activo\fR 
  176. .PP
  177. An \fIactive timer\fR is a \fItimer\fR which has a \fItimer signal\fR in 
  178. the \fIinput port\fR of the owning \fIprocedure\fR or is scheduled to produce 
  179. a \fItimer\fR 
  180. \fIsignal\fR at some future time. [2.8.2, 5.5.4.5]
  181. .bp
  182. .RT
  183. .sp 1P
  184. .LP
  185.     \fBactual parameter\fR 
  186. .sp 9p
  187. .RT
  188. .LP
  189.     \fIF | \fR \ \fIparam\*`etre r\*'eel\fR 
  190. .LP
  191.     \fIS | \fR \ \fIpar\*`ametro efectivo\fR 
  192. .PP
  193. An \fIactual parameter\fR is an \fIexpression\fR given to a \fIprocess\fR 
  194. or \fIprocedure\fR for the corresponding \fIformal parameter\fR when the 
  195. \fIprocess\fR or 
  196. \fIprocedure\fR is \fIcreated\fR (or \fIcalled\fR ). Note that in certain 
  197. cases in a 
  198. procedure call an \fIactual parameter\fR must be a \fIvariable\fR (i.e.\ 
  199. a particular 
  200. type of \fIexpression\fR ; see \fIIN/OUT\fR ). [2.7.2, 2.7.3,
  201. 4.2.2]
  202. .RT
  203. .sp 1P
  204. .LP
  205.     \fBactual parameter list\fR 
  206. .sp 9p
  207. .RT
  208. .LP
  209.     \fIF | \fR \ \fIliste de param\*`etres r\*'eels\fR 
  210. .LP
  211.     \fIS | \fR \ \fIlista de par\*`ametros efectivos\fR 
  212. .PP
  213. An \fIactual parameter list\fR is the list of \fIactual parameters\fR . 
  214. The \fIactual parameters\fR are matched by position with the respective 
  215. elements of the corresponding \fIformal parameter list\fR . 
  216. .RT
  217. .sp 1P
  218. .LP
  219.     \fBarea\fR 
  220. .sp 9p
  221. .RT
  222. .LP
  223.     \fIF | \fR \ \fIzone\fR 
  224. .LP
  225.     \fIS | \fR \ \fI\*'area; zona\fR 
  226. .PP
  227. An \fIarea\fR is a two dimensional region in the \fIconcrete graphical\fR 
  228. \fIsyntax\fR . \fIArea\fR often correspond to \fInodes\fR in the \fIabstract 
  229. syntax\fR and 
  230. usually contain \fIcommon textual syntax\fR . In \fIinteraction diagrams\fR 
  231. areas may be connected by \fIchannels\fR or \fIsignal routes\fR . In \fIcontrol 
  232. flow diagrams areas\fR may be connected by \fIflow lines\fR . 
  233. .RT
  234. .sp 1P
  235. .LP
  236.     \fBarray\fR 
  237. .sp 9p
  238. .RT
  239. .LP
  240.     \fIF | \fR \ \fItableau (array)\fR 
  241. .LP
  242.     \fIS | \fR \ \fImatriz\fR 
  243. .PP
  244. \fIArray\fR is the predefined \fIgenerator\fR used to introduce the
  245. concept of arrays, easing the definition of arrays.
  246. .RT
  247. .sp 1P
  248. .LP
  249.     \fBassign\fR 
  250. .sp 9p
  251. .RT
  252. .LP
  253.     \fIF | \fR \ \fIaffectation\fR 
  254. .LP
  255.     \fIS | \fR \ \fIasignar\fR 
  256. .PP
  257. \fIAssign\fR is the operation applied to a \fIvariable\fR which associates 
  258. a \fIvalue\fR to the \fIvariable\fR replacing the previous \fIvalue\fR 
  259. associated with the \fIvariable\fR . [5.5.3] 
  260. .RT
  261. .sp 1P
  262. .LP
  263.     \fBassignment statement\fR 
  264. .sp 9p
  265. .RT
  266. .LP
  267.     \fIF | \fR \ \fIinstruction d'affectation\fR 
  268. .LP
  269.     \fIS | \fR \ \fIsentencia de asignaci\*'on\fR 
  270. .PP
  271. An \fIassignment statement\fR is a \fIstatement\fR which assigns a \fIvalue\fR 
  272. to a \fIvariable\fR . [5.5.3] 
  273. .RT
  274. .sp 1P
  275. .LP
  276.     \fBassociation area\fR 
  277. .sp 9p
  278. .RT
  279. .LP
  280.     \fIF | \fR \ \fIzone d'association\fR 
  281. .LP
  282.     \fIS | \fR \ \fI\*'area de asociaci\*'on\fR 
  283. .PP
  284. An \fIassociation area\fR is a connection between \fIareas\fR in an
  285. \fIinteraction diagram\fR by means of an association \fIsymbol\fR . There 
  286. are five 
  287. asociation areas: \fIchannel substraction association area, input association\fR 
  288. \fIarea\fR , priority \fIinput association area, continuous signal association 
  289. area\fR and \fIsave association area\fR . [2.6.3, 3.2.3, 4.10.2, 
  290. 4.11]
  291. .RT
  292. .sp 1P
  293. .LP
  294.     \fBaxiom\fR 
  295. .sp 9p
  296. .RT
  297. .LP
  298.     \fIF | \fR \ \fIaxiome\fR 
  299. .LP
  300.     \fIS | \fR \ \fIaxioma\fR 
  301. .PP
  302. An \fIaxiom\fR is a special kind of \fIequation\fR with an implied
  303. equivalence to the \fIBoolean literal\fR True. \*Q\fIAxioms\fR \*U is used 
  304. as a synonym for \*Q\fIaxioms\fR and \fIequations\fR .\*U [5.1.3] 
  305. .bp
  306. .RT
  307. .sp 1P
  308. .LP
  309.     \fBbasic SDL\fR 
  310. .sp 9p
  311. .RT
  312. .LP
  313.     \fIF | \fR \ \fILDS de base\fR 
  314. .LP
  315.     \fIS | \fR \ \fILED b\*'asico\fR 
  316. .PP
  317. \fIBasic SDL\fR is the subset of \fISDL\fR defined in \(sc 2 of
  318. Recommendation\ Z.100.
  319. .RT
  320. .sp 1P
  321. .LP
  322.     \fBbehaviour\fR 
  323. .sp 9p
  324. .RT
  325. .LP
  326.     \fIF | \fR \ \fIcomportement\fR 
  327. .LP
  328.     \fIS | \fR \ \fIcomportamiento\fR 
  329. .PP
  330. The \fIbehaviour\fR or \fIfunctional behaviour\fR of a \fIsystem\fR is 
  331. the set of sequences of responses to sequences of stimuli. [1.1.3] 
  332. .RT
  333. .sp 1P
  334. .LP
  335.     \fBblock\fR 
  336. .sp 9p
  337. .RT
  338. .LP
  339.     \fIF | \fR \ \fIbloc\fR 
  340. .LP
  341.     \fIS | \fR \ \fIbloque\fR 
  342. .PP
  343. A \fIblock\fR is part of a \fIsystem\fR or parent \fIblock\fR . When used by
  344. itself, \fIblock\fR is a synonym for a \fIblock instance\fR . A \fIblock\fR 
  345. is a \fIscope\fR 
  346. \fIunit\fR and provides a static interface. [2.4.3]
  347. .RT
  348. .LP
  349. \fR 
  350. .sp 1P
  351. .LP
  352.     \fBblock area\fR 
  353. .sp 9p
  354. .RT
  355. .LP
  356.     \fIF | \fR \ \fIzone de bloc\fR 
  357. .LP
  358.     \fIS | \fR \ \fI\*'area de bloque\fR 
  359. .PP
  360. The \fIblock area\fR is the definition of a \fIblock\fR or a reference 
  361. to a \fIblock\fR in an \fIinteraction diagram\fR . [2.4.2] 
  362. .RT
  363. .sp 1P
  364. .LP
  365. \fR     \fBblock definition\fR 
  366. .sp 9p
  367. .RT
  368. .LP
  369.     \fIF | \fR \ \fId\*'efinition de bloc\fR 
  370. .LP
  371.     \fIS | \fR \ \fIdefinici\*'on de bloque\fR 
  372. .PP
  373. A \fIblock definition\fR is the definition of a \fIblock\fR in \fISDL/PR\fR 
  374. . [2.4.2] 
  375. .RT
  376. .sp 1P
  377. .LP
  378. \fR     \fBblock diagram\fR 
  379. .sp 9p
  380. .RT
  381. .LP
  382.     \fIF | \fR \ \fIdiagramme de bloc\fR 
  383. .LP
  384.     \fIS | \fR \ \fIdiagrama de bloque\fR 
  385. .PP
  386. The \fIblock diagram\fR is the definition of a \fIblock\fR in \fISDL/GR\fR 
  387. . [2.4.3] 
  388. .RT
  389. .sp 1P
  390. .LP
  391. \fR     \fBblock substructure\fR 
  392. .sp 9p
  393. .RT
  394. .LP
  395.     \fIF | \fR \ \fIsous\(hystructure de bloc\fR 
  396. .LP
  397.     \fIS | \fR \ \fIsubestructura de bloque\fR 
  398. .PP
  399. A \fIblock substructure\fR is the \fIpartitioning\fR of the \fIblock\fR 
  400. into \fIsubblocks\fR and new \fIchannels\fR at a lower \fIlevel of abstraction\fR 
  401. . 
  402. [3.2.2]
  403. .RT
  404. .LP
  405. \fR 
  406. .sp 1P
  407. .LP
  408.     \fBblock substructure definition\fR 
  409. .sp 9p
  410. .RT
  411. .LP
  412.     \fIF | \fR \ \fId\*'efinition de sous\(hystructure de bloc\fR 
  413. .LP
  414.     \fIS | \fR \ \fIdefinici\*'on de subestructura de bloque\fR 
  415. .PP
  416. A \fIblock substructure definition\fR is the \fISDL/PR\fR representation 
  417. of a \fIblock substructure\fR for a partitioned block. [3.2.2] 
  418. .bp
  419. .RT
  420. .sp 1P
  421. .LP
  422. \fR 
  423.     \fBblock substructure diagram\fR 
  424. .sp 9p
  425. .RT
  426. .LP
  427.     \fIF | \fR \ \fIdiagramme de sous\(hystructure de bloc\fR 
  428. .LP
  429.     \fIS | \fR \ \fIdiagrama de subestructura de bloque\fR 
  430. .PP
  431. A \fIblock substructure diagram\fR is the \fISLD/GR\fR representation of 
  432. a \fIblock substructure\fR for a \fIpartitioned block\fR . [3.2.2] 
  433. .RT
  434. .sp 1P
  435. .LP
  436. \fR 
  437.     \fBblock tree diagram\fR 
  438. .sp 9p
  439. .RT
  440. .LP
  441.     \fIF | \fR \ \fIdiagramme d'arborescence de bloc\fR 
  442. .LP
  443.     \fIS | \fR \ \fIdiagrama de \*'arbol de bloques\fR 
  444. .PP
  445. A \fIblock tree diagram\fR is an auxiliary document in \fISDL/GR\fR 
  446. representing the \fIpartitioning\fR of a \fIsystem\fR into \fIblocks\fR 
  447. at lower 
  448. \fIlevels of abstraction\fR by means of an inverted tree diagram (\fIi.e.\fR 
  449. , parent 
  450. \fIblock\fR at the top). [3.22]
  451. .RT
  452. .LP
  453. \fR 
  454. .sp 1P
  455. .LP
  456.     \fBBNF (Backus\(hyNaur Form)\fR 
  457. .sp 9p
  458. .RT
  459. .LP
  460.     \fIF | \fR \ \fIforme BNF (Backus\(hyNaur Form)\fR 
  461. .LP
  462.     \fIS | \fR \ \fIFBN (forma Backus\(hyNaur)\fR 
  463. .PP
  464. \fIBNF\fR (Backus\(hyNaur Form) is a formal notation used for expressing 
  465. the \fIconcrete textual syntax\fR of a language. An extended form of \fIBNF\fR 
  466. is used for expressing the \fIconcrete graphical grammar\fR . [1.5.2, 1.5.3] 
  467. .RT
  468. .sp 1P
  469. .LP
  470. \fR 
  471.     \fBBoolean\fR 
  472. .sp 9p
  473. .RT
  474. .LP
  475.     \fIF | \fR \ \fIbool\*'een\fR 
  476. .LP
  477.     \fIS | \fR \ \fIbooleano\fR 
  478. .PP
  479. \fIBoolean\fR is a \fIsort\fR defined in a predefined \fIpartial type\fR 
  480. \fIdefinition\fR and has the \fIvalues\fR True and False. For the \fIsort 
  481. Boolean\fR 
  482. the predefined \fIoperators\fR are NOT, AND, OR, XOR and implication. [5.6.1]
  483. .RT
  484. .sp 1P
  485. .LP
  486.     \fBchannel\fR 
  487. .sp 9p
  488. .RT
  489. .LP
  490.     \fIF | \fR \ \fIcanal\fR 
  491. .LP
  492.     \fIS | \fR \ \fIcanal\fR 
  493. .PP
  494. A \fIchannel\fR is the connection conveying \fIsignals\fR between two
  495. \fIblocks\fR . \fIChannels\fR also convey \fIsignals\fR between a \fIblock\fR 
  496. and the 
  497. \fIenvironment\fR . \fIChannels\fR may be unidirectional or bidirectional.
  498. [2.5.1]
  499. .RT
  500. .sp 1P
  501. .LP
  502.     \fBchannel definition\fR 
  503. .sp 9p
  504. .RT
  505. .LP
  506.     \fIF | \fR \ \fId\*'efinition\fR 
  507. .LP
  508.     \fIS | \fR \ \fIdefinici\*'on de canal\fR 
  509. .PP
  510. A \fIchannel definition\fR is the definition of a \fIchannel\fR in
  511. \fISDL/PR\fR . [2.5.1]
  512. .RT
  513. .sp 1P
  514. .LP
  515.     \fBchannel definition area\fR 
  516. .sp 9p
  517. .RT
  518. .LP
  519.     \fIF | \fR \ \fIzone de d\*'efinition de canal\fR 
  520. .LP
  521.     \fIS | \fR \ \fI\*'area de definici\*'on de canal\fR 
  522. .PP
  523. The \fIchannel definition area\fR is the definition of a
  524. \fIchannel\fR in \fISDL/GR\fR . [2.5.1]
  525. .RT
  526. .sp 1P
  527. .LP
  528.     \fBchannel substructure\fR 
  529. .sp 9p
  530. .RT
  531. .LP
  532.     \fIF | \fR \ \fIsous\(hystructure de canal\fR 
  533. .LP
  534.     \fIS | \fR \ \fIsubestructura de canal\fR 
  535. .PP
  536. A \fIchannel substructure\fR is a \fIpartitioning\fR of a \fIchannel\fR 
  537. into a set of \fIchannels\fR and \fIblocks\fR at a \fIlower level of abstraction\fR 
  538. . 
  539. [3.2.3]
  540. .bp
  541. .RT
  542. .sp 1P
  543. .LP
  544.     \fBchannel substructure definition\fR 
  545. .sp 9p
  546. .RT
  547. .LP
  548.     \fIF | \fR \ \fId\*'efinition de sous\(hystructure de canal\fR 
  549. .LP
  550.     \fIS | \fR \ \fIdefinici\*'on de subestructura de canal\fR 
  551. .PP
  552. A \fIchannel substructure definition\fR is the definition of the
  553. \fIchannel substructure\fR in \fISDL/PR\fR . [3.2.3]
  554. .RT
  555. .sp 1P
  556. .LP
  557. \fR     \fBchannel substructure diagram\fR 
  558. .sp 9p
  559. .RT
  560. .LP
  561.     \fIF | \fR \ \fIdiagramme de sous\(hystructure de canal\fR 
  562. .LP
  563.     \fIS | \fR \ \fIdiagrama de subestructura de canal\fR 
  564. .PP
  565. A \fIchannel substructure diagram\fR is the definition of the channel substructure 
  566. in \fISDL/GR\fR . [3.2.3] 
  567. .RT
  568. .sp 1P
  569. .LP
  570. \fR     \fBcharacter\fR 
  571. .sp 9p
  572. .RT
  573. .LP
  574.     \fIF | \fR \ \fIcaract\*`ere (character)\fR 
  575. .LP
  576.     \fIS | \fR \ \fIcar\*'acter; character\fR 
  577. .PP
  578. \fICharacter\fR is a \fIsort\fR defined in a predefined \fIpartial type\fR 
  579. \fIdefinition\fR for which the \fIvalues\fR are the elements of the CCITT\ 
  580. No.\ 5 
  581. alphabet, (e.g.,\ 1, A, B, C,\ etc.). For the \fIsort character\fR the 
  582. \fIordering\fR 
  583. \fIoperators\fR are predefined. [5.6.2]
  584. .RT
  585. .LP
  586. \fR 
  587. .sp 1P
  588. .LP
  589.     \fBchartstring\fR 
  590. .sp 9p
  591. .RT
  592. .LP
  593.     \fIF | \fR \ \fIcha\* | ne de caract\*`eres (character string)\fR 
  594. .LP
  595.     \fIS | \fR \ \fIcadena\(hyde\(hycaracteres; chartstring\fR 
  596. .PP
  597. \fIChartstring\fR is a \fIsort\fR defined in a predefined \fIpartial type\fR 
  598. \fIdefinition\fR for which the \fIvalues\fR are \fIstrings\fR of \fIcharacters\fR 
  599. and the\fR 
  600. \fIoperators\fR are those of the \fIstring\fR predefined \fIgenerator\fR 
  601. instantiated for \fIcharacters\fR . [5.6.4] 
  602. .RT
  603. .sp 1P
  604. .LP
  605. \fR     \fBcomment\fR 
  606. .sp 9p
  607. .RT
  608. .LP
  609.     \fIF | \fR \ \fIcommentaire\fR 
  610. .LP
  611.     \fIS | \fR \ \fIcomentario\fR 
  612. .PP
  613. A \fIcomment\fR is information which is in addition to or clarifies
  614. the \fISDL specification\fR . In \fISDL/GR comments\fR may be attached 
  615. by a dashed line to any \fIsymbol\fR . In \fISDL/PR comments\fR are introduced 
  616. by the keyword \fICOMMENT\fR . \fIComments\fR have no \fISDL\fR defined 
  617. meaning. See also \fINote\fR . 
  618. [2.2.6]
  619. .RT
  620. .sp 1P
  621. .LP
  622. \fR     \fBcommon textual grammar\fR 
  623. .sp 9p
  624. .RT
  625. .LP
  626.     \fIF | \fR \ \fIgrammaire textuelle commune\fR 
  627. .LP
  628.     \fIS | \fR \ \fIgram\*'atica textual com\*'un\fR 
  629. .PP
  630. The \fIcommon textual grammar\fR is the subset of the \fIconcrete\fR 
  631. \fItextual grammar\fR which applies to both \fISDL/GR\fR and \fISDL/PR\fR .
  632. [1.2]
  633. .RT
  634. .LP
  635. \fR 
  636. .sp 1P
  637. .LP
  638.     \fBcommunication path\fR 
  639. .sp 9p
  640. .RT
  641. .LP
  642.     \fIF | \fR \ \fItrajet de communication\fR 
  643. .LP
  644.     \fIS | \fR \ \fItrayecto de comunicaci\*'on\fR 
  645. .PP
  646. A \fIcommunication path\fR is a transportation means that carriers
  647. \fIsignal instances\fR from one \fIprocess instance\fR or from the \fIenvironment\fR 
  648. to 
  649. another \fIprocess instance\fR or to the \fIenvironment\fR . A \fIcommunication 
  650. path\fR 
  651. comprises either \fIchannel\fR path(s) or \fIsignal route\fR path(s) or 
  652. a combination of both. [2.7.4] 
  653. .RT
  654. .sp 1P
  655. .LP
  656. \fR     \fBcomplete valid input signal set\fR 
  657. .sp 9p
  658. .RT
  659. .LP
  660.     \fIF | \fR \ \fIensemble complet de signaux d'entr\*'ee valides\fR 
  661. .LP
  662.     \fIS | \fR \ \fIconjunto completo de se\o"n~"ales de entrada v\*'alidas\fR 
  663. .PP
  664. The \fIcomplete valid input signal set\fR of a \fIprocess\fR is the union 
  665. of the \fIvalid input signal\fR set, the local \fIsignals, timer signals\fR 
  666. and the 
  667. \fIimplicit signals\fR of the \fIprocess\fR . [2.4.4]
  668. .bp
  669. .RT
  670. .sp 1P
  671. .LP
  672. \fR 
  673.     \fBconcrete grammar\fR 
  674. .sp 9p
  675. .RT
  676. .LP
  677.     \fIF | \fR \ \fIgrammaire concr\*`ete\fR 
  678. .LP
  679.     \fIS | \fR \ \fIgram\*'atica concreta\fR 
  680. .PP
  681. A \fIconcrete grammar\fR is the \fIconcrete syntax\fR along with the
  682. \fIwell\(hyformedness rules\fR for that \fIconcrete syntax\fR . \fISDL/GR\fR 
  683. and \fISDL/PR\fR are the \fIconcrete grammars\fR of \fISDL\fR . The \fIconcrete 
  684. grammars\fR are mapped to the 
  685. \fIabstract grammar\fR to determine their \fIsemantics\fR . [1.2]
  686. .RT
  687. .LP
  688. \fR 
  689. .sp 1P
  690. .LP
  691.     \fBconcrete graphical grammar\fR 
  692. .sp 9p
  693. .RT
  694. .LP
  695.     \fIF | \fR \ \fIgrammaire graphic concr\*'ete\fR 
  696. .LP
  697.     \fIS | \fR \ \fIgram\*'atica gr\*'afica concreta\fR 
  698. .PP
  699. The \fIconcrete graphical grammar\fR is the \fIconcrete grammar\fR for
  700. the graphical part of SDL/GR.
  701. .RT
  702. .sp 1P
  703. .LP
  704.     \fBconcrete graphical syntax\fR 
  705. .sp 9p
  706. .RT
  707. .LP
  708.     \fIF | \fR \ \fIsyntaxe graphique concr\*`ete\fR 
  709. .LP
  710.     \fIS | \fR \ \fIsintaxis gr\*'afica concreta\fR 
  711. .PP
  712. The \fIconcrete graphical syntax\fR is the \fIconcrete syntax\fR for the 
  713. graphical part of \fISDL/GR\fR . The \fIconcrete graphical syntax\fR is 
  714. expressed in 
  715. Z.100 using an extended form of \fIBNF\fR . [1.2, 1.5.3]
  716. .RT
  717. .sp 1P
  718. .LP
  719. \fR     \fBconcrete syntax\fR 
  720. .sp 9p
  721. .RT
  722. .LP
  723.     \fIF | \fR \ \fIsyntaxe concr\*`ete\fR 
  724. .LP
  725.     \fIS | \fR \ \fIsintaxis concreta\fR 
  726. .PP
  727. The \fIconcrete syntax\fR for the various representations of \fISDL\fR 
  728. is the actual \fIsymbols\fR used to represent \fISDL\fR and the interrelationship 
  729. between \fIsymbols\fR required by the syntactic rules of \fISDL\fR . The 
  730. two \fIconcrete syntaxes\fR used in Z.100 are the \fIconcrete graphical 
  731. syntax\fR and the \fIconcrete textual\fR \fIsyntax\fR . [1.2] 
  732. .RT
  733. .LP
  734. \fR 
  735. .sp 1P
  736. .LP
  737.     \fBconcrete textual syntax\fR 
  738. .sp 9p
  739. .RT
  740. .LP
  741.     \fIF | \fR \ \fIsyntaxe textuelle concr\*`ete\fR 
  742. .LP
  743.     \fIS | \fR \ \fIsintaxis textual concreta\fR 
  744. .PP
  745. The \fIconcrete textual syntax\fR is the \fIconcrete syntax\fR for
  746. \fISDL/PR\fR and the textual parts of \fISDL/GR\fR . The \fIconcrete textual 
  747. syntax\fR is 
  748. expressed in Z.100 using \fIBNF\fR . [1.2, 1.5.2]
  749. .RT
  750. .sp 1P
  751. .LP
  752. \fR     \fBconditional expression\fR 
  753. .sp 9p
  754. .RT
  755. .LP
  756.     \fIF | \fR \ \fIexpression conditionnelle\fR 
  757. .LP
  758.     \fIS | \fR \ \fIexpresi\*'on condicional\fR 
  759. .PP
  760. A \fIconditional expression\fR is an \fIexpression\fR containing a
  761. \fIBoolean expression\fR which controls whether the consequence \fIexpression\fR 
  762. or the alternative \fIexpression\fR is interpreted. [5.5.2.3] 
  763. .RT
  764. .sp 1P
  765. .LP
  766. \fR     \fBconnect\fR 
  767. .sp 9p
  768. .RT
  769. .LP
  770.     \fIF | \fR \ \fIconnect\fR 
  771. .LP
  772.     \fIS | \fR \ \fIconectar\fR 
  773. .PP
  774. \fIConnect\fR indicates the connection of a \fIchannel\fR to one or more 
  775. \fIsignal routes\fR . [2.5.3] 
  776. .RT
  777. .LP
  778. \fR 
  779. .sp 1P
  780. .LP
  781.     \fBconnector\fR 
  782. .sp 9p
  783. .RT
  784. .LP
  785.     \fIF | \fR \ \fIconnecteur\fR 
  786. .LP
  787.     \fIS | \fR \ \fIconector\fR 
  788. .PP
  789. A \fIconnector\fR is an \fISDL/GR symbol\fR which is either an
  790. \fIin\(hyconnector\fR or an \fIout\(hyconnector\fR . A \fIflow line\fR 
  791. is implied from 
  792. \fIout\(hyconnectors\fR to the associated \fIin\(hyconnector\fR in the 
  793. same \fIprocess\fR or 
  794. \fIprocedure\fR identified by having the same \fIname\fR . [2.6.6]
  795. .bp
  796. .RT
  797. .sp 1P
  798. .LP
  799. \fR     \fBconsistent partitioning subset\fR 
  800. .sp 9p
  801. .RT
  802. .LP
  803.     \fIF | \fR \ \fIsous\(hyensemble de subdivision coh\*'erent\fR 
  804. .LP
  805.     \fIS | \fR \ \fIsubconjunto de partici\*'on consistente\fR 
  806. .PP
  807. A \fIconsistent partitioning subset\fR is a set of the \fIblocks\fR and
  808. \fIsubblocks\fR in a \fIsystem specification\fR which provides a complete 
  809. view of the \fIsystem\fR with related parts at a corresponding \fIlevel 
  810. of abstraction\fR . Thus, 
  811. when a \fIblock\fR or \fIsubblock\fR is contained in a \fIconsistent partitioning\fR 
  812. \fIsubset\fR , its ancestors and siblings are too. [3.2.1]
  813. .RT
  814. .sp 1P
  815. .LP
  816.     \fBconsistent refinement subset\fR 
  817. .sp 9p
  818. .RT
  819. .LP
  820.     \fIF | \fR \ \fIsous\(hyensemble de raffinement coh\*'erent\fR 
  821. .LP
  822.     \fIS | \fR \ \fIsubconjunto de refinamiento consistente\fR 
  823. .PP
  824. The \fIconsistent refinement subset\fR is a \fIconsistent partitioning\fR 
  825. \fIsubset\fR which contains all \fIblocks\fR and \fIsubblocks\fR which 
  826. use the \fIsignals\fR used by any of the \fIblocks\fR or \fIsubblocks\fR 
  827. . [3.3] 
  828. .RT
  829. .sp 1P
  830. .LP
  831. \fR     \fBcontinuous signal\fR 
  832. .sp 9p
  833. .RT
  834. .LP
  835.     \fIF | \fR \ \fIsignal continu\fR 
  836. .LP
  837.     \fIS | \fR \ \fIse\o"n~"al continua\fR 
  838. .PP
  839. A \fIcontinuous signal\fR is a means to define that when in a \fIstate\fR 
  840. the associated \fIBoolean\fR condition becomes True, the \fItransition\fR 
  841. following the \fIcontinuous signal\fR is interpreted. [4.11] 
  842. .RT
  843. .sp 1P
  844. .LP
  845. \fR     \fBcontrol flow diagram\fR 
  846. .sp 9p
  847. .RT
  848. .LP
  849.     \fIF | \fR \ \fIdiagramme de liaison de contr\* | le\fR 
  850. .LP
  851.     \fIS | \fR \ \fIdiagrama de flujo de control\fR 
  852. .PP
  853. A \fIcontrol flow diagram\fR is either a \fIprocess diagram\fR , a
  854. \fIprocedure diagram\fR , or a \fIservice diagram\fR .
  855. .RT
  856. .sp 1P
  857. .LP
  858.     \fBcreate\fR 
  859. .sp 9p
  860. .RT
  861. .LP
  862.     \fIF | \fR \ \fIcr\*'eer\fR 
  863. .LP
  864.     \fIS | \fR \ \fIcrear\fR 
  865. .PP
  866. \fICreate\fR is a synonym for \fIcreate request\fR .
  867. .RT
  868. .sp 1P
  869. .LP
  870.     \fBcreate request\fR 
  871. .sp 9p
  872. .RT
  873. .LP
  874.     \fIF | \fR \ \fIdemande de cr\*'eation\fR 
  875. .LP
  876.     \fIS | \fR \ \fIpetici\*'on de crear\fR 
  877. .PP
  878. A \fIcreate request\fR is the \fIaction\fR causing the creation and
  879. starting of a new \fIprocess instance\fR using a specified \fIprocess type\fR 
  880. as a 
  881. template. The \fIactual parameters\fR in the \fIcreate request\fR replace 
  882. the \fIformal\fR \fIparameters\fR in the \fIprocess\fR [2.7.2] 
  883. .RT
  884. .sp 1P
  885. .LP
  886. \fR     \fBcreate line area\fR 
  887. .sp 9p
  888. .RT
  889. .LP
  890.     \fIF | \fR \ \fIzone de ligne de cr\*'eation\fR 
  891. .LP
  892.     \fIS | \fR \ \fI\*'area de l\*'inea de crear\fR 
  893. .PP
  894. The \fIcreate line area\fR in a \fIblock diagram\fR connects the \fIprocess\fR 
  895. \fIarea\fR of the \fIcreating (PARENT) process\fR with the \fIprocess area\fR 
  896. of the 
  897. \fIcreated (OFFSPRING) process\fR [2.4.3]
  898. .RT
  899. .LP
  900. \fR 
  901. .sp 1P
  902. .LP
  903.     \fBdata type\fR 
  904. .sp 9p
  905. .RT
  906. .LP
  907.     \fIF | \fR \ \fItype de donn\*'ees\fR 
  908. .LP
  909.     \fIS | \fR \ \fItipo de datos\fR 
  910. .PP
  911. A \fIdata type\fR is the definition of sets of \fIvalues (sorts)\fR , a 
  912. set of \fIoperators\fR which are applied to these \fIvalues\fR and a set 
  913. of algebraic rules (\fIequations\fR ) defining the \fIbehaviour\fR when 
  914. the \fIoperators\fR are applied to the \fIvalues\fR . [2.3.1] 
  915. .bp
  916. .RT
  917. .sp 1P
  918. .LP
  919. \fR     \fBdata type definition\fR 
  920. .sp 9p
  921. .RT
  922. .LP
  923.     \fIF | \fR \ \fId\*'efinition de type de donn\*'ees\fR 
  924. .LP
  925.     \fIS | \fR \ \fIdefinici\*'on de tipo de datos\fR 
  926. .PP
  927. A \fIdata type definition\fR defines the validity of \fIexpressions\fR 
  928. and relationship between \fIexpressions\fR at any given point in an \fISDL\fR 
  929. \fIspecification\fR . [5.2.1]
  930. .RT
  931. .sp 1P
  932. .LP
  933.     \fBdecision\fR 
  934. .sp 9p
  935. .RT
  936. .LP
  937.     \fIF | \fR \ \fId\*'ecicion\fR 
  938. .LP
  939.     \fIS | \fR \ \fIdecisi\*'on\fR 
  940. .PP
  941. A \fIdecision\fR is an \fIaction\fR within a \fItransition\fR which asks a
  942. question to which the answer can be obtained at that instant and accordingly
  943. chooses one of the several outgoing \fItransitions\fR from the \fIdecision\fR 
  944. to 
  945. continue interpretation. [2.7.5]
  946. .RT
  947. .sp 1P
  948. .LP
  949.     \fBdecision area\fR 
  950. .sp 9p
  951. .RT
  952. .LP
  953.     \fIF | \fR \ \fIzone de d\*'ecision\fR 
  954. .LP
  955.     \fIS | \fR \ \fI\*'area de decisi\*'on\fR 
  956. .PP
  957. A \fIdecision area\fR is the \fISDL/GR\fR representation of a \fIdecision\fR 
  958. . [2.7.5] 
  959. .RT
  960. .sp 1P
  961. .LP
  962.     \fBdefault\fR 
  963. .sp 9p
  964. .RT
  965. .LP
  966.     \fIF | \fR \ \fId\*'efault\fR 
  967. .LP
  968.     \fIS | \fR \ \fIpor defecto\fR 
  969. .PP
  970. The \fIdefault assignment\fR is a denotation of a \fIvalue\fR that is
  971. initially associated to each \fIvariable\fR of the \fIsort\fR of the \fIdefault\fR 
  972. clause. The \fIdefault\fR clause may appear in \fIdata type definitions\fR 
  973. . 
  974. [5.5.3.3]
  975. .RT
  976. .sp 1P
  977. .LP
  978. \fR     \fBdescription\fR 
  979. .sp 9p
  980. .RT
  981. .LP
  982.     \fIF | \fR \ \fIdescription\fR 
  983. .LP
  984.     \fIS | \fR \ \fIdescripci\*'on\fR 
  985. .PP
  986. A \fIdescription\fR of a \fIsystem\fR is the description of its actual
  987. \fIbehaviour\fR . [1.1]
  988. .RT
  989. .sp 1P
  990. .LP
  991.     \fBdiagram\fR 
  992. .sp 9p
  993. .RT
  994. .LP
  995.     \fIF | \fR \ \fIdiagramme\fR 
  996. .LP
  997.     \fIS | \fR \ \fIdiagrama\fR 
  998. .PP
  999. A \fIdiagram\fR is the \fISDL/GR\fR representation for a part of a
  1000. \fIspecification\fR . [2.4.2]
  1001. .RT
  1002. .sp 1P
  1003. .LP
  1004.     \fBduration\fR 
  1005. .sp 9p
  1006. .RT
  1007. .LP
  1008.     \fIF | \fR \ \fIdur\*'ee (duration)\fR 
  1009. .LP
  1010.     \fIS | \fR \ \fIduraci\*'on; duration\fR 
  1011. .PP
  1012. \fIDuration\fR is a \fIsort\fR defined in a predefined \fIpartial type\fR 
  1013. \fIdefinition\fR for which the \fIvalues\fR are denoted as \fIreals\fR 
  1014. and represent the 
  1015. interval between two time instants. [5.6.11]
  1016. .RT
  1017. .sp 1P
  1018. .LP
  1019.     \fBenabling condition\fR 
  1020. .sp 9p
  1021. .RT
  1022. .LP
  1023.     \fIF | \fR \ \fIcondition de validation\fR 
  1024. .LP
  1025.     \fIS | \fR \ \fIcondici\*'on habilitante (o habilitadora)\fR 
  1026. .PP
  1027. An \fIenabling condition\fR is a means for conditionally accepting a \fIsignal\fR 
  1028. for \fIinput\fR . [4.12] 
  1029. .bp
  1030. .RT
  1031. .LP
  1032. \fR 
  1033. .sp 1P
  1034. .LP
  1035.     \fBenabling condition area\fR 
  1036. .sp 9p
  1037. .RT
  1038. .LP
  1039.     \fIF | \fR \ \fIzone de condition de validation\fR 
  1040. .LP
  1041.     \fIS | \fR \ \fI\*'area de condici\*'on habilitante (o habilitadora)\fR 
  1042. .PP
  1043. The \fIenabling condition area\fR is the \fISDL/GR\fR representation of 
  1044. an \fIenabling condition\fR . [4.12] 
  1045. .RT
  1046. .sp 1P
  1047. .LP
  1048.     \fBentity class\fR 
  1049. .sp 9p
  1050. .RT
  1051. .LP
  1052.     \fIF | \fR \ \fIclasse d'entit\*'e\fR 
  1053. .LP
  1054.     \fIS | \fR \ \fIclase de entidad\fR 
  1055. .PP
  1056. An \fIentity class\fR is a categorization of \fISDL types\fR based on
  1057. similarity of use. [2.2.2]
  1058. .RT
  1059. .sp 1P
  1060. .LP
  1061. \fR     \fBenvironment\fR 
  1062. .sp 9p
  1063. .RT
  1064. .LP
  1065.     \fIF | \fR \ \fIenvironnement\fR 
  1066. .LP
  1067.     \fIS | \fR \ \fIentorno\fR 
  1068. .PP
  1069. The term \fIenvironment\fR is a synonym for the \fIenvironment of a\fR 
  1070. \fIsystem\fR . Also when context allows, it may be a synonym for the \fIenvironment\fR 
  1071. of a \fIblock, process, procedure\fR or a \fIservice\fR . [1.3.2] 
  1072. .RT
  1073. .sp 1P
  1074. .LP
  1075.     \fBenvironment of a system\fR 
  1076. .sp 9p
  1077. .RT
  1078. .LP
  1079.     \fIF | \fR \ \fIenvironnement d'un syst\*`eme\fR 
  1080. .LP
  1081.     \fIS | \fR \ \fIentorno de un sistema\fR 
  1082. .PP
  1083. The \fIenvironment of a system\fR is the external world of the
  1084. \fIsystem\fR being specified. The environment interacts with the \fIsystem\fR 
  1085. by 
  1086. sending/receiving \fIsignal instances\fR to/from the \fIsystem\fR . [1.3.2]
  1087. .RT
  1088. .sp 1P
  1089. .LP
  1090.     \fBequation\fR 
  1091. .sp 9p
  1092. .RT
  1093. .LP
  1094.     \fIF | \fR \ \fI\*'equation\fR 
  1095. .LP
  1096.     \fIS | \fR \ \fIecuaci\*'on\fR 
  1097. .PP
  1098. An \fIequation\fR is a relation between \fIterms\fR of the same \fIsort\fR 
  1099. which holds for all possible \fIvalues\fR substituted for each \fIvalue 
  1100. identifier\fR in the \fIequation\fR . An \fIequation\fR may be an \fIaxiom\fR 
  1101. . [5.1.3, 5.2.3] 
  1102. .RT
  1103. .sp 1P
  1104. .LP
  1105.     \fBerror\fR 
  1106. .sp 9p
  1107. .RT
  1108. .LP
  1109.     \fIF | \fR \ \fIerreur\fR 
  1110. .LP
  1111.     \fIS | \fR \ \fIerror\fR 
  1112. .PP
  1113. An \fIerror\fR occurs during the interpretation of a \fIvalid\fR 
  1114. \fIspecification\fR of a \fIsystem\fR when one of the dynamic conditions 
  1115. \fISDL\fR is 
  1116. violated. Once an \fIerror\fR has occurred, the subsequent \fIbehaviour\fR 
  1117. of the 
  1118. \fIsystem\fR is not defined by \fISDL\fR . [1.3.3]
  1119. .RT
  1120. .sp 1P
  1121. .LP
  1122.     \fBexport\fR 
  1123. .sp 9p
  1124. .RT
  1125. .LP
  1126.     \fIF | \fR \ \fIexport\fR 
  1127. .LP
  1128.     \fIS | \fR \ \fIexportaci\*'on\fR 
  1129. .PP
  1130. The term \fIexport\fR is a synonym for \fIexport operation\fR .
  1131. .RT
  1132. .sp 1P
  1133. .LP
  1134.     \fBexported variable\fR 
  1135. .sp 9p
  1136. .RT
  1137. .LP
  1138.     \fIF | \fR \ \fIvariable export\*'ee\fR 
  1139. .LP
  1140.     \fIS | \fR \ \fIvariable exportada\fR 
  1141. .PP
  1142. An \fIexported variable\fR is a \fIvariable\fR which can be used in an
  1143. \fIexport operation\fR . [4.13]
  1144. .RT
  1145. .sp 1P
  1146. .LP
  1147.     \fBexporter\fR 
  1148. .sp 9p
  1149. .RT
  1150. .LP
  1151.     \fIF | \fR \ \fIexportateur\fR 
  1152. .LP
  1153.     \fIS | \fR \ \fIexportador\fR 
  1154. .PP
  1155. An \fIexporter\fR of a \fIvariable\fR in the \fIprocess instance\fR which 
  1156. owns the \fIvariable\fR and \fIexports\fR its \fIvalues\fR . [4.13] 
  1157. .bp
  1158. .RT
  1159. .sp 1P
  1160. .LP
  1161. \fR 
  1162.     \fBexport operation\fR 
  1163. .sp 9p
  1164. .RT
  1165. .LP
  1166.     \fIF | \fR \ \fIop\*'eration d'exportation\fR 
  1167. .LP
  1168.     \fIS | \fR \ \fIoperaci\*'on de exportaci\*'on\fR 
  1169. .PP
  1170. An \fIexport operation\fR is the operation by which the \fIexporter\fR 
  1171. discloses the \fIvalue\fR of a \fIvariable\fR . See \fIimport operation\fR 
  1172. . [4.13] 
  1173. .RT
  1174. .sp 1P
  1175. .LP
  1176.     \fBexpression\fR 
  1177. .sp 9p
  1178. .RT
  1179. .LP
  1180.     \fIF | \fR \ \fIexpression\fR 
  1181. .LP
  1182.     \fIS | \fR \ \fIexpresi\*'on\fR 
  1183. .PP
  1184. An \fIexpression\fR is either a \fIliteral\fR , an \fIoperator\fR application, 
  1185. a \fIsynonym\fR , a \fIvariable access\fR , a \fIconditional expression\fR 
  1186. , or an 
  1187. \fIimperartive operator\fR applied to one or more \fIexpressions\fR . When an
  1188. \fIexpression\fR is interpreted a \fIvalue\fR is obtained (or the \fIsystem\fR 
  1189. is in 
  1190. \fIerror\fR ). [2.3.4, 5.4.2.1]
  1191. .RT
  1192. .sp 1P
  1193. .LP
  1194.     \fBexternal synonym\fR 
  1195. .sp 9p
  1196. .RT
  1197. .LP
  1198.     \fIF | \fR \ \fIsynonyme externe\fR 
  1199. .LP
  1200.     \fIS | \fR \ \fIsin\*'onimo externo\fR 
  1201. .PP
  1202. An \fIexternal synonym\fR of a predefined \fIsort\fR whose \fIvalue\fR 
  1203. is not specified in the \fIsystem specification\fR . [4.3.1] 
  1204. .RT
  1205. .sp 1P
  1206. .LP
  1207.     \fBextract!\fR 
  1208. .sp 9p
  1209. .RT
  1210. .LP
  1211.     \fIF | \fR \ \fIextract!\fR 
  1212. .LP
  1213.     \fIS | \fR \ \fIextraer!; extract!\fR 
  1214. .PP
  1215. \fIExtract\fR is an \fIoperator\fR which is implied in an \fIexpression\fR 
  1216. when a \fIvariable\fR is immediately followed by bracketed \fIexpression(s)\fR 
  1217. . 
  1218. [5.4.2.4, 5.6.8]
  1219. .RT
  1220. .sp 1P
  1221. .LP
  1222.     \fBflow line\fR 
  1223. .sp 9p
  1224. .RT
  1225. .LP
  1226.     \fIF | \fR \ \fIligne de liaison\fR 
  1227. .LP
  1228.     \fIS | \fR \ \fIl\*'inea de flujo\fR 
  1229. .PP
  1230. A \fIflow line\fR is a \fIsymbol\fR used to connect \fIareas\fR in a \fIcontrol\fR 
  1231. \fIflow diagram\fR . [2.2.4, 2.6.7.2.2] 
  1232. .RT
  1233. .sp 1P
  1234. .LP
  1235.     \fBformal parameter\fR 
  1236. .sp 9p
  1237. .RT
  1238. .LP
  1239.     \fIF | \fR \ \fIparam\*`etre formel\fR 
  1240. .LP
  1241.     \fIS | \fR \ \fIpar\*'ametro formal\fR 
  1242. .PP
  1243. A \fIformal parameter\fR is a \fIvariable name\fR to which \fIactual values\fR 
  1244. are assigned or which are replaced by \fIactual variables\fR . 
  1245. [2.4.4, 2.4.5, 4.2, 4.10]
  1246. .RT
  1247. .sp 1P
  1248. .LP
  1249.     \fBformal parameter list\fR 
  1250. .sp 9p
  1251. .RT
  1252. .LP
  1253.     \fIF | \fR \ \fIliste de param\*`etres formels\fR 
  1254. .LP
  1255.     \fIS | \fR \ \fIlista de par\*'ametros formales\fR 
  1256. .PP
  1257. A \fIformal parameter list\fR is list of a \fIformal
  1258. parameters\fR .
  1259. .bp
  1260. .RT
  1261. .sp 1P
  1262. .LP
  1263. \fR \fR     \fBfunctional behaviour\fR 
  1264. .sp 9p
  1265. .RT
  1266. .LP
  1267.     \fIF | \fR \ \fIcomportement fonctionnel\fR 
  1268. .LP
  1269.     \fIS | \fR \ \fIcomportamiento funcional\fR 
  1270. .PP
  1271. \fIFunctional behaviour\fR is a synonym for \fIbehaviour\fR .
  1272. .RT
  1273. .sp 1P
  1274. .LP
  1275.     \fBgeneral option area\fR 
  1276. .sp 9p
  1277. .RT
  1278. .LP
  1279.     \fIF:\ zone d'option g\*'en\*'erale\fR 
  1280. .LP
  1281.     \fIS:\ \*'area de opci\*'on general\fR 
  1282. .PP
  1283. The \fIgeneral option area\fR is the \fISDL/GR\fR representation of an
  1284. \fIoption\fR . [4.3.3]
  1285. .RT
  1286. .sp 1P
  1287. .LP
  1288.     \fBgeneral parameters\fR 
  1289. .sp 9p
  1290. .RT
  1291. .LP
  1292.     \fIF | \fR \ \fIparam\*`etres g\*'en\*'eraux\fR 
  1293. .LP
  1294.     \fIS | \fR \ \fIpar\*'ametros generales\fR 
  1295. .PP
  1296. The \fIgeneral parameters\fR in both a \fIspecification\fR and a
  1297. \fIdescription\fR of a \fIsystem\fR relate to such matters as temperature 
  1298. limits, 
  1299. construction, exchange capacity, grade of service,\ etc., and are not defined 
  1300. in \fISDL\fR . [1.1] 
  1301. .RT
  1302. .sp 1P
  1303. .LP
  1304.     \fBgenerator\fR 
  1305. .sp 9p
  1306. .RT
  1307. .LP
  1308.     \fIF | \fR \ \fIg\*'en\*'erateur\fR 
  1309. .LP
  1310.     \fIS | \fR \ \fIgenerador\fR 
  1311. .PP
  1312. A \fIgenerator\fR is an incomplete \fInewtype\fR description. Before it
  1313. assumes the status of a \fInewtype\fR , a \fIgenerator\fR must be instantiated 
  1314. by 
  1315. providing the missing information. [5.4.1.1.2]
  1316. .RT
  1317. .sp 1P
  1318. .LP
  1319.     \fBgraph\fR 
  1320. .sp 9p
  1321. .RT
  1322. .LP
  1323.     \fIF | \fR \ \fIgraphe\fR 
  1324. .LP
  1325.     \fIS | \fR \ \fIgr\*'afico\fR 
  1326. .PP
  1327. A \fIgraph\fR in the \fIabstract syntax\fR is a part of an \fISDL\fR 
  1328. \fIspecification\fR such as \fIprocedure graph\fR or a \fIprocess graph\fR .
  1329. .RT
  1330. .sp 1P
  1331. .LP
  1332.     \fBground expression\fR 
  1333. .sp 9p
  1334. .RT
  1335. .LP
  1336.     \fIF | \fR \ \fIexpression close\fR 
  1337. .LP
  1338.     \fIS | \fR \ \fIexpresi\*'on fundamental\fR 
  1339. .PP
  1340. A \fIground expression\fR is an \fIexpression\fR containing only
  1341. \fIoperators\fR , \fIsynonyms\fR and \fIliterals\fR . [5.4.2.2]
  1342. .RT
  1343. .sp 1P
  1344. .LP
  1345.     \fBhierarchical structure\fR 
  1346. .sp 9p
  1347. .RT
  1348. .LP
  1349.     \fIF | \fR \ \fIstructure hi\*'erarchique\fR 
  1350. .LP
  1351.     \fIS | \fR \ \fIestructure jer\*`arquica\fR 
  1352. .PP
  1353. A \fIhierarchical structure\fR is a structure of a \fIsystem\fR 
  1354. \fIspecification\fR where \fIpartitioning\fR and \fIrefinement\fR allow 
  1355. different views of the \fIsystem\fR at different \fIlevels of abstraction.\fR 
  1356. \fIHierarchical structures\fR allow the management of complex \fIsystem 
  1357. specifications\fR . See also \fIblock tree\fR \fIdiagram\fR . [3.1] 
  1358. .RT
  1359. .sp 1P
  1360. .LP
  1361.     \fBidentifier\fR 
  1362. .sp 9p
  1363. .RT
  1364. .LP
  1365.     \fIF | \fR \ \fIidentificateur\fR 
  1366. .LP
  1367.     \fIS | \fR \ \fIidentificador\fR 
  1368. .PP
  1369. An \fIidentifier\fR is the unique identification of an object, formed from 
  1370. a \fIqualifier part\fR and a \fIname\fR . [2.2.2] 
  1371. .bp
  1372. .RT
  1373. .LP
  1374. \fR 
  1375. .sp 1P
  1376. .LP
  1377.     \fBimperative operator\fR 
  1378. .sp 9p
  1379. .RT
  1380. .LP
  1381.     \fIF | \fR \ \fIop\*'erateur imp\*'eratif\fR 
  1382. .LP
  1383.     \fIS | \fR \ \fIoperador imperativo\fR 
  1384. .PP
  1385. An \fIimperative operator\fR is a now \fIexpression, view expression,\fR 
  1386. \fItimer active expression, import expression\fR or one of the \fIPId expressions:\fR 
  1387. \fISELF, PARENT, OFFSPRING\fR or \fISENDER\fR . [5.5.4] 
  1388. .RT
  1389. .sp 1P
  1390. .LP
  1391.     \fBimplicit transition\fR 
  1392. .sp 9p
  1393. .RT
  1394. .LP
  1395.     \fIF | \fR \ \fItransition implicite\fR 
  1396. .LP
  1397.     \fIS | \fR \ \fItransici\*'on impl\*'icita\fR 
  1398. .PP
  1399. An \fIimplicit transition\fR is in the \fIconcrete syntax\fR initiated
  1400. by a \fIsignal\fR in the \fIcomplete valid input signal set\fR and not 
  1401. specified in an\fR \fIinput\fR or \fIsave\fR for the \fIstate\fR . An \fIimplicit 
  1402. transition\fR contains no 
  1403. \fIaction\fR and leads directly back to the same \fIstate\fR [4.6]
  1404. .RT
  1405. .sp 1P
  1406. .LP
  1407.     \fBimport\fR 
  1408. .sp 9p
  1409. .RT
  1410. .LP
  1411.     \fIF | \fR \ \fIimport\fR 
  1412. .LP
  1413.     \fIS | \fR \ \fIimportaci\*'on\fR 
  1414. .PP
  1415. The term \fIimport\fR is a synonym for \fIimport operation\fR .
  1416. [4.13]
  1417. .RT
  1418. .sp 1P
  1419. .LP
  1420.     \fBimported variable\fR 
  1421. .sp 9p
  1422. .RT
  1423. .LP
  1424.     \fIF | \fR \ \fIvariable import\*'ee\fR 
  1425. .LP
  1426.     \fIS | \fR \ \fIvariable importada\fR 
  1427. .PP
  1428. An \fIimported variable\fR is a \fIvariable\fR used in an \fIimport\fR 
  1429. \fIoperation\fR . [4.13]
  1430. .RT
  1431. .sp 1P
  1432. .LP
  1433.     \fBimporter\fR 
  1434. .sp 9p
  1435. .RT
  1436. .LP
  1437.     \fIF | \fR \ \fIimporteur\fR 
  1438. .LP
  1439.     \fIS | \fR \ \fIimportador\fR 
  1440. .PP
  1441. An \fIimporter\fR of an \fIimported variable\fR is the \fIprocess instance\fR 
  1442. which \fIimports\fR the \fIvalue\fR . [4.13] 
  1443. .RT
  1444. .sp 1P
  1445. .LP
  1446.     \fBimport operation\fR 
  1447. .sp 9p
  1448. .RT
  1449. .LP
  1450.     \fIF | \fR \ \fIop\*'eration d'importation\fR 
  1451. .LP
  1452.     \fIS | \fR \ \fIoperaci\*'on de importaci\*'on\fR 
  1453. .PP
  1454. An \fIimport operation\fR is the operation that yields \fIvalue\fR of an 
  1455. \fIexported variable\fR . [4.13] 
  1456. .RT
  1457. .sp 1P
  1458. .LP
  1459.     \fBIN variable\fR 
  1460. .sp 9p
  1461. .RT
  1462. .LP
  1463.     \fIF | \fR \ \fIvariable \*QIN\*U\fR 
  1464. .LP
  1465.     \fIS | \fR \ \fIvariable IN\fR 
  1466. .PP
  1467. An \fIIN variable\fR is a \fIformal parameter\fR attribute denoting the
  1468. case when a \fIvalue\fR is passed to a \fIprocedure\fR via an \fIactual 
  1469. parameter\fR . 
  1470. [2.4.5]
  1471. .RT
  1472. .sp 1P
  1473. .LP
  1474.     \fBIN/OUT variable\fR 
  1475. .sp 9p
  1476. .RT
  1477. .LP
  1478.     \fIF | \fR \ \fIvariable \*QIN/OUT\*U\fR 
  1479. .LP
  1480.     \fIS | \fR \ \fIvariable IN/OUT\fR 
  1481. .PP
  1482. An \fIIN/OUT variable\fR is a \fIformal parameter\fR attribute denoting
  1483. the case when a \fIformal parameter name\fR is used as a synonym for the 
  1484. \fIvariable\fR (i.e.\ the \fIactual parameter\fR must be a \fIvariable\fR 
  1485. . [2.4.5] 
  1486. .bp
  1487. .RT
  1488. .sp 1P
  1489. .LP
  1490. \fR     \fBin\(hyconnector\fR 
  1491. .sp 9p
  1492. .RT
  1493. .LP
  1494.     \fIF | \fR \ \fIconnecteur d'entr\*'ee\fR 
  1495. .LP
  1496.     \fIS | \fR \ \fIconector de entrada\fR 
  1497. .PP
  1498. An \fIin\(hyconnector\fR is a \fIconnector\fR .
  1499. .RT
  1500. .sp 1P
  1501. .LP
  1502.     \fBinfix operator\fR 
  1503. .sp 9p
  1504. .RT
  1505. .LP
  1506.     \fIF | \fR \ \fIop\*'erateur infixe\fR 
  1507. .LP
  1508.     \fIS | \fR \ \fIoperador infijo\fR 
  1509. .PP
  1510. An \fIinfix operator\fR is one of the predefined dyadic \fIoperators\fR 
  1511. of \fISDL\fR (=>, OR, XOR, AND, IN, /=, =, >, <, < =, >=, +, \(em, //, 
  1512. *, /, MOD, REM) 
  1513. which are placed between its two arguments. [5.4.1.1]
  1514. .RT
  1515. .sp 1P
  1516. .LP
  1517.     \fBinformal text\fR 
  1518. .sp 9p
  1519. .RT
  1520. .LP
  1521.     \fIF | \fR \ \fItexte informel\fR 
  1522. .LP
  1523.     \fIS | \fR \ \fItexto informal\fR 
  1524. .PP
  1525. \fIInformal text\fR is text included in an \fISDL specification\fR for
  1526. which \fIsemantics\fR are not defined by \fISDL\fR , but through some other 
  1527. model. 
  1528. \fIInformal text\fR is enclosed in apostrophes. [2.2.3]
  1529. .RT
  1530. .sp 1P
  1531. .LP
  1532.     \fBinitial algebra\fR 
  1533. .sp 9p
  1534. .RT
  1535. .LP
  1536.     \fIF | \fR \ \fIalg\*`ebre initiale\fR 
  1537. .LP
  1538.     \fIS | \fR \ \fI\*'algebra inicial\fR 
  1539. .PP
  1540. An \fIinitial algebra\fR is the formalism for defining \fIabstract data\fR 
  1541. \fItypes\fR . [5.3] 
  1542. .RT
  1543. .sp 1P
  1544. .LP
  1545.     \fBinlet\fR 
  1546. .sp 9p
  1547. .RT
  1548. .LP
  1549.     \fIF | \fR \ \fIacc\*`es entrant\fR 
  1550. .LP
  1551.     \fIS | \fR \ \fIacceso de entrada\fR 
  1552. .PP
  1553. An \fIinlet\fR represents a line, such as a \fIchannel\fR or a \fIflow\fR 
  1554. \fIline\fR , entering an \fISDL/GR macro call\fR . [4.2.3]
  1555. .RT
  1556. .sp 1P
  1557. .LP
  1558.     \fBinput\fR 
  1559. .sp 9p
  1560. .RT
  1561. .LP
  1562.     \fIF | \fR \ \fIentr\*'ee\fR 
  1563. .LP
  1564.     \fIS | \fR \ \fIentrada\fR 
  1565. .PP
  1566. An \fIinput\fR is the consumption of a \fIsignal\fR from the \fIinput port\fR 
  1567. which starts a \fItransition\fR . During the consumption of a \fIsignal\fR 
  1568. , the \fIvalues\fR associated with the \fIsignal\fR become available to 
  1569. the \fIprocess instance\fR . 
  1570. [2.6.4, 4.10.2]
  1571. .RT
  1572. .sp 1P
  1573. .LP
  1574.     \fBinput area\fR 
  1575. .sp 9p
  1576. .RT
  1577. .LP
  1578.     \fIF | \fR \ \fIzone d'entr\*'ee\fR 
  1579. .LP
  1580.     \fIS | \fR \ \fI\*'area de entrada\fR 
  1581. .PP
  1582. An \fIinput area\fR is the \fISDL/GR\fR representation of an \fIinput\fR .
  1583. [2.6.4]
  1584. .RT
  1585. .sp 1P
  1586. .LP
  1587.     \fBinput port\fR 
  1588. .sp 9p
  1589. .RT
  1590. .LP
  1591.     \fIF | \fR \ \fIport d'entr\*'ee\fR 
  1592. .LP
  1593.     \fIS | \fR \ \fIpuerto de entrada\fR 
  1594. .PP
  1595. An \fIinput port\fR of a \fIprocess\fR is a queue which receives and
  1596. retains \fIsignals\fR in the order of arrival until the \fIsignals\fR are 
  1597. consumed by an \fIinput\fR . The \fIinput port\fR may contain any number 
  1598. of \fIretained signals\fR . 
  1599. [2.4.4]
  1600. .bp
  1601. .RT
  1602. .LP
  1603. \fR 
  1604. .sp 1P
  1605. .LP
  1606.     \fBinstance\fR 
  1607. .sp 9p
  1608. .RT
  1609. .LP
  1610.     \fIF | \fR \ \fIinstance\fR 
  1611. .LP
  1612.     \fIS | \fR \ \fIinstancia\fR 
  1613. .PP
  1614. An \fIinstance\fR of a \fItype\fR is an object which has the properties 
  1615. of the \fItype\fR (given in the definition). [1.3.1] 
  1616. .RT
  1617. .sp 1P
  1618. .LP
  1619.     \fBinstantiation\fR 
  1620. .sp 9p
  1621. .RT
  1622. .LP
  1623.     \fIF | \fR \ \fIinstantiation\fR 
  1624. .LP
  1625.     \fIS | \fR \ \fIinstanciaci\*'on\fR 
  1626. .PP
  1627. \fIInstantiation\fR is the creation of an \fIinstance\fR of a \fItype\fR .
  1628. [1.3.1]
  1629. .RT
  1630. .sp 1P
  1631. .LP
  1632.     \fBinteger\fR 
  1633. .sp 9p
  1634. .RT
  1635. .LP
  1636.     \fIF | \fR \ \fIentier (integer)\fR 
  1637. .LP
  1638.     \fIS | \fR \ \fIentero; integer\fR 
  1639. .PP
  1640. \fIInteger\fR is a \fIsort\fR defined in a predefined \fIpartial type\fR 
  1641. \fIdefinition\fR for which the \fIvalues\fR are these of mathematical integers 
  1642. (. |  | , \(em2, \(em1, 0, +1, +2, . |  | ). For the \fIsort integer\fR 
  1643. the predefined \fIoperators\fR are +, \(em, *, / and the \fIordering operators\fR 
  1644. . [5.6.5] 
  1645. .RT
  1646. .sp 1P
  1647. .LP
  1648.     \fBinteraction diagram\fR 
  1649. .sp 9p
  1650. .RT
  1651. .LP
  1652.     \fIF | \fR \ \fIdiagramme d'interaction\fR 
  1653. .LP
  1654.     \fIS | \fR \ \fIdiagrama de interacci\*'on\fR 
  1655. .PP
  1656. An \fIinteraction diagram\fR is a \fIblock diagram, system diagram,\fR 
  1657. \fIchannel substructure diagram,\fR or \fIblock substructure diagram\fR .
  1658. .RT
  1659. .sp 1P
  1660. .LP
  1661.     \fBkeyword\fR 
  1662. .sp 9p
  1663. .RT
  1664. .LP
  1665.     \fIF | \fR \ \fImot cl\*'e\fR 
  1666. .LP
  1667.     \fIS | \fR \ \fIpalabra clave\fR 
  1668. .PP
  1669. A \fIkeyword\fR is a reserved \fIlexical unit\fR in the \fIconcrete textual\fR 
  1670. \fIsyntax\fR . [2.2.1] 
  1671. .RT
  1672. .sp 1P
  1673. .LP
  1674.     \fBlabel\fR 
  1675. .sp 9p
  1676. .RT
  1677. .LP
  1678.     \fIF | \fR \ \fI\*'etiquette\fR 
  1679. .LP
  1680.     \fIS | \fR \ \fIetiqueta\fR 
  1681. .PP
  1682. A \fIlabel\fR is a \fIname\fR followed by a colon and is used in the
  1683. \fIconcrete textual syntax\fR for connection purposes. [2.6.6]
  1684. .RT
  1685. .sp 1P
  1686. .LP
  1687.     \fBlevel\fR 
  1688. .sp 9p
  1689. .RT
  1690. .LP
  1691.     \fIF | \fR \ \fIniveau\fR 
  1692. .LP
  1693.     \fIS | \fR \ \fInivel\fR 
  1694. .PP
  1695. The term \fIlevel\fR is a synonym for \fIlevel of abstraction\fR .
  1696. .RT
  1697. .sp 1P
  1698. .LP
  1699.     \fBlevel of abstraction\fR 
  1700. .sp 9p
  1701. .RT
  1702. .LP
  1703.     \fIF | \fR \ \fIniveau d'abstraction\fR 
  1704. .LP
  1705.     \fIS | \fR \ \fInivel de abstracci\*'on\fR 
  1706. .PP
  1707. A \fIlevel of abstraction\fR is one of the levels of a \fIblock tree\fR 
  1708. \fIdiagram\fR . A description of a \fIsystem\fR is one \fIblock\fR at the 
  1709. highest \fIlevel of\fR \fIabstraction\fR and is shown as a single \fIblock\fR 
  1710. at the top of a \fIblock tree\fR 
  1711. \fIdiagram\fR . [3.2.1]
  1712. .bp
  1713. .RT
  1714. .sp 1P
  1715. .LP
  1716. \fR     \fBlexical rules\fR 
  1717. .sp 9p
  1718. .RT
  1719. .LP
  1720.     \fIF | \fR \ \fIr\*`egles lexicales\fR 
  1721. .LP
  1722.     \fIS | \fR \ \fIreglas l\*'exicas\fR 
  1723. .PP
  1724. \fILexical rules\fR are rules which define how \fIlexical units\fR are
  1725. built from characters. [2.2.1, 4.2.1]
  1726. .RT
  1727. .sp 1P
  1728. .LP
  1729.     \fBlexical unit\fR 
  1730. .sp 9p
  1731. .RT
  1732. .LP
  1733.     \fIF | \fR \ \fIunit\*'es lexicales\fR 
  1734. .LP
  1735.     \fIS | \fR \ \fIunidad l\*'exica\fR 
  1736. .PP
  1737. \fILexical units\fR are the terminal \fIsymbols\fR of the \fIconcrete\fR 
  1738. \fItextual syntax\fR . [2.2.1]
  1739. .RT
  1740. .sp 1P
  1741. .LP
  1742.     \fBliteral\fR 
  1743. .sp 9p
  1744. .RT
  1745. .LP
  1746.     \fIF | \fR \ \fIlitt\*'eral\fR 
  1747. .LP
  1748.     \fIS | \fR \ \fIliteral\fR 
  1749. .PP
  1750. A \fIliteral\fR denotes a \fIvalue\fR . [2.3.3, 5.1.2, 5.4.1.14]
  1751. .RT
  1752. .sp 1P
  1753. .LP
  1754.     \fBmacro\fR 
  1755. .sp 9p
  1756. .RT
  1757. .LP
  1758.     \fIF | \fR \ \fImacro\fR 
  1759. .LP
  1760.     \fIS | \fR \ \fImarco\fR 
  1761. .PP
  1762. A \fImarcro\fR is a named collection of syntactic or textual items,
  1763. which replaces the \fImacro call\fR before the meaning of the \fISDL\fR 
  1764. representation is considered (i.e.,\ a \fImacro\fR has meaning only when 
  1765. replaced in a particular context). [4.2] 
  1766. .RT
  1767. .sp 1P
  1768. .LP
  1769.     \fBmacro call\fR 
  1770. .sp 9p
  1771. .RT
  1772. .LP
  1773.     \fIF | \fR \ \fIappel de macro\fR 
  1774. .LP
  1775.     \fIS | \fR \ \fIllamada a (de) macro\fR 
  1776. .PP
  1777. A \fImacro call\fR is an indication of a place where the \fImacro\fR 
  1778. \fIdefinition\fR with the same \fIname\fR should be expanded. [4.2.3]
  1779. .RT
  1780. .sp 1P
  1781. .LP
  1782.     \fBmacro definition\fR 
  1783. .sp 9p
  1784. .RT
  1785. .LP
  1786.     \fIF | \fR \ \fId\*'efinition de macro\fR 
  1787. .LP
  1788.     \fIS | \fR \ \fIdefinici\*'on de macro\fR 
  1789. .PP
  1790. A \fImacro definition\fR is the definition of a \fImacro\fR in \fISDL/PR\fR 
  1791. . [4.2.2] 
  1792. .RT
  1793. .sp 1P
  1794. .LP
  1795.     \fBmacro diagram\fR 
  1796. .sp 9p
  1797. .RT
  1798. .LP
  1799.     \fIF | \fR \ \fIdiagramme de macro\fR 
  1800. .LP
  1801.     \fIS | \fR \ \fIdiagrama de macro\fR 
  1802. .PP
  1803. A \fImacro diagram\fR is the definition of a \fImacro\fR in \fISDL/GR\fR .
  1804. [4.2.2]
  1805. .RT
  1806. .sp 1P
  1807. .LP
  1808.     \fBmake!\fR 
  1809. .sp 9p
  1810. .RT
  1811. .LP
  1812.     \fIF | \fR \ \fImake!\fR 
  1813. .LP
  1814.     \fIS | \fR \ \fIhacer!; make!\fR 
  1815. .PP
  1816. \fIMake!\fR is an operation only used in \fIdata type\fR definitions fo
  1817. form a \fIvalue\fR of a complex type (e.g.,\ \fIstructured sort\fR ).
  1818. [5.4.1.10, 5.6.8]
  1819. .bp
  1820. .RT
  1821. .LP
  1822. \fR 
  1823. .sp 1P
  1824. .LP
  1825.     \fBmerge area\fR 
  1826. .sp 9p
  1827. .RT
  1828. .LP
  1829.     \fIF | \fR \ \fIzone de fusion\fR 
  1830. .LP
  1831.     \fIS | \fR \ \fI\*'area de fusi\*'on\fR 
  1832. .PP
  1833. A \fImerge area\fR is where one \fIflow line\fR connects to another.
  1834. [2.6.7.2.2]
  1835. .RT
  1836. .sp 1P
  1837. .LP
  1838.     \fBMeta IV\fR 
  1839. .sp 9p
  1840. .RT
  1841. .LP
  1842.     \fIF | \fR \ \fIMeta IV\fR 
  1843. .LP
  1844.     \fIS | \fR \ \fIMeta IV\fR 
  1845. .PP
  1846. \fIMeta IV\fR is a formal notation for expressing the \fIabstract\fR 
  1847. \fIsyntax\fR of a language. [1.5.1]
  1848. .RT
  1849. .sp 1P
  1850. .LP
  1851. \fR     \fBmodel\fR 
  1852. .sp 9p
  1853. .RT
  1854. .LP
  1855.     \fIF | \fR \ \fImod\*`ele\fR 
  1856. .LP
  1857.     \fIS | \fR \ \fImodelo\fR 
  1858. .PP
  1859. A \fImodel\fR gives the mapping for \fIshorthand\fR notations expressed\fR 
  1860. in terms of previously defined \fIconcrete syntax\fR . [1.4.1, 1.4.2] 
  1861. .RT
  1862. .sp 1P
  1863. .LP
  1864.     \fBmodify!\fR 
  1865. .sp 9p
  1866. .RT
  1867. .LP
  1868.     \fIF | \fR \ \fImodify!\fR 
  1869. .LP
  1870.     \fIS | \fR \ \fImodificar!; modify!\fR 
  1871. .PP
  1872. \fIModify\fR is an \fIoperator\fR which is implied in \fIexpressions\fR 
  1873. when a \fIvariable\fR is immediately followed by bracketed expressions 
  1874. and then :=. Within axioms \fImodify!\fR is used explicitly (see \fIextract!\fR 
  1875. ) [5.4.1.10, 5.6.8] 
  1876. .RT
  1877. .sp 1P
  1878. .LP
  1879.     \fBname\fR 
  1880. .sp 9p
  1881. .RT
  1882. .LP
  1883.     \fIF | \fR \ \fInom\fR 
  1884. .LP
  1885.     \fIS | \fR \ \fInombre\fR 
  1886. .PP
  1887. A \fIname\fR is a \fIlexical unit\fR used to name \fISDL\fR objects.
  1888. [2.2.1, 2.2.2]
  1889. .RT
  1890. .sp 1P
  1891. .LP
  1892.     \fBnatural\fR 
  1893. .sp 9p
  1894. .RT
  1895. .LP
  1896.     \fIF | \fR \ \fInaturel\fR 
  1897. .LP
  1898.     \fIS | \fR \ \fInatural\fR 
  1899. .PP
  1900. \fINatural\fR is a \fIsyntype\fR defined in a predefined \fIpartial type\fR 
  1901. \fIdefinition\fR for which the \fIvalues\fR are the non\(hynegative integers 
  1902. (i.e.,\ 0, 1, 2,  |  |  | ). The \fIoperators\fR are the \fIoperators\fR 
  1903. of the \fIsort integer\fR . 
  1904. [5.6.6]
  1905. .RT
  1906. .LP
  1907. \fR 
  1908. .sp 1P
  1909. .LP
  1910.     \fBnewtype\fR 
  1911. .sp 9p
  1912. .RT
  1913. .LP
  1914.     \fIF | \fR \ \fInouveau type (newtype)\fR 
  1915. .LP
  1916.     \fIS | \fR \ \fIniotipo\fR 
  1917. .PP
  1918. A \fInewtype\fR introduces a \fIsort\fR , a set of \fIoperators\fR , and 
  1919. a set of \fIequations\fR . Note that the term \fInewtype\fR might be confusing 
  1920. because 
  1921. actually a new \fIsort\fR is introduced, but \fInewtype\fR is maintained 
  1922. for historical reasons. [5.2.1] 
  1923. .RT
  1924. .sp 1P
  1925. .LP
  1926.     \fBnode\fR 
  1927. .sp 9p
  1928. .RT
  1929. .LP
  1930.     \fIF | \fR \ \fInoeud\fR 
  1931. .LP
  1932.     \fIS | \fR \ \fInodo\fR 
  1933. .PP
  1934. In the \fIabstract syntax\fR , a \fInode\fR is a designation of one of 
  1935. the basic concepts of \fISDL\fR  |  
  1936. .bp
  1937. .RT
  1938. .sp 1P
  1939. .LP
  1940. \fR     \fBnote\fR 
  1941. .sp 9p
  1942. .RT
  1943. .LP
  1944.     \fIF:\ note\fR 
  1945. .LP
  1946.     \fIS:\ nota\fR 
  1947. .PP
  1948. A \fInote\fR is text enclosed by /* | nd | / which has no \fISDL\fR defined
  1949. semantics. See \fIcomment\fR . [2.2.1]
  1950. .RT
  1951. .sp 1P
  1952. .LP
  1953.     \fBnull\fR 
  1954. .sp 9p
  1955. .RT
  1956. .LP
  1957.     \fIF | \fR \ \fInull\fR 
  1958. .LP
  1959.     \fIS | \fR \ \fInull; nulo\fR 
  1960. .PP
  1961. \fINull\fR is the \fIliteral\fR of \fIsort PId\fR . [5.6.10]
  1962. .RT
  1963. .sp 1P
  1964. .LP
  1965.     \fBOFFSPRING\fR 
  1966. .sp 9p
  1967. .RT
  1968. .LP
  1969.     \fIF | \fR \ \fIDESCENDANT (OFFSPRING)\fR 
  1970. .LP
  1971.     \fIS | \fR \ \fIOFFSPRING; VASTAGO\fR 
  1972. .PP
  1973. \fIOFFSPRING\fR is an \fIexpression\fR of \fIsort PId\fR . When \fIOFFSPRING\fR 
  1974. is evaluated in a \fIprocess\fR it gives the \fIPId\(hyvalues\fR of the 
  1975. \fIprocess\fR most 
  1976. recently \fIcreated\fR by this \fIprocess\fR . If the \fIprocess\fR has 
  1977. not \fIcreated\fR any 
  1978. \fIprocesses\fR , the result of the evaluation of \fIOFFSPRING\fR is \fInull\fR 
  1979. . 
  1980. [2.4.4, 5.5.4.3]
  1981. .RT
  1982. .sp 1P
  1983. .LP
  1984.     \fBoperator\fR 
  1985. .sp 9p
  1986. .RT
  1987. .LP
  1988.     \fIF | \fR \ \fIop\*'erateur\fR 
  1989. .LP
  1990.     \fIS | \fR \ \fIoperador\fR 
  1991. .PP
  1992. An \fIoperator\fR is a denotation for an operation. \fIOperators\fR are
  1993. defined in a \fIpartial type definition\fR . For example +, \(em, *, /, 
  1994. are \fInames\fR for \fIoperators\fR defined for \fIsort integer\fR . [5.1.2, 
  1995. 5.1.3]
  1996. .RT
  1997. .sp 1P
  1998. .LP
  1999.     \fBoperator signature\fR 
  2000. .sp 9p
  2001. .RT
  2002. .LP
  2003.     \fIF | \fR \ \fIsignature d'op\*'erateur\fR 
  2004. .LP
  2005.     \fIS | \fR \ \fIsignatura de operador\fR 
  2006. .PP
  2007. An \fIoperator signature\fR defines the \fIsort(s)\fR of the \fIvalues\fR 
  2008. to which the \fIoperator\fR can be applied and the \fIsort\fR of the resulting 
  2009. \fIvalue\fR . [5.2.2] 
  2010. .RT
  2011. .sp 1P
  2012. .LP
  2013.     \fBoption\fR 
  2014. .sp 9p
  2015. .RT
  2016. .LP
  2017.     \fIF | \fR \ \fIoption\fR 
  2018. .LP
  2019.     \fIS | \fR \ \fIopci\*'on\fR 
  2020. .PP
  2021. An \fIoption\fR is a \fIconcrete syntax\fR construct in a generic \fISDL\fR 
  2022. \fIsystem specification\fR allowing different \fIsystem\fR structures to 
  2023. be chosen 
  2024. before the \fIsystem\fR is interpreted. [4.3.3,
  2025. 4.3.4]
  2026. .RT
  2027. .sp 1P
  2028. .LP
  2029.     \fBordering operators\fR 
  2030. .sp 9p
  2031. .RT
  2032. .LP
  2033.     \fIF | \fR \ \fIop\*'erateurs de relation d'ordre\fR 
  2034. .LP
  2035.     \fIS | \fR \ \fIoperadores de ordenaci\*'on\fR 
  2036. .PP
  2037. The \fIordering operators\fR are <, <=, > or >=.
  2038. [5.4.1.8]
  2039. .RT
  2040. .sp 1P
  2041. .LP
  2042.     \fBout connector\fR 
  2043. .sp 9p
  2044. .RT
  2045. .LP
  2046.     \fIF | \fR \ \fIconnecteur de sortie\fR 
  2047. .LP
  2048.     \fIS | \fR \ \fIconector de salida\fR 
  2049. .PP
  2050. An \fIout\(hyconnector\fR is a connector.
  2051. .bp
  2052. .RT
  2053. .LP
  2054. \fR 
  2055. .sp 1P
  2056. .LP
  2057.     \fBoutlet\fR 
  2058. .sp 9p
  2059. .RT
  2060. .LP
  2061.     \fIF | \fR \ \fIacc\*`es sortant\fR 
  2062. .LP
  2063.     \fIS | \fR \ \fIacceso de salida\fR 
  2064. .PP
  2065. An \fIoutlet\fR represents a line, such as a \fIchannel\fR or \fIflow line\fR 
  2066. , existing a \fImacro diagram\fR . [4.2.2] 
  2067. .RT
  2068. .sp 1P
  2069. .LP
  2070.     \fBoutput\fR 
  2071. .sp 9p
  2072. .RT
  2073. .LP
  2074.     \fIF:\ sortie\ \fR 
  2075. .LP
  2076.     \fIS:\ salida\fR 
  2077. .PP
  2078. An \fIoutput\fR is an \fIaction\fR within a \fItransition\fR which generates
  2079. a \fIsignal instance\fR .
  2080. .RT
  2081. .sp 1P
  2082. .LP
  2083.     \fBoutput area\fR 
  2084. .sp 9p
  2085. .RT
  2086. .LP
  2087.     \fIF | \fR \ \fIzone de sortie\fR 
  2088. .LP
  2089.     \fIS | \fR \ \fI\*'area de salida\fR 
  2090. .PP
  2091. The \fIoutput area\fR in a \fIcontrol flow diagram\fR represents the
  2092. \fISDL/GR\fR concept of an \fIoutput\fR . [2.7.4]
  2093. .RT
  2094. .sp 1P
  2095. .LP
  2096.     \fBpage\fR 
  2097. .sp 9p
  2098. .RT
  2099. .LP
  2100.     \fIF | \fR \ \fIpage\fR 
  2101. .LP
  2102.     \fIS | \fR \ \fIp\*'agina\fR 
  2103. .PP
  2104. A \fIpage\fR is one of the components of a physical partitioning of a \fIdiagram\fR 
  2105. . [2.2.5] 
  2106. .RT
  2107. .sp 1P
  2108. .LP
  2109.     \fBPARENT\fR 
  2110. .sp 9p
  2111. .RT
  2112. .LP
  2113.     \fIF | \fR \ \fIPARENT\fR 
  2114. .LP
  2115.     \fIS | \fR \ \fIPARENT; PROGENITOR\fR 
  2116. .PP
  2117. \fIPARENT\fR is a \fIPId expression\fR . When a \fIprocess\fR evaluates this
  2118. \fIexpression\fR , the result is the \fIPId\(hyvalue\fR of the parent \fIprocess\fR 
  2119. . If the 
  2120. \fIprocess\fR was created at \fIsystem\fR initialization time, the result 
  2121. is \fInull\fR . [2.4.4, 5.5.4.3] 
  2122. .RT
  2123. .sp 1P
  2124. .LP
  2125.     \fBpartial type definition\fR 
  2126. .sp 9p
  2127. .RT
  2128. .LP
  2129.     \fIF | \fR \ \fId\*'efintiion partielle de type\fR 
  2130. .LP
  2131.     \fIS | \fR \ \fIdefinici\*'on parcial de tipo\fR 
  2132. .PP
  2133. The \fIpartial type definition\fR for a \fIsort\fR defines some of the
  2134. properties related to the \fIsort\fR . A \fIpartial type definition\fR 
  2135. is part of a 
  2136. \fIdata type\fR definition. [5.2.1]
  2137. .RT
  2138. .sp 1P
  2139. .LP
  2140.     \fBpartitioning\fR 
  2141. .sp 9p
  2142. .RT
  2143. .LP
  2144.     \fIF | \fR \ \fIsubdivision\fR 
  2145. .LP
  2146.     \fIS | \fR \ \fIpartici\*'on\fR 
  2147. .PP
  2148. \fIPartitioning\fR is the subdivision of a unit into smaller
  2149. components which when taken as a whole have the same \fIbehaviour\fR as the
  2150. original unit. \fIPartitioning\fR does not affect the static interface 
  2151. of a unit. [3.1, 3.2] 
  2152. .RT
  2153. .sp 1P
  2154. .LP
  2155.     \fBPId\fR 
  2156. .sp 9p
  2157. .RT
  2158. .LP
  2159.     \fIF | \fR \ \fIPId\fR 
  2160. .LP
  2161.     \fIS | \fR \ \fIPId\fR 
  2162. .PP
  2163. \fIPId\fR is a \fIsort\fR defined in a predefined \fIpartial type\fR 
  2164. \fIdefinition\fR for which there is one \fIliteral\fR , \fInull\fR . \fIPId\fR 
  2165. is an abbreviation for process instance identifier, and the \fIvalues\fR 
  2166. of the \fIsorts\fR are used to 
  2167. identify \fIprocess instances\fR . [5.5.4.3, 5.6.10]
  2168. .RT
  2169. .sp 1P
  2170. .LP
  2171.     \fBpowerset\fR 
  2172. .sp 9p
  2173. .RT
  2174. .LP
  2175.     \fIF | \fR \ \fImode ensembliste\fR 
  2176. .LP
  2177.     \fIS | \fR \ \fIconjunista\fR 
  2178. .PP
  2179. \fIPowerset\fR is the \fIpredefined generator\fR used to introduce
  2180. mathematical sets. The \fIoperators\fR for \fIpowerset\fR are IN, Incl, 
  2181. Del, union, 
  2182. insersection and the \fIordering operators\fR .
  2183. [5.6.9]
  2184. .bp
  2185. .RT
  2186. .LP
  2187. \fR 
  2188. .sp 1P
  2189. .LP
  2190.     \fBpredefined data\fR 
  2191. .sp 9p
  2192. .RT
  2193. .LP
  2194.     \fIF | \fR \ \fIdonn\*'ees pr\*'ed\*'efinies\fR 
  2195. .LP
  2196.     \fIS | \fR \ \fIdatos predefinidos\fR 
  2197. .PP
  2198. For simplicity of description the term \fIpredefined data\fR is
  2199. applied to both predefined \fInames\fR for \fIsorts\fR introduced by \fIpartial 
  2200. type\fR 
  2201. \fIdefinitions\fR and predefined \fInames\fR for \fIdata type generators\fR 
  2202. . \fIBoolean,\fR 
  2203. \fIcharacter, chartstring, duration, integer, natural PId, real\fR and 
  2204. \fItime\fR are \fIsort names\fR which are predefined. \fIArray, powerset\fR 
  2205. , and \fIstring\fR are \fIdata\fR \fItype generator names\fR which are 
  2206. predefined. \fIPredefined data\fR are defined 
  2207. implicitly at \fIsystem level\fR in all \fISDL systems\fR . [5.6]
  2208. .RT
  2209. .sp 1P
  2210. .LP
  2211.     \fBprocedure\fR 
  2212. .sp 9p
  2213. .RT
  2214. .LP
  2215.     \fIF | \fR \ \fIproc\*'edure\fR 
  2216. .LP
  2217.     \fIS | \fR \ \fIprocedimiento\fR 
  2218. .PP
  2219. A \fIprocedure\fR is an encapsulation of the \fIbehaviour\fR of a
  2220. \fIprocess\fR . A \fIprocedure\fR is defined in one place but may be referred 
  2221. to several times within the same \fIprocess\fR . See \fIformal parameter\fR 
  2222. and \fIactual\fR 
  2223. \fIparameter\fR . [2.4.5]
  2224. .RT
  2225. .sp 1P
  2226. .LP
  2227.     \fBprocedure call\fR 
  2228. .sp 9p
  2229. .RT
  2230. .LP
  2231.     \fIF | \fR \ \fIappel de proc\*'edure\fR 
  2232. .LP
  2233.     \fIS | \fR \ \fIllamada a (de) procedimiento\fR 
  2234. .PP
  2235. A \fIprocedure call\fR is the invocation of a named \fIprocedure\fR for
  2236. interpretation of the \fIprocedure\fR and passing \fIactual parameters\fR 
  2237. to the 
  2238. \fIprocedure\fR . [2.7.3]
  2239. .RT
  2240. .sp 1P
  2241. .LP
  2242.     \fBprocedure call area\fR 
  2243. .sp 9p
  2244. .RT
  2245. .LP
  2246.     \fIF | \fR \ \fIzone d'appel de proc\*'edure\fR 
  2247. .LP
  2248.     \fIS | \fR \ \fI\*'area de llamada a (de) procedimiento\fR 
  2249. .PP
  2250. The \fIprocedure call area\fR is the \fISDL/GR\fR representation of a
  2251. \fIprocedure call\fR . [2.7.3]
  2252. .RT
  2253. .sp 1P
  2254. .LP
  2255.     \fBprocedure definition\fR 
  2256. .sp 9p
  2257. .RT
  2258. .LP
  2259.     \fIF | \fR \ \fId\*'efinition de proc\*'edure\fR 
  2260. .LP
  2261.     \fIS | \fR \ \fIdefinici\*'on de procedimiento\fR 
  2262. .PP
  2263. A \fIprocedure definition\fR is the \fISDL/PR\fR definition of a
  2264. \fIprocedure\fR . [2.4.5]
  2265. .RT
  2266. .sp 1P
  2267. .LP
  2268.     \fBprocedure diagram\fR 
  2269. .sp 9p
  2270. .RT
  2271. .LP
  2272.     \fIF | \fR \ \fIdiagramme de proc\*'edure\fR 
  2273. .LP
  2274.     \fIS | \fR \ \fIdiagrama de procedimiento\fR 
  2275. .PP
  2276. A \fIprocedure diagram\fR is the \fISDL/GR\fR representation of a
  2277. \fIprocedure\fR . [2.4.5]
  2278. .RT
  2279. .sp 1P
  2280. .LP
  2281.     \fBprocedure graph\fR 
  2282. .sp 9p
  2283. .RT
  2284. .LP
  2285.     \fIF | \fR \ \fIgraphe de proc\*'edure\fR 
  2286. .LP
  2287.     \fIS | \fR \ \fIgr\*'afico de procedimiento\fR 
  2288. .PP
  2289. A \fIprocedure graph\fR is a nonterminal in the \fIabstract syntax\fR 
  2290. representing a \fIprocedure\fR . [2.4.5]
  2291. .bp
  2292. .RT
  2293. .LP
  2294. \fR 
  2295. .sp 1P
  2296. .LP
  2297.     \fBprocedure return\fR 
  2298. .sp 9p
  2299. .RT
  2300. .LP
  2301.     \fIF | \fR \ \fIretour de proc\*'edure\fR 
  2302. .LP
  2303.     \fIS | \fR \ \fIretorno de procedimiento\fR 
  2304. .PP
  2305. \fIProcedure return\fR is a synonym for \fIreturn\fR .
  2306. .RT
  2307. .sp 1P
  2308. .LP
  2309.     \fBprocess\fR 
  2310. .sp 9p
  2311. .RT
  2312. .LP
  2313.     \fIF | \fR \ \fIprocessus\fR 
  2314. .LP
  2315.     \fIS | \fR \ \fIproceso\fR 
  2316. .PP
  2317. A \fIprocess\fR is a communicating extended finite state machine.
  2318. Communication can take place via \fIsignals\fR or shared \fIvariables\fR . The
  2319. \fIbehaviour\fR of a \fIprocess\fR depends on the order of arrival of \fIsignals\fR 
  2320. in its \fIinput port\fR . [2.4.4] 
  2321. .RT
  2322. .sp 1P
  2323. .LP
  2324.     \fBprocess area\fR 
  2325. .sp 9p
  2326. .RT
  2327. .LP
  2328.     \fIF | \fR \ \fIzone de processus\fR 
  2329. .LP
  2330.     \fIS | \fR \ \fI\*'area de proceso\fR 
  2331. .PP
  2332. A \fIprocess area\fR in \fISDL/GR\fR is the representation of a \fIprocess\fR 
  2333. or a reference to a \fIprocess\fR in an \fIinteraction diagram\fR . [2.4.3] 
  2334. .RT
  2335. .sp 1P
  2336. .LP
  2337.     \fBprocess definition\fR 
  2338. .sp 9p
  2339. .RT
  2340. .LP
  2341.     \fIF | \fR \ \fId\*'efinition de processus\fR 
  2342. .LP
  2343.     \fIS | \fR \ \fIdefinici\*'on de processo\fR 
  2344. .PP
  2345. A \fIprocess definition\fR is the \fISDL/PR\fR representation of a
  2346. \fIprocess\fR . [2.4.4]
  2347. .RT
  2348. .sp 1P
  2349. .LP
  2350.     \fBprocess diagram\fR 
  2351. .sp 9p
  2352. .RT
  2353. .LP
  2354.     \fIF | \fR \ \fIdiagramme de processus\fR 
  2355. .LP
  2356.     \fIS | \fR \ \fIdiagrama de proceso\fR 
  2357. .PP
  2358. A \fIprocess diagram\fR is the \fISDL/GR\fR representation of the
  2359. definition of a \fIprocess\fR . [2.4.4]
  2360. .RT
  2361. .sp 1P
  2362. .LP
  2363.     \fBprocess graph\fR 
  2364. .sp 9p
  2365. .RT
  2366. .LP
  2367.     \fIF | \fR \ \fIgraphe de processus\fR 
  2368. .LP
  2369.     \fIS | \fR \ \fIgr\*'afico de proceso\fR 
  2370. .PP
  2371. A \fIprocess graph\fR is nonterminal in the \fIabstract syntax\fR 
  2372. representing a \fIprocess\fR . [2.4.4]
  2373. .RT
  2374. .sp 1P
  2375. .LP
  2376.     \fBprocess instance\fR 
  2377. .sp 9p
  2378. .RT
  2379. .LP
  2380.     \fIF | \fR \ \fIinstance de processus\fR 
  2381. .LP
  2382.     \fIS | \fR \ \fIinstancia de proceso\fR 
  2383. .PP
  2384. A \fIprocess instance\fR is a dynamically created \fIinstance\fR of\fR a
  2385. \fIprocess\fR . See \fISELF, SENDER, PARENT,\fR and \fIOFFSPRING\fR [2.4.4]
  2386. .RT
  2387. .sp 1P
  2388. .LP
  2389.     \fBqualifier\fR 
  2390. .sp 9p
  2391. .RT
  2392. .LP
  2393.     \fIF | \fR \ \fIpartie qualificative (qualificatif)\fR 
  2394. .LP
  2395.     \fIS | \fR \ \fIcalificador\fR 
  2396. .PP
  2397. The \fIqualifier\fR is part of an \fIidentifier\fR which is the extra
  2398. information to the \fIname\fR part of the \fIidentifier\fR to ensure uniqueness. 
  2399. \fIQualifiers\fR are always present in the \fIabstract syntax\fR , but 
  2400. only have to be used as far as needed for uniqueness in the \fIconcrete 
  2401. syntax\fR when the 
  2402. \fIqualifier\fR of an \fIidentifier\fR cannot be derived from the context 
  2403. of the use of the \fIname\fR part. [2.2.2] 
  2404. .RT
  2405. .sp 1P
  2406. .LP
  2407.     \fBreal\fR 
  2408. .sp 9p
  2409. .RT
  2410. .LP
  2411.     \fIF | \fR \ \fIr\*'eel\fR 
  2412. .LP
  2413.     \fIS | \fR \ \fIreal\fR 
  2414. .PP
  2415. \fIReal\fR is a \fIsort\fR defined in a predefined \fIpartial type\fR 
  2416. \fIdefinition\fR for which the \fIvalues\fR are the numbers which can be 
  2417. presented by one \fIInteger\fR divided by another. The predefined \fIoperators\fR 
  2418. for the \fIsort\fR \fIreal\fR have the same \fInames\fR as the \fIoperators\fR 
  2419. of \fIsort integer\fR . 
  2420. [5.6.7]
  2421. .bp
  2422. .RT
  2423. .LP
  2424. \fR 
  2425. .sp 1P
  2426. .LP
  2427.     \fBrefinement\fR 
  2428. .sp 9p
  2429. .RT
  2430. .LP
  2431.     \fIF | \fR \ \fIreaffinement\fR 
  2432. .LP
  2433.     \fIS | \fR \ \fIrefinamiento\fR 
  2434. .PP
  2435. \fIRefinement\fR is the addition of new details to the funtionality at 
  2436. a certain \fIlevel of abstraction\fR . The \fIrefinement\fR of a \fIsystem\fR 
  2437. causes an 
  2438. enrichment in its \fIbehaviour\fR or its capabilities to handle more types of
  2439. \fIsignals\fR and information, including those \fIsignals\fR to and from the
  2440. \fIenvironment\fR . Compare with \fIpartitioning\fR . [3.3]
  2441. .RT
  2442. .sp 1P
  2443. .LP
  2444.     \fBremote definition\fR 
  2445. .sp 9p
  2446. .RT
  2447. .LP
  2448.     \fIF | \fR \ \fId\*'efinition distante\fR 
  2449. .LP
  2450.     \fIS | \fR \ \fIdefinici\*'on remota\fR 
  2451. .PP
  2452. A \fIremote definition\fR is a syntactic means of distributing a
  2453. \fIsystem definition\fR into several parts and relating the parts to each 
  2454. other. [2.4.1] 
  2455. .RT
  2456. .sp 1P
  2457. .LP
  2458.     \fBreset\fR 
  2459. .sp 9p
  2460. .RT
  2461. .LP
  2462.     \fIF | \fR \ \fIreset (r\*'einitialisation)\fR 
  2463. .LP
  2464.     \fIS | \fR \ \fIreincializar; reponer\fR 
  2465. .PP
  2466. \fIReset\fR is an operation defined for \fItimers\fR which allows \fItimers\fR 
  2467. to be made inactive. See \fIactive timer\fR . [2.8] 
  2468. .RT
  2469. .sp 1P
  2470. .LP
  2471.     \fBretained signal\fR 
  2472. .sp 9p
  2473. .RT
  2474. .LP
  2475.     \fIF | \fR \ \fIsignal retenu\fR 
  2476. .LP
  2477.     \fIS | \fR \ \fIse\o"n~"al retenida\fR 
  2478. .PP
  2479. A \fIretained signal\fR is a \fIsignal\fR in the \fIinput port\fR of a
  2480. \fIprocess\fR , i.e.,\ a \fIsignal\fR which has been received but not consumed 
  2481. by the 
  2482. \fIprocess\fR . [2.4.4]
  2483. .RT
  2484. .sp 1P
  2485. .LP
  2486.     \fBreturn\fR 
  2487. .sp 9p
  2488. .RT
  2489. .LP
  2490.     \fIF | \fR \ \fIretour\fR 
  2491. .LP
  2492.     \fIS | \fR \ \fIretorno\fR 
  2493. .PP
  2494. The \fIreturn\fR of a \fIprocedure\fR is the transfer of control to the
  2495. calling \fIprocedure\fR or \fIprocess\fR . [2.6.7.2.4]
  2496. .RT
  2497. .sp 1P
  2498. .LP
  2499.     \fBreveal attribute\fR 
  2500. .sp 9p
  2501. .RT
  2502. .LP
  2503.     \fIF | \fR \ \fIattribut d'exposition\fR 
  2504. .LP
  2505.     \fIS | \fR \ \fIatributo revelado\fR 
  2506. .PP
  2507. A \fIvariable\fR owned by a \fIprocess\fR may have a \fIreveal attribute\fR 
  2508. , in which case another \fIprocess\fR in the same \fIblock\fR is permitted 
  2509. to view the 
  2510. \fIvalue\fR associated with the \fIvariable\fR . See \fIview definition\fR .
  2511. [2.6.1.1]
  2512. .RT
  2513. .sp 1P
  2514. .LP
  2515.     \fBsave\fR 
  2516. .sp 9p
  2517. .RT
  2518. .LP
  2519.     \fIF | \fR \ \fImise en r\*'eserve\fR 
  2520. .LP
  2521.     \fIS | \fR \ \fIconservaci\*'on\fR 
  2522. .PP
  2523. A \fIsave\fR is the declaration of those \fIsignals\fR that should not 
  2524. be consumed in a given \fIstate\fR . [2.6.5] 
  2525. .RT
  2526. .sp 1P
  2527. .LP
  2528.     \fBsave area\fR 
  2529. .sp 9p
  2530. .RT
  2531. .LP
  2532.     \fIF | \fR \ \fIzone de mise en r\*'eserve\fR 
  2533. .LP
  2534.     \fIS | \fR \ \fI\*'area de conservaci\*'on\fR 
  2535. .PP
  2536. The \fIsave area\fR is the \fISDL/GR\fR representation of a \fIsave\fR .
  2537. [2.6.5]
  2538. .bp
  2539. .RT
  2540. .sp 1P
  2541. .LP
  2542. \fR     \fBsave signal set\fR 
  2543. .sp 9p
  2544. .RT
  2545. .LP
  2546.     \fIF | \fR \ \fIensemble de signaux de mise en r\*'eserve\fR 
  2547. .LP
  2548.     \fIS | \fR \ \fIconjunto de se\o"n~"ales de conservaci\*'on\fR 
  2549. .PP
  2550. The \fIsave signal set\fR of a \fIstate\fR is the set of saved \fIsignals\fR 
  2551. for that \fIstate\fR . [2.6.5] 
  2552. .RT
  2553. .sp 1P
  2554. .LP
  2555.     \fBSDL (CCITT Specification and Description Language)\fR 
  2556. .sp 9p
  2557. .RT
  2558. .LP
  2559.     \fIF | \fR \ \fILDS (langage de description et de sp\*'ecification du\fR 
  2560. \fICCITT)\fR 
  2561. .LP
  2562.     \fIS | \fR \ \fILED (lenguaje de especificaci\*'on y descripci\*'on del\fR 
  2563. \fICCITT)\fR 
  2564. .PP
  2565. CCITT \fISDL\fR (\fISpecification and Description Language\fR ) is a formal 
  2566. language providing a set of constructs of the \fIspecification\fR for the 
  2567. functionality of a system.
  2568. .RT
  2569. .sp 1P
  2570. .LP
  2571.     \fBSDL/GR\fR 
  2572. .sp 9p
  2573. .RT
  2574. .LP
  2575.     \fIF:\ LDS/GR\fR 
  2576. .LP
  2577.     \fIS:\ LED/GR\fR 
  2578. .PP
  2579. \fISDL/GR\fR is the graphical representation in \fISDL\fR . The \fIgrammar\fR 
  2580. for \fISDL/GR\fR is defined by the \fIconcrete graphical grammar\fR and 
  2581. the \fIcommon\fR \fItextual grammar\fR . [1.2] 
  2582. .RT
  2583. .sp 1P
  2584. .LP
  2585.     \fBSDL/PE\fR 
  2586. .sp 9p
  2587. .RT
  2588. .LP
  2589.     \fIF | \fR \ \fILDS/PE\fR 
  2590. .LP
  2591.     \fIS | \fR \ \fILED/EP\fR 
  2592. .PP
  2593. \fISDL/PE\fR is a set of icons which can be used in conjunction with the 
  2594. \fIstate symbol\fR of \fISDL/GR\fR . [Annex\ E] 
  2595. .RT
  2596. .sp 1P
  2597. .LP
  2598.     \fBSDL/PR\fR 
  2599. .sp 9p
  2600. .RT
  2601. .LP
  2602.     \fIF | \fR \ \fILDS/PR\fR 
  2603. .LP
  2604.     \fIS | \fR \ \fILED/PR\fR 
  2605. .PP
  2606. \fISDL/PR\fR is the textual phrase representation in \fISDL\fR . The
  2607. \fIgrammar\fR for \fISDL/PR\fR is defined by the \fIconcrete textual grammar\fR 
  2608. . 
  2609. [1.2]
  2610. .RT
  2611. .sp 1P
  2612. .LP
  2613.     \fBscope unit\fR 
  2614. .sp 9p
  2615. .RT
  2616. .LP
  2617.     \fIF | \fR \ \fIunit\*'e de port\*'ee\fR 
  2618. .LP
  2619.     \fIS | \fR \ \fIunidad de \*'ambito\fR 
  2620. .PP
  2621. A \fIscope unit\fR in the \fIconcrete grammar\fR defines the range of
  2622. \fIvisibility\fR of \fIidentifiers\fR . Examples of \fIscope units\fR include 
  2623. the \fIsystem,\fR \fIblock, process, procedure, partial type definitions\fR 
  2624. and \fIservice\fR 
  2625. \fIdefinitions\fR . [2.2.2]
  2626. .RT
  2627. .sp 1P
  2628. .LP
  2629.     \fBselection\fR 
  2630. .sp 9p
  2631. .RT
  2632. .LP
  2633.     \fIF | \fR \ \fIs\*'election\fR 
  2634. .LP
  2635.     \fIS | \fR \ \fIselecci\*'on\fR 
  2636. .PP
  2637. \fISelection\fR means providing those \fIexternal synonyms\fR needed to
  2638. make a specific \fIsystem specification\fR from a generic \fIsystem specification\fR 
  2639. . [4.3.3] 
  2640. .RT
  2641. .sp 1P
  2642. .LP
  2643.     \fBSELF\fR 
  2644. .sp 9p
  2645. .RT
  2646. .LP
  2647.     \fIF | \fR \ \fISELF\fR 
  2648. .LP
  2649.     \fIS | \fR \ \fISELF; MISMO\fR 
  2650. .PP
  2651. \fISELF\fR is a \fIPId expression\fR . When a \fIprocess\fR evaluates this
  2652. \fIexpression\fR , the result is the \fIPId\(hyvalue\fR of that \fIprocess\fR 
  2653. . \fISELF\fR never 
  2654. results in the \fIvalue Null\fR . See also \fIPARENT, OFFSPRING, PId\fR .
  2655. [2.4.4, 5.5.4.3]
  2656. .bp
  2657. .RT
  2658. .sp 1P
  2659. .LP
  2660. \fR     \fBsemantics\fR 
  2661. .sp 9p
  2662. .RT
  2663. .LP
  2664.     \fIF | \fR \ \fIs\*'emantique\fR 
  2665. .LP
  2666.     \fIS | \fR \ \fIsem\*'antica\fR 
  2667. .PP
  2668. \fISemantics\fR gives meaning to an entity: the properties it has, the 
  2669. way its \fIbehaviour\fR is interpreted, and any dynamic conditions which 
  2670. must be 
  2671. fulfilled for the \fIbehaviour\fR of the entity to meet \fISDL\fR rules.
  2672. [1.4.1, 1.4.2]
  2673. .RT
  2674. .sp 1P
  2675. .LP
  2676.     \fBSENDER\fR 
  2677. .sp 9p
  2678. .RT
  2679. .LP
  2680.     \fIF | \fR \ \fISENDER (\*'emetteur)\fR 
  2681. .LP
  2682.     \fIS | \fR \ \fISENDER; EMISOR\fR 
  2683. .PP
  2684. \fISENDER\fR is a \fIPId expression\fR . When evaluated \fISENDER\fR yields 
  2685. the \fIPId value\fR of the sending \fIprocess\fR of the \fIsignal\fR that 
  2686. activated the current \fItransition\fR . [2.4.4, 2.6.4, 5.5.4.3] 
  2687. .RT
  2688. .sp 1P
  2689. .LP
  2690.     \fBservice\fR 
  2691. .sp 9p
  2692. .RT
  2693. .LP
  2694.     \fIF | \fR \ \fIservice\fR 
  2695. .LP
  2696.     \fIS | \fR \ \fIservicio\fR 
  2697. .PP
  2698. A \fIservice\fR is an alternative way of specifying a \fIprocess\fR . Each 
  2699. \fIservice\fR may define a partial \fIbehaviour\fR of a \fIprocess\fR . 
  2700. [4.10]
  2701. .RT
  2702. .sp 1P
  2703. .LP
  2704.     \fBservice area\fR 
  2705. .sp 9p
  2706. .RT
  2707. .LP
  2708.     \fIF | \fR \ \fIzone de service\fR 
  2709. .LP
  2710.     \fIS | \fR \ \fI\*'area de servicio\fR 
  2711. .PP
  2712. A \fIservice area\fR is either a \fIservice diagram\fR or a reference to 
  2713. a \fIservice\fR . [4.10.1] 
  2714. .RT
  2715. .sp 1P
  2716. .LP
  2717.     \fBservice definition\fR 
  2718. .sp 9p
  2719. .RT
  2720. .LP
  2721.     \fIF | \fR \ \fId\*'efinition de service\fR 
  2722. .LP
  2723.     \fIS | \fR \ \fIdefinici\*'on de servicio\fR 
  2724. .PP
  2725. A \fIservice definition\fR is the \fISDL/PR\fR definition of a \fIservice\fR 
  2726. . [4.10.1] 
  2727. .RT
  2728. .sp 1P
  2729. .LP
  2730.     \fBservice diagram\fR 
  2731. .sp 9p
  2732. .RT
  2733. .LP
  2734.     \fIF | \fR \ \fIdiagramme de service\fR 
  2735. .LP
  2736.     \fIS | \fR \ \fIdiagrama de servicio\fR 
  2737. .PP
  2738. A \fIservice diagram\fR is the \fISDL/GR\fR definition of a \fIservice\fR .
  2739. [4.10]
  2740. .RT
  2741. .sp 1P
  2742. .LP
  2743.     \fBset\fR 
  2744. .sp 9p
  2745. .RT
  2746. .LP
  2747.     \fIF | \fR \ \fIset (initialisation)\fR 
  2748. .LP
  2749.     \fIS | \fR \ \fIinicializar; poner\fR 
  2750. .PP
  2751. \fISet\fR is an operation defined for \fItimers\fR which allow \fItimers\fR 
  2752. to be made \fIactive\fR . [2.8] 
  2753. .bp
  2754. .RT
  2755. .sp 1P
  2756. .LP
  2757. \fR     \fBshorthand notation\fR 
  2758. .sp 9p
  2759. .RT
  2760. .LP
  2761.     \fIF | \fR \ \fInotation abr\*'eg\*'ee\fR 
  2762. .LP
  2763.     \fIS | \fR \ \fInotaci\*'on taquigr\*'afica (o abreviada)\fR 
  2764. .PP
  2765. A \fIshorthand notation\fR is a \fIconcrete syntax\fR notation providing 
  2766. a more compact representation implicitly referring to \fIBasic SDL\fR concepts. 
  2767. [1.4.2]
  2768. .RT
  2769. .sp 1P
  2770. .LP
  2771.     \fBsignal\fR 
  2772. .sp 9p
  2773. .RT
  2774. .LP
  2775.     \fIF | \fR \ \fIsignal\fR 
  2776. .LP
  2777.     \fIS | \fR \ \fIse\o"n~"al\fR 
  2778. .PP
  2779. A \fIsignal\fR is an instance of a signal \fItype\fR communication
  2780. information to a \fIprocess instance\fR . [2.5.4]
  2781. .RT
  2782. .sp 1P
  2783. .LP
  2784.     \fBsignal definition\fR 
  2785. .sp 9p
  2786. .RT
  2787. .LP
  2788.     \fIF | \fR \ \fId\*'efinition de signal\fR 
  2789. .LP
  2790.     \fIS | \fR \ \fIdefinici\*'on de se\o"n~"al\fR 
  2791. .PP
  2792. A \fIsignal definition\fR defines a \fInamed signal type\fR and associates 
  2793. a list of zero or more \fIsort identifiers\fR with the \fIsignal name\fR 
  2794. . This allow 
  2795. \fIsignals\fR to carry \fIvalues\fR . [2.5.4]
  2796. .RT
  2797. .sp 1P
  2798. .LP
  2799.     \fBsignal list\fR 
  2800. .sp 9p
  2801. .RT
  2802. .LP
  2803.     \fIF | \fR \ \fIliste de signaux\fR 
  2804. .LP
  2805.     \fIS | \fR \ \fIlista de se\o"n~"ales\fR 
  2806. .PP
  2807. A \fIsignal list\fR is a list of \fIsignal identifiers\fR used in
  2808. \fIchannel\fR and \fIsignal route definitions\fR to indicate all the \fIsignals\fR 
  2809. which 
  2810. may be conveyed by the \fIchannel\fR or \fIsignal route\fR in one direction.
  2811. [2.5.5]
  2812. .RT
  2813. .sp 1P
  2814. .LP
  2815.     \fBsignal list area\fR 
  2816. .sp 9p
  2817. .RT
  2818. .LP
  2819.     \fIF | \fR \ \fIzone de liste de signaux\fR 
  2820. .LP
  2821.     \fIS | \fR \ \fI\*'area de lista de se\o"n~"ales\fR 
  2822. .PP
  2823. The \fIsignal list area\fR in an \fIinteraction diagram\fR represents a
  2824. \fIsignal list\fR associated with a \fIchannel\fR or \fIsignal route\fR .
  2825. [2.5.5]
  2826. .RT
  2827. .sp 1P
  2828. .LP
  2829.     \fBsignal route\fR 
  2830. .sp 9p
  2831. .RT
  2832. .LP
  2833.     \fIF | \fR \ \fIacheminement de signaux\fR 
  2834. .LP
  2835.     \fIS | \fR \ \fIruta de se\o"n~"ales\fR 
  2836. .PP
  2837. A \fIsignal route\fR indicates the flow of \fIsignals\fR between a
  2838. \fIprocess type\fR and either another \fIprocess type\fR in the same \fIblock\fR 
  2839. or the 
  2840. \fIchannels\fR connected to the \fIblock\fR . [2.5.2]
  2841. .RT
  2842. .sp 1P
  2843. .LP
  2844.     \fBsimple expression\fR 
  2845. .sp 9p
  2846. .RT
  2847. .LP
  2848.     \fIF | \fR \ \fIexpression simple\fR 
  2849. .LP
  2850.     \fIS | \fR \ \fIexpresi\*'on simple\fR 
  2851. .PP
  2852. A \fIsimple expression\fR is an \fIexpression\fR which only contains
  2853. \fIoperators, synonyms\fR , and \fIliterals\fR of the predefined \fIsorts\fR .
  2854. [4.3.2]
  2855. .RT
  2856. .sp 1P
  2857. .LP
  2858.     \fBsort\fR 
  2859. .sp 9p
  2860. .RT
  2861. .LP
  2862.     \fIF | \fR \ \fIsorte\fR 
  2863. .LP
  2864.     \fIS | \fR \ \fIg\*'enero\fR 
  2865. .PP
  2866. A \fIsort\fR is a set of \fIvalues\fR with common characteristics. \fISorts\fR 
  2867. are always nonempty and disjoint. [2.3.3, 5.1.3] 
  2868. .bp
  2869. .RT
  2870. .sp 1P
  2871. .LP
  2872. \fR 
  2873.     \fBspecification\fR 
  2874. .sp 9p
  2875. .RT
  2876. .LP
  2877.     \fIF | \fR \ \fIsp\*'ecification\fR 
  2878. .LP
  2879.     \fIS | \fR \ \fIespecificaci\*'on\fR 
  2880. .PP
  2881. A \fIspecification\fR is a definition of the requirements of a
  2882. \fIsystem\fR . A \fIspecification\fR consists of \fIgeneral parameters\fR 
  2883. required of the 
  2884. \fIsystem\fR and the \fIfunctional specification\fR of its required \fIbehaviour\fR 
  2885. . 
  2886. \fISpecification\fR may be also used as a shorthand for \*Q\fIspecification\fR 
  2887. and/or 
  2888. \fIdescription\fR \*U, e.g.,\ in \fISDL specification\fR or \fIsystem specification\fR 
  2889. . 
  2890. [1.1]
  2891. .RT
  2892. .sp 1P
  2893. .LP
  2894.     \fBstart\fR 
  2895. .sp 9p
  2896. .RT
  2897. .LP
  2898.     \fIF | \fR \ \fId\*'epart\fR 
  2899. .LP
  2900.     \fIS | \fR \ \fIarranque\fR 
  2901. .PP
  2902. The \fIstart\fR in a \fIprocess\fR is interpreted before any \fIstate\fR or
  2903. \fIaction\fR . The \fIstart\fR initializes the \fIprocess\fR by replacing 
  2904. its \fIformal\fR 
  2905. \fIparameters\fR by the \fIactual parameters\fR as specified in the \fIcreate\fR 
  2906. . 
  2907. [2.6.2]
  2908. .RT
  2909. .sp 1P
  2910. .LP
  2911.     \fBstate\fR 
  2912. .sp 9p
  2913. .RT
  2914. .LP
  2915.     \fIF | \fR \ \fI\*'etat\fR 
  2916. .LP
  2917.     \fIS | \fR \ \fIestado\fR 
  2918. .PP
  2919. A \fIstate\fR is a condition in which a \fIprocess instance\fR can consume 
  2920. a \fIsignal\fR . [2.6.3] 
  2921. .RT
  2922. .sp 1P
  2923. .LP
  2924.     \fBstate area\fR 
  2925. .sp 9p
  2926. .RT
  2927. .LP
  2928.     \fIF | \fR \ \fIzone d'\*'etat\fR 
  2929. .LP
  2930.     \fIS | \fR \ \fI\*'area de estado\fR 
  2931. .PP
  2932. A \fIstate area\fR is the \fISDL/GR\fR representation of one or more
  2933. \fIstates\fR . [2.6.3]
  2934. .RT
  2935. .sp 1P
  2936. .LP
  2937.     \fBstate picture\fR 
  2938. .sp 9p
  2939. .RT
  2940. .LP
  2941.     \fIF | \fR \ \fIrepr\*'esentation graphique d'\*'etat\fR 
  2942. .LP
  2943.     \fIS | \fR \ \fIpictograma de estado\fR 
  2944. .PP
  2945. A \fIstate picture\fR is a \fIstate symbol\fR incorporating pictorial
  2946. elements used to extend \fISDL/GR\fR to \fISDL/PE\fR . [Annex\ E]
  2947. .RT
  2948. .sp 1P
  2949. .LP
  2950.     \fBstop\fR 
  2951. .sp 9p
  2952. .RT
  2953. .LP
  2954.     \fIF | \fR \ \fIarr\* | t\fR 
  2955. .LP
  2956.     \fIS | \fR \ \fIparada\fR 
  2957. .PP
  2958. A \fIstop\fR is an action which terminates a \fIprocess instance\fR . When 
  2959. a \fIstop\fR is interpreted, all \fIvariables\fR owned by the \fIprocess 
  2960. instance\fR are 
  2961. destroyed and all \fIretained signals\fR in the \fIinput port\fR are no longer
  2962. accessible. [2.6.7.2.3]
  2963. .RT
  2964. .sp 1P
  2965. .LP
  2966.     \fBstring\fR 
  2967. .sp 9p
  2968. .RT
  2969. .LP
  2970.     \fIF | \fR \ \fIcha\* | ne (string)\fR 
  2971. .LP
  2972.     \fI\*^S:\fR \ \fIcadena; string\fR 
  2973. .PP
  2974. \fIString\fR is a predefined \fIgenerator\fR used to introduce lists. The 
  2975. predefined \fIoperators\fR include Length, First, Last, Substring and 
  2976. concatenation. [5.6.3]
  2977. .RT
  2978. .sp 1P
  2979. .LP
  2980.     \fBstructured sort\fR 
  2981. .sp 9p
  2982. .RT
  2983. .LP
  2984.     \fIF | \fR \ \fIsorte structur\*'ee\fR 
  2985. .LP
  2986.     \fIS | \fR \ \fIg\*'enero estructurado\fR 
  2987. .PP
  2988. A \fIstructured sort\fR is a \fIsort\fR with implicit \fIoperators\fR and
  2989. \fIequations\fR and special \fIconcrete syntax\fR for these implicit \fIoperators\fR 
  2990. . The \fIstructured sort\fR is used to make \fIvalues\fR with so called 
  2991. fields. The \fIvalues\fR of the fields can be \fIaccessed\fR and \fImodified\fR 
  2992. independently. 
  2993. [5.4.1.10]
  2994. .bp
  2995. .RT
  2996. .LP
  2997. \fR 
  2998. .sp 1P
  2999. .LP
  3000.     \fBsubblock\fR 
  3001. .sp 9p
  3002. .RT
  3003. .LP
  3004.     \fIF | \fR \ \fIsous\(hybloc\fR 
  3005. .LP
  3006.     \fIS | \fR \ \fIsubbloque\fR 
  3007. .PP
  3008. A \fIsubblock\fR is a \fIblock\fR contained within another \fIblock\fR .
  3009. \fISubblocks\fR are formed when a \fIblock\fR is \fIpartitioned\fR . [3.2.1, 
  3010. 3.2.2] 
  3011. .RT
  3012. .sp 1P
  3013. .LP
  3014.     \fBsubchannel\fR 
  3015. .sp 9p
  3016. .RT
  3017. .LP
  3018.     \fIF | \fR \ \fIsous\(hycanal\fR 
  3019. .LP
  3020.     \fIS | \fR \ \fIsubcanal\fR 
  3021. .PP
  3022. A \fIsubchannel\fR is a \fIchannel\fR formed when a \fIblock\fR is
  3023. \fIpartitioned\fR . A \fIsubchannel\fR connects a \fIsubblock\fR to a boundary 
  3024. of the 
  3025. \fIpartitioned block\fR or a \fIblock\fR to the boundary of a \fIpartitioned 
  3026. channel\fR . [3.2.2, 3.2.3] 
  3027. .RT
  3028. .sp 1P
  3029. .LP
  3030.     \fBsubsignal\fR 
  3031. .sp 9p
  3032. .RT
  3033. .LP
  3034.     \fIF | \fR \ \fIsous\(hysignal\fR 
  3035. .LP
  3036.     \fIS | \fR \ \fIsubse\o"n~"al\fR 
  3037. .PP
  3038. A \fIsubsignal\fR is a \fIrefinement\fR of a \fIsignal\fR and may be further 
  3039. \fIrefined\fR . [3.3] 
  3040. .RT
  3041. .sp 1P
  3042. .LP
  3043.     \fBsymbol\fR 
  3044. .sp 9p
  3045. .RT
  3046. .LP
  3047.     \fIF | \fR \ \fIsymbole\fR 
  3048. .LP
  3049.     \fIS | \fR \ \fIs\*'imbolo\fR 
  3050. .PP
  3051. A \fIsymbol\fR is a terminal in the \fIconcrete syntaxes\fR . A \fIsymbol\fR 
  3052. may be one of a set of shapes in the \fIconcrete graphical syntax\fR . 
  3053. .RT
  3054. .sp 1P
  3055. .LP
  3056.     \fBsynonym\fR 
  3057. .sp 9p
  3058. .RT
  3059. .LP
  3060.     \fIF | \fR \ \fIsynonyme\fR 
  3061. .LP
  3062.     \fIS | \fR \ \fIsin\*'onimo\fR 
  3063. .PP
  3064. A \fIsynonym\fR is a \fIname\fR which represents a \fIvalue\fR .
  3065. [5.4.1.13]
  3066. .RT
  3067. .sp 1P
  3068. .LP
  3069.     \fBsyntax diagram\fR 
  3070. .sp 9p
  3071. .RT
  3072. .LP
  3073.     \fIF | \fR \ \fIdiagramme de syntaxe\fR 
  3074. .LP
  3075.     \fIS | \fR \ \fIdiagrama de sintaxis\fR 
  3076. .PP
  3077. \fISyntax diagrams\fR are illustrations of the definitions of the
  3078. \fIconcrete textual syntax\fR . [Annex\ C2]
  3079. .RT
  3080. .sp 1P
  3081. .LP
  3082.     \fBsyntype\fR 
  3083. .sp 9p
  3084. .RT
  3085. .LP
  3086.     \fIF | \fR \ \fIsyntype\fR 
  3087. .LP
  3088.     \fIS | \fR \ \fIsintipo\fR 
  3089. .PP
  3090. A \fIsyntype\fR determines a set of \fIvalues\fR which corresponds to a
  3091. subset of the \fIvalues\fR of the parent \fItype\fR . The \fIoperators\fR 
  3092. of the \fIsyntype\fR are the same as those of the parent \fItype\fR . 
  3093. [5.4.1.9]
  3094. .RT
  3095. .sp 1P
  3096. .LP
  3097.     \fBsystem\fR 
  3098. .sp 9p
  3099. .RT
  3100. .LP
  3101.     \fIF | \fR \ \fIsyst\*`eme\fR 
  3102. .LP
  3103.     \fIS | \fR \ \fIsistema\fR 
  3104. .PP
  3105. A \fIsystem\fR is a set of \fIblocks\fR connected to each other and the
  3106. \fIenvironment\fR by \fIchannels\fR .
  3107. .bp
  3108. .RT
  3109. .sp 1P
  3110. .LP
  3111. \fR     \fBsystem definition\fR 
  3112. .sp 9p
  3113. .RT
  3114. .LP
  3115.     \fIF | \fR \ \fId\*'efinition de syst\*`eme\fR 
  3116. .LP
  3117.     \fIS | \fR \ \fIdefinici\*'on de sistema\fR 
  3118. .PP
  3119. A \fIsystem definition\fR is the \fISDL/PR\fR representation of a
  3120. \fIsystem\fR . [2.4.2]
  3121. .RT
  3122. .sp 1P
  3123. .LP
  3124.     \fBsystem diagram\fR 
  3125. .sp 9p
  3126. .RT
  3127. .LP
  3128.     \fIF | \ diagramme de syst\*`eme\fR 
  3129. .LP
  3130.     \fIS | \ diagrama de sistema\fR 
  3131. .PP
  3132. A \fIsystem diagram\fR is the \fISDL/GR\fR representation of a \fIsystem\fR 
  3133. . [2.4.2] 
  3134. .RT
  3135. .sp 1P
  3136. .LP
  3137.     \fBtask\fR 
  3138. .sp 9p
  3139. .RT
  3140. .LP
  3141.     \fIF | \fR \ \fIt\* | che\fR 
  3142. .LP
  3143.     \fIS | \fR \ \fItarea\fR 
  3144. .PP
  3145. A \fItask\fR is an action within a \fItransition\fR containing either a
  3146. sequence of \fIassignment statements\fR or \fIinformal text\fR . The interpretation 
  3147. of a \fItask\fR depends on and may act on information held by the \fIsystem\fR 
  3148. . 
  3149. [2.7.1]
  3150. .RT
  3151. .sp 1P
  3152. .LP
  3153.     \fBtask area\fR 
  3154. .sp 9p
  3155. .RT
  3156. .LP
  3157.     \fIF | \fR \ \fIzone de t\* | che\fR 
  3158. .LP
  3159.     \fIS | \fR \ \fI\*'area de tarea\fR 
  3160. .PP
  3161. A \fItask area\fR is the SDL/GR representation of a \fItask\fR .
  3162. [2.7.1]
  3163. .RT
  3164. .sp 1P
  3165. .LP
  3166.     \fBterm\fR 
  3167. .sp 9p
  3168. .RT
  3169. .LP
  3170.     \fIF | \fR \ terme\fR 
  3171. .LP
  3172.     \fIS | \fR \ \fIt\*'ermino\fR 
  3173. .PP
  3174. A \fIterm\fR is syntactically equivalent to an \fIexpression\fR . \fITerms\fR 
  3175. are only used in \fIaxioms\fR and are distinguished from \fIexpressions\fR 
  3176. for reasons of clarity. [5.2.3, 5.3.3] 
  3177. .RT
  3178. .sp 1P
  3179. .LP
  3180.     \fBtext extension symbol\fR 
  3181. .sp 9p
  3182. .RT
  3183. .LP
  3184.     \fIF | \fR \ \fIsymbole d'extension de texte\fR 
  3185. .LP
  3186.     \fIS | \fR \ \fIs\*'ibolo de ampliaci\*'on de texto\fR 
  3187. .PP
  3188. A \fItext extension symbol\fR is a container of text which belongs to the 
  3189. \fIgraphical symbol\fR to which the \fItext extension symbol\fR is attached. 
  3190. The 
  3191. text in the \fItext extension symbol\fR follows the text in the symbol to which
  3192. it is attached. [2.2.7]
  3193. .RT
  3194. .sp 1P
  3195. .LP
  3196. \fR     \fBtime\fR 
  3197. .sp 9p
  3198. .RT
  3199. .LP
  3200.     \fIF | \fR \ \fItemps (time)\fR 
  3201. .LP
  3202.     \fIS | \fR \ \fItiempo; time\fR 
  3203. .PP
  3204. \fITime\fR is a \fIsort\fR defined in a predefined \fIpartial type\fR 
  3205. \fIdefinition\fR for which the \fIvalues\fR are denoted as the \fIvalues\fR 
  3206. of \fIreal\fR . The predefined \fIoperators\fR using \fItime\fR and \fIduration\fR 
  3207. are\ +\ and\(em. 
  3208. [5.5.4.1, 5.6.12]
  3209. .RT
  3210. .sp 1P
  3211. .LP
  3212.     \fBtimer\fR 
  3213. .sp 9p
  3214. .RT
  3215. .LP
  3216.     \fIF | \fR \ \fItemporisateur\fR 
  3217. .LP
  3218.     \fIS | \fR \ \fItemporizador\fR 
  3219. .PP
  3220. A \fItimer\fR is an object, owned by a \fIprocess instance\fR , that can 
  3221. be \fIactive\fR or \fIinactive\fR . An \fIactive timer\fR returns a \fItimer 
  3222. signal\fR to the 
  3223. owning \fIprocess instance\fR at a specified time. See also \fIset\fR and 
  3224. \fIreset\fR . 
  3225. [2.8, 5.5.4.5]
  3226. .bp
  3227. .RT
  3228. .sp 1P
  3229. .LP
  3230. \fR     \fBtransition\fR 
  3231. .sp 9p
  3232. .RT
  3233. .LP
  3234.     \fIF | \fR \ \fItransition\fR 
  3235. .LP
  3236.     \fIS | \fR \ \fItransici\*'on\fR 
  3237. .PP
  3238. A \fItransition\fR is an active sequence which occurs when a \fIprocess\fR 
  3239. \fIinstance\fR changes from one \fIstate\fR to another. [2.6.7.1] 
  3240. .RT
  3241. .sp 1P
  3242. .LP
  3243.     \fBtransition area\fR 
  3244. .sp 9p
  3245. .RT
  3246. .LP
  3247.     \fIF | \fR \ \fIzone de transition\fR 
  3248. .LP
  3249.     \fIS | \fR \ \fI\*`area de transici\*'on\fR 
  3250. .PP
  3251. A \fItransition area\fR is the \fISDL/GR\fR representation of a
  3252. \fItransition\fR . [2.6.7.1]
  3253. .RT
  3254. .sp 1P
  3255. .LP
  3256.     \fBtransition string\fR 
  3257. .sp 9p
  3258. .RT
  3259. .LP
  3260.     \fIF | \fR \ \fIcha\* | ne de transition\fR 
  3261. .LP
  3262.     \fIS | \fR \ \fIcadena de transici\*'on\fR 
  3263. .PP
  3264. A \fItransition string\fR is a sequence of zero or more \fIactions\fR .
  3265. [2.6.7.1]
  3266. .RT
  3267. .sp 1P
  3268. .LP
  3269.     \fBtransition string area\fR 
  3270. .sp 9p
  3271. .RT
  3272. .LP
  3273.     \fIF | \fR \ \fIzone de cha\* | ne de transition\fR 
  3274. .LP
  3275.     \fIF | \fR \ \fI\*'area de cadena de transici\*'on\fR 
  3276. .PP
  3277. A \fItransition string area\fR is the \fISDL/GR\fR representation of a
  3278. \fItransition string\fR . [2.6.7.1]
  3279. .RT
  3280. .sp 1P
  3281. .LP
  3282.     \fBtype\fR 
  3283. .sp 9p
  3284. .RT
  3285. .LP
  3286.     \fIF | \fR \ \fItype\fR 
  3287. .LP
  3288.     \fIS | \fR \ \fItipo\fR 
  3289. .PP
  3290. A \fItype\fR is a set of properties for entities. Examples of classes of 
  3291. \fItypes\fR in \fISDL\fR include \fIblocks, channels, signal routes, signals\fR 
  3292. , and 
  3293. \fIsystems\fR . [1.3.1]
  3294. .RT
  3295. .sp 1P
  3296. .LP
  3297.     \fBtype definition\fR 
  3298. .sp 9p
  3299. .RT
  3300. .LP
  3301.     \fIF | \fR \ \fId\*'efinition de type\fR 
  3302. .LP
  3303.     \fIS | \fR \ \fIdefinici\*'on de tipo\fR 
  3304. .PP
  3305. A \fItype definition\fR defines the properties of a \fItype\fR 
  3306. [1.3.1]
  3307. .RT
  3308. .sp 1P
  3309. .LP
  3310.     \fBundefined\fR 
  3311. .sp 9p
  3312. .RT
  3313. .LP
  3314.     \fIF | \fR \ \fIind\*'efini (undefined)\fR 
  3315. .LP
  3316.     \fIS | \fR \ \fIindefinido\fR 
  3317. .PP
  3318. \fIUndefined\fR is a \*Qspecial\*U \fIvalue\fR of every \fIsort\fR which 
  3319. indicates that a \fIvariable\fR of that \fIsort\fR has not yet been \fIassigned\fR 
  3320. a normal \fIvalue\fR . See \fIaccess\fR . [5.5.2.2] 
  3321. .RT
  3322. .sp 1P
  3323. .LP
  3324.     \fBvalid input signal set\fR 
  3325. .sp 9p
  3326. .RT
  3327. .LP
  3328.     \fIF | \fR \ \fIensemble de signaux d'entr\*'ee valides\fR 
  3329. .LP
  3330.     \fIS | \fR \ \fIconjunto de se\o"n~"ales de entrada v\*'alidas\fR 
  3331. .PP
  3332. The \fIvalid input signal set\fR of a \fIprocess\fR is the list of all
  3333. external \fIsignals\fR handled by any \fIinput\fR in the \fIprocess\fR 
  3334. . It consists of 
  3335. those \fIsignals\fR in \fIsignal routes\fR leading to the \fIprocess\fR 
  3336. . Compare with 
  3337. \fIcomplete valid input signal set\fR . [2.4.4, 2.5.2]
  3338. .bp
  3339. .RT
  3340. .LP
  3341. \fR 
  3342. .sp 1P
  3343. .LP
  3344.     \fBvalid specification\fR 
  3345. .sp 9p
  3346. .RT
  3347. .LP
  3348.     \fIF | \fR \ \fIsp\*'ecification valide\fR 
  3349. .LP
  3350.     \fIS | \fR \ \fIespecificaci\*'on v\*'alida\fR 
  3351. .PP
  3352. A \fIvalid specification\fR is a \fIspecification\fR which follows the
  3353. \fIconcrete syntax\fR and static \fIwell\(hyformedness rules\fR . 1.3.3]
  3354. .RT
  3355. .sp 1P
  3356. .LP
  3357.     \fBvalue\fR 
  3358. .sp 9p
  3359. .RT
  3360. .LP
  3361.     \fIF | \fR \ \fIvaleur\fR 
  3362. .LP
  3363.     \fIS | \fR \ \fIvalor\fR 
  3364. .PP
  3365. A \fIvalue\fR of a \fIsort\fR is one of the values which are associated
  3366. with a \fIvariable\fR of that \fIsort\fR , and which can be used with an 
  3367. \fIoperator\fR 
  3368. requiring a \fIvalue\fR of that \fIsort\fR . A \fIvalue\fR is the result of the
  3369. interpretation of an \fIexpression\fR . [2.3.3, 5.1.3]
  3370. .RT
  3371. .sp 1P
  3372. .LP
  3373.     \fBvariable\fR 
  3374. .sp 9p
  3375. .RT
  3376. .LP
  3377.     \fIF | \fR \ \fIvariable\fR 
  3378. .LP
  3379.     \fIS | \fR \ \fIvariable\fR 
  3380. .PP
  3381. A \fIvariable\fR is an entity owned by a \fIprocess instance\fR or
  3382. \fIprocedure instance\fR which can be associated with a \fIvalue\fR through an
  3383. \fIassignment statement\fR . When \fIaccessed\fR , a \fIvariable\fR yields 
  3384. the last \fIvalue\fR which was assigned to it. [2.3.2] 
  3385. .RT
  3386. .sp 1P
  3387. .LP
  3388.     \fBvariable definition\fR 
  3389. .sp 9p
  3390. .RT
  3391. .LP
  3392.     \fIF | \fR \ \fId\*'efinition de variable\fR 
  3393. .LP
  3394.     \fIS | \fR \ \fIdefinici\*'on de variable\fR 
  3395. .PP
  3396. A \fIvariable definition\fR is the indication that the \fIvariable\fR 
  3397. \fInames\fR listed will be \fIvisible\fR in the \fIprocess, procedure\fR 
  3398. or \fIservice\fR 
  3399. containing the definition. [2.6.1.1]
  3400. .RT
  3401. .sp 1P
  3402. .LP
  3403.     \fBview definition\fR 
  3404. .sp 9p
  3405. .RT
  3406. .LP
  3407.     \fIF | \fR \ \fId\*'efinition de visibilit\*'e\fR 
  3408. .LP
  3409.     \fIS | \fR \ \fIdefinici\*'on de visi\*'on\fR 
  3410. .PP
  3411. A \fIview definition\fR defines a \fIvariable identifier\fR in another
  3412. \fIprocess\fR where it has the \fIrevealed attribute\fR . This allows the 
  3413. viewing 
  3414. \fIprocess\fR to \fIaccess\fR the \fIvalue\fR of that \fIvariable\fR .
  3415. [2.6.1.2]
  3416. .RT
  3417. .sp 1P
  3418. .LP
  3419.     \fBview expression\fR 
  3420. .sp 9p
  3421. .RT
  3422. .LP
  3423.     \fIF | \fR \ \fIexpression de vue\fR 
  3424. .LP
  3425.     \fIS | \fR \ \fIexpresi\*'on de visi\*'on\fR 
  3426. .PP
  3427. A \fIview expression\fR is used within an \fIexpression\fR to yield the
  3428. current \fIvalue\fR of a \fIviewed variable\fR . [5.5.4.4]
  3429. .RT
  3430. .sp 1P
  3431. .LP
  3432.     \fBvisibility\fR 
  3433. .sp 9p
  3434. .RT
  3435. .LP
  3436.     \fIF | \fR \ \fIvisibilit\*'e\fR 
  3437. .LP
  3438.     \fIS | \fR \ \fIvisibilidad\fR 
  3439. .PP
  3440. The \fIvisibility\fR of an \fIidentifier\fR is the \fIscope units\fR in 
  3441. which it may be used. No two definitions in the same \fIscope unit\fR and 
  3442. belonging to 
  3443. the same \fIentity class\fR may have the same \fIname\fR . [2.2.2]
  3444. .RT
  3445. .sp 1P
  3446. .LP
  3447.     \fBwell\(hyformedness rules\fR 
  3448. .sp 9p
  3449. .RT
  3450. .LP
  3451.     \fIF | \fR \ \fIr\*`egles de bonne formation\fR 
  3452. .LP
  3453.     \fIS | \fR \ \fIreglas de formaci\*'on correcta\fR 
  3454. .PP
  3455. \fIWell\(hyformedness rules\fR are constraints on a \fIconcrete syntax\fR 
  3456. enforcing static conditions not directly expressed by the syntax rules.
  3457. [1.4.1, 1.4.2]
  3458. .RT
  3459. .LP
  3460. .bp
  3461. .sp 1P
  3462. .ce 1000
  3463. (Folios anglais par Montage)
  3464. .ce 0
  3465. .sp 1P
  3466. .ce 1000
  3467. .sp 1
  3468. \fBPour Montage \ \ \ \ 
  3469. Fascicule X.1\ \(em\ Dossier 360 \ \ \ \ 
  3470. (Anglais) 
  3471. .ce 0
  3472. .sp 1P
  3473. .ce 1000
  3474. \fB(FOLIOS 205 \(em 235: AVEC TEXTE SAISI MEP) FOLIOS 236 \(em 265 EXTERIEUR\fR 
  3475. .ce 0
  3476. .sp 1P
  3477. .LP
  3478. .sp 3
  3479. 236
  3480. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ B\fR 
  3481. .ad r
  3482. .sp 2
  3483. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ B\fR 237
  3484. .ad b
  3485. .RT
  3486. .LP
  3487. .sp 2
  3488. 238
  3489. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ B\fR 
  3490. .ad r
  3491. .sp 2
  3492. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ B\fR 239
  3493. .ad b
  3494. .RT
  3495. .LP
  3496. .sp 2
  3497. 240
  3498. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ B\fR 
  3499. .ad r
  3500. .sp 2
  3501. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ B\fR 241
  3502. .ad b
  3503. .RT
  3504. .LP
  3505. .sp 2
  3506. 242
  3507. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ B\fR 
  3508. .ad r
  3509. .sp 2
  3510. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ B\fR 243
  3511. .ad b
  3512. .RT
  3513. .LP
  3514. .sp 2
  3515. 244
  3516. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ B\fR 
  3517. .LP
  3518. .bp
  3519. .ad r
  3520. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 245
  3521. .ad b
  3522. .RT
  3523. .LP
  3524. .sp 2
  3525. 246
  3526. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 
  3527. .ad r
  3528. .sp 2
  3529. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 247
  3530. .ad b
  3531. .RT
  3532. .LP
  3533. .sp 2
  3534. 248
  3535. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 
  3536. .ad r
  3537. .sp 2
  3538. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 249
  3539. .ad b
  3540. .RT
  3541. .LP
  3542. .sp 2
  3543. 250
  3544. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 
  3545. .ad r
  3546. .sp 2
  3547. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 251
  3548. .ad b
  3549. .RT
  3550. .LP
  3551. .sp 2
  3552. 252
  3553. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 
  3554. .ad r
  3555. .sp 2
  3556. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 253
  3557. .ad b
  3558. .RT
  3559. .LP
  3560. .sp 2
  3561. 254
  3562. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 
  3563. .ad r
  3564. .sp 2
  3565. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 255
  3566. .ad b
  3567. .RT
  3568. .LP
  3569. .sp 2
  3570. 256
  3571. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 
  3572. .LP
  3573. .sp 2
  3574. .ad r
  3575. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 257
  3576. .ad b
  3577. .RT
  3578. .LP
  3579. .sp 2
  3580. 258
  3581. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 
  3582. .ad r
  3583. .sp 2
  3584. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 259
  3585. .ad b
  3586. .RT
  3587. .LP
  3588. .sp 2
  3589. 260
  3590. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 
  3591. .ad r
  3592. .sp 2
  3593. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 261
  3594. .ad b
  3595. .RT
  3596. .LP
  3597. .sp 2
  3598. 262
  3599. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 
  3600. .ad r
  3601. .sp 2
  3602. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 263
  3603. .ad b
  3604. .RT
  3605. .LP
  3606. .sp 2
  3607. 264
  3608. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 
  3609. .ad r
  3610. .sp 2
  3611. \fBFascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ C1\fR 265
  3612. .ad b
  3613. .RT
  3614. .LP
  3615. .bp
  3616.