тим далі, чим більше підлеглим є об'єкт). Потім уздовж осі Y розміщуються повідомлення, які об'єкти посилають і приймають, причому більш пізні виявляються нижче. Це дає читачеві наочну картину, що дозволяє зрозуміти розвиток потоку управління в часі.
Малюнок 12.1 - Діаграма послідовностей
Діаграми послідовностей характеризуються двома особливостями, що відрізняють їх від діаграм кооперації.
1. На них показана лінія життя об'єкта . Це вертикальна пунктирна лінія, що відображає існування об'єкта в часі. Велика частина об'єктів, представлених на діаграмі взаємодій, існує протягом всього взаємодії, тому їх зображують у верхній частині діаграми, а їх лінії життя промальовані зверху до низу. Об'єкти можуть створюватися і під час взаємодій. Лінії життя таких об'єктів розпочинаються з отримання повідомлення зі стереотипом create. Об'єкти можуть також знищуватися під час взаємодій; в такому разі їх лінії життя закінчуються отриманням повідомлення зі стереотипом destroy, а в якості візуального образу використовується велика літера X, що позначає кінець життя об'єкта. (Обставини життєвого циклу об'єкта можна вказувати за допомогою обмежень new, destroyed і transient).
2. Фокус управління . Він зображається у вигляді витягнутого прямокутника, що показує проміжок часу, протягом якого об'єкт виконує яку-небудь дію, безпосередньо або за допомогою підпорядкованої процедури. Верхня грань прямокутника вирівнюється по тимчасовій осі з моментом початку дії, нижня - з моментом його завершення. Вкладеність фокусу управління, викликану рекурсією (тобто зверненням до власної операції) або зворотним викликом з боку іншого об'єкта, можна показати, розташувавши інший фокус управління трохи правіше свого батька (малюнок 12.2).
Малюнок 12.2 - Рекурсія. Рефлексивне повідомлення
12.2 Діаграми кооперації
Діаграма кооперації акцентує увагу на організації об'єктів, що приймають участь у взаємодії. Як показано на малюнку 12.3, для створення діаграми кооперації потрібно розташувати беруть участь у взаємодії об'єкти у вигляді вершин графа. Потім зв'язки, що з'єднують ці об'єкти, зображуються у вигляді дуг цього графа. Нарешті, зв'язки доповнюються повідомленнями, які об'єкти приймають і посилають. Це дає користувачеві ясне візуальне уявлення про потоці управління в контексті структурної організації кооперирующихся об'єктів.
Малюнок 12.3 - Діаграма кооперації
У діаграм кооперації є дві властивості, які відрізняють їх від діаграм послідовностей.
1. Шлях . Для опису зв'язку одного об'єкта з іншим до далекої кінцевий точці цьому зв'язку можна приєднати стереотип шляху (наприклад, local, що показує, що позначений об'єкт є локальним по відношенню до відправника повідомлення). Має сенс явним чином зображати шлях зв'язку тільки відносно шляхів типу local, parameter, global і self (але не associations).
2. Порядковий номер повідомлення . Для позначення часовій послідовності перед повідомленням можна поставити номер (нумерація починається з одиниці), який повинен поступово зростати для кожного нового повідомлення. Для позначення укладення використовується десяткова нотація Дьюї (1 - перше повідомлення; 1.1- перше повідомлення, вкладене в повідомлення 1; 1.2 - друге повідомлення, вкладене в повідомлення 1 і т.д.). Рівень вкладеності не обмежений. Для кожного зв'язку можна показати кілька повідомлень (ймовірно, що посилаються різними відправниками), і кожне з них повинне мати унікальний порядковий номер.
Можна моделювати складніші потоки, що містять ітерації і розгалуження (для цього більш зручна діаграма діяльності). Ітерація являє собою повторювану послідовність повідомлень. Для її моделювання перед номером повідомлення в послідовності ставиться вираз ітерації, наприклад * [i:=1..n] (або просто *, якщо треба позначити ітерацію без подальшої деталізації). Ітерація показує, що повідомлення (і всі вкладені в нього повідомлення) буде повторюватися у відповідності зі значенням заданого виразу. Аналогічно умова являє собою повідомлення, виконання якого залежить від результатів обчислення деякого булевского вираження. Для моделювання умови перед порядковим номером повідомлення ставиться вираз, наприклад [х gt; 0]. У всіх альтернативних гілок буде один і той самий порядковий номер, але умови на кожній гілці повинні бути задані так, щоб два з них не виконувалися одночасно (не перекриває).
12.3 Семантична еквіва...
