Примітка. Відмітимо, що самі номери послідовності повідомлень з однаковим префіксом утворюють відношення впорядкованості і

Відмітимо, що самі номери послідовності повідомлень з однаковим префіксом утворюють відношення впорядкованості і, відповідно, неявно вказують на попередні повідомлення. Таким попереднім повідомленням буде повідомлення з номером, найправіша цифра якого на одиницю менша, ніж у даного повідомлення. Наприклад, для повідомлення з номером "3.1.4.6" попереднім є повідомлення з номером "3.1.4.5".

Сенс вказівки попередніх повідомлень полягає в тому, що це повідомлення не може бути передане, поки не будуть передані своїм адресатам всі повідомлення, номери яких записані в даному списку.

Приклад запису попередніх повідомлень:

A3, В4/ С5: помилка запису (сектор).

Сторожова умова є звичайним булевим виразом і призначена для синхронізації окремих „ниток” потоку керування. Записується в квадратних дужках і може бути опущена, якщо вона відсутня у цьому повідомленні. Семантика сторожової умови забезпечує передачу повідомлення тільки в тому випадку, якщо ця умова приймає значення "істина".

Приклад запису сторожових умов без номерів попередніх повідомлень:

[(х>=0)&(х<=255)] 1.2: відобразіть_на_екрані_колір(х)

[кількість цифр номера = 7] 3.1: набрати_телефонний_номер()

Вираз послідовності – є розділений крапками список окремих термів послідовностей, після якого записується двокрапка:

<Терм послідовності'.'><Терм послідовності'.'>':'

Кожний з термів представляє окремий рівень процедурної вкладеності у формі закінченої ітерації. Найбільш верхній рівень відповідає найлівішому терму послідовності. Якщо всі потоки керування паралельні, то вкладеність відсутня. Кожний з термів послідовності має такий синтаксис:

[Ціле число| Ім'я] [Символ рекурентності].

Ціле число вказує на порядковий номер повідомлення в процедурній послідовності верхнього рівня. Повідомлення, номери яких відрізняються на одиницю, слідують підряд один за іншим.

Наприклад, повідомлення з номером "3.1.4" слідує за повідомленням з номером "3.1.3" в процедурній послідовності "3.1".

Ім'я використовується для специфікації паралельних „ниток” керування. Повідомлення, які відрізняються тільки іменем, є паралельними на цьому рівні вкладеності. На одному рівні вкладеності всі „нитки” керування еквівалентні в сенсі пріоритету передачі повідомлень.

Наприклад, повідомлення з виразами "3.1а" і "3.1б" є паралельними в процедурній послідовності "3.1".

Символ рекурентності використовується для вказання умовного або ітеративного виконання. Семантика рекурентності представляє нуль або більше повідомлень, які повинні бути виконані залежно від записаної умови. Можливі два випадки запису рекурентності:

¨ '*' '['Пропозиція-ітерація']' для запису ітеративного виконання відповідного виразу. Ітерація представляє послідовність повідомлень одного рівня вкладеності. Пропозиція-ітерація може бути опущена, якщо умови ітерації ніяк не специфікуються. Найчастіше пропозиція-ітерація записується на деякому псевдокоді або мові програмування. У мові UML формат запису цієї пропозиції не визначений. Наприклад, "*[/:=/..n]" - означає послідовну передачу повідомлення з параметром /, який змінюється від 1 до деякого цілого числа n з кроком 1.

¨ '['вираз-умова’]’ для запису розгалуження. Цю умову представляє таке повідомлення, передача якого по даній гілці можлива тільки при істинності цієї умови. Найчастіше пропозицію-умову записують на деякому псевдокоді або мові програмування, оскільки в мові UML формат запису цієї пропозиції не визначений. Наприклад, [х>у] означає, що повідомлення по деякій гілці буде передано тільки в тому випадку, якщо значення х більше значення у.

Поиск по сайту: