Главная  Классификация протоколов сигнализации 

[0] [1] [2] [3] [4] [5] [6] [ 7 ] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169]

Продолжение табл. 2.

Графический SDL

программоподобный SDL

Значение символов

STOP

Останов

®

RETURN

Возврат из процедуры

ENDMACRO

Выход из макро

START

Старт процесса

PROCEDURE

Начало процедуры

MACRO EXPANSION

Вход в макро

Расширение текста

---------

COMMENT

Комментарии

JOIN X

Входной соединитель,

выходной соединитель

*[ . I

Все, кроме

< >

PROVIDED

Непрерывный сигнал




<


Отношение длины к ширине = 2:1.

Используются три размера: длина = 40мм, 28мм и 20мм.

{AI4i= = 20мм и т.д.)

Рис. 2.3. Шаблон для вычерчивания SDL-диаграмм

Некоторые инструментальные средства позволяют также проверить моделируемые режимы на соответствие формулам логики, записанным либо в виде временной логики, либо как MSC. В этом случае сценарии MSC служат предикатами в моделируемых SDL спецификациях, которые, в свою очередь, должны включать описания поведения MSC. Динамические анализаторы SDL успешно применяются также для обнаружения тупиковых ситуации (блокировок) в системах SDL.

Граф процесса в представлении SDL состоит из набора графических символов, соединенных направленными линиями потоков. Каждому символу приписывается имя. Если в диаграмме присутствует несколько символов состояния с одним и тем же именем, то все они означают одно и то же состояние. В символах, представляющих ввод, вывод и сохранение, должно присутствовать имя соответствующего сигнала. Аналогичным образом текст помещается в символах задачи и решения.

При соединении символов в диаграммы необходимо соблюдать определенные правила



соединения. Эти правила следующие.

• за символом состояния может следовать только символ ввода или символы ввода и сохранения;

• символ ввода (сохранения) может следовать только за символом состояния;

• за символом ввода может следовать любой (один) символ, кроме ввода и сохранения;

• за символом задачи или вывода следует любой (один) символ, кроме ввода или сохранения;

• за символом решения следует и (п>2) символов, которые могут быть какими угодно, кроме символов ввода, сохранения;

• за символом сохранения не следует ничего.

Рисунок 2.4. иллюстрирует вышеприведенные правила построения SDL-диаграмм процесса.

Указатели стрелок требуются всякий раз, когда сходятся две линии связи или когда линия связи входит в ОиТ-соединитель или символ состояния. Указатели стрелок запрещаются на линиях связи, входящих в символы ввода. При всех других обстоятельствах указатели стрелок являются необязательными.

Существуют следующие правила при вычерчивании и чтении графических SDL-диаграмм, которым автор пытался следовать в данной книге: обычная последовательность чтения диаграмм - сверху - вниз и слева - направо; диаграммы должны быть краткими, детализация диаграмм должна осуществляться в процедурах, макро и т.п.; связный сегмент диаграммы по возможности представляется на одной странице; текст предпочтительно размещать в символах, а если это не удается - в символах расширения текста.




Рис. 2.4. Допустимые соединения символов в SDL-диаграмме

Ниже рассматриваются основные объекты SDL-диаграмм.

Согласно уже данному определению, процесс в SDL рассматривается как некий объект, который находится в состоянии ожидания получения входного сигнала либо в переходе. Состояние определяется как условие, в котором действие процесса временно приостановлено в ожидании ввода (рис. 2.5).

Решение - выбор одного из альтернативных действий в зависимости от результатов анализа проверки параметров, связанных с входными сигналами, и хранимой в памяти процесса информации, существенных для дальнейшего функционирования процесса. Другими словами, символ решения определяет выбор одного среди нескольких (п>2) путей для продолжения перехода процесса.

Задача - действие внутри перехода, связанное с манипулированием входными или выходными параметрами, работой с памятью, вычислениями и не являющееся ни решением, ни выводом, ни созданием процесса, ни вызовом процедуры или макроса.



[0] [1] [2] [3] [4] [5] [6] [ 7 ] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169]

0.0013