Page 63 - 6602

операції або діяльності.
Кожне повідомлення може бути помічене рядком тексту, який
має наступний формат:
«Попередні повідомлення» / «Вираз послідовності» : «Повертане
значення» := «ім'я
повідомлення» («Список
аргументів»)

Попередні повідомлення — це розділені комами номери
повідомлень, записані перед похилою рисою: «Номер
повідомлення» ',' … '/' . Якщо список номерів повідомлень
порожній, то весь запис, включаючи похилу рису, опускається.
Якщо номери повідомлень вказуються, то вони повинні відповідати
номерам інших повідомлень на цій же діаграмі кооперації. Сенс
вказівки попередніх повідомлень полягає в тому, що дане
повідомлення не може бути передане, поки не будуть передані
своїм адресатам всі повідомлення, номери яких записані в даному
списку.
Вираз послідовності — це розділений крапками список
окремих термів послідовностей, після якого записується двокрапка:
«Терм послідовності'.'.» ':' Кожен з термів представляє окремий
рівень процедурної вкладеності. Найвищий рівень відповідає
найлівішому терму послідовності. Якщо всі потоки управління
паралельні, то вкладеність відсутня. Кожен терм послідовності має
наступний синтаксис:
[Ціле число | Ім'я] [Рекурентність].
 Ціле число вказує на порядковий номер повідомлення в
процедурній послідовності верхнього рівня. Повідомлення, номери
яких відрізняються на одиницю, йдуть підряд один за одним.
 Ім'я у формі літери алфавіту використовується для
специфікації паралельних потоків (ниток) управління.

59