Розділ «3.6. Об'єктне моделювання автоматизованої системи технічної експлуатації автомобілів»

- synchronous, тобто повідомлення синхронне, яке застосовується, коли клієнт посилає повідомлення і чекає відповіді користувача;

- return, тобто повернення повідомлення, коли одержувач повідомлення посилає і повертає фокус управління відправникові цього повідомлення;

- asynchronous, тобто повідомлення асинхронне, коли клієнт посилає повідомлення сервера і продовжує свою роботу, не чекаючи підтвердження про отримання;

- create, тобто створення повідомлення, коли відправник створює екземпляр класифікатора, визначений одержувачем;

- destroy, тобто знищення повідомлення, коли відправник знищує одержувача;

- found, тобто знайдене повідомлення, коли відправник одержувача знаходиться за зоною видимості взаємодії (використовується, коли необхідно показати отримання повідомлення без вказівки його джерела);

- lost, тобто втрачене повідомлення, коли повідомлення ніколи не досягає точки свого відправлення (може використовуватися для позначення стану помилки, при якій втрачаються повідомлення);

- balking, тобто повідомлення з відмовою і стає в чергу, коли клієнт посилає повідомлення серверу (якщо сервер не в змозі негайно прийняти повідомлення – воно відміняється);

- timeout, тобто повідомлення з лімітованим часом очікування, коли клієнт посилає повідомлення серверу, а потім чекає вказаний час (якщо протягом цього часу сервер не приймає повідомлення – воно відміняється).

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

Вони можуть бути приєднані до класів, варіантів використання або до всієї системи з метою візуалізації, специфікації, конструювання і документування динаміки окремих об'єктів. Діаграми станів зображають всі можливі стани, в яких може знаходитися конкретний об'єкт, а також зміни стану об'єкту, які відбуваються в результаті впливу деяких подій на цей об'єкт. У більшості об'єктно-орієнтованих методів діаграми станів будуються для єдиного класу, щоб по казати динаміку поведінки єдиного об'єкту. Діаграми станів зазвичай містять прості і складені стани, а також переходи, події і дії. Вона може містити галуження, розділення, з'єднання, стани дій і стани діяльності, об'єкти, початкові і кінцеві стани, історичні стани і так далі – в цілому, на діаграмі станів відображаються всі без виключення характеристики автомата.

Автомат – це опис послідовності станів, через які проходить об'єкт впродовж ЖЦ, реагуючи на події, а також опис реакції на ці події. На діаграмі станів він володіє наступними графічними примітивами:

- стани позначаються прямокутниками з округлими кутами, за винятком початкового стану (рисований круг) і кінцевого стану (бичаче око);

- переходи вказують на можливі шляхи між станами і моделюються за допомогою стрілок;

- події записуються над переходами, які ініціюються ними.

З часом об'єкти обмінюються повідомленнями. Ці повідомлення і є подіями, які можуть привести до зміни стану об'єкту. Формально, подія є специфікацією деякого факту, який має місце в просторі і в часі. Семантика поняття події фіксує увагу на зовнішніх проявах якісних змін, які відбуваються під час переходу модельованого об'єкту із стану в стан. У мові UML події грають роль стимулів, які ініціюють переходи з одних станів в інші. Діаграми станів можуть бути приєднані до класів, прецедентів або до всієї системи з метою візуалізації, специфікації, конструювання і документування динаміки об'єктів. Вони корисні не тільки для моделювання динамічних аспектів системи, але і для конструювання систем що виконуються за допомогою прямого і зворотного проектування.

Діаграма діяльності є блок-схемою, яка показує, як потік управління переходить від однієї діяльності до іншої. На відміну від традиційної блок-схеми діаграма діяльності показує паралелізм так само добре, як і галуження потоку управління. Діяльністю є деякий стан, в якому щось виконується. Діяльність може бути додана до будь-якого елементу моделі з метою моделювання його поведінки. Елемент забезпечує контекст для діяльності, і діяльність може використовувати можливості свого контексту. Діяльності зазвичай додаються до прецедентів, класів, інтерфейсів, компонентів, кооперацій, операцій. Діяльності – це системи вузлів (nodes), сполучених ребрами (edges).

Стан дії є спеціальним випадком стану з деякою вхідною дією і одним вихідним із стану переходом. Звичайне використання стану дії полягає в моделюванні одного кроку виконання алгоритму або потоку управління. Суть діяльності може бути виражена вербально або кодом. При побудові діаграми діяльності використовуються тільки нетригерні переходи, тобто такі, які спрацьовують відразу після завершення діяльності або виконання відповідної дії. На діаграмі такий перехід зображується суцільною лінією із стрілкою. Злиття мас декілька вхідних переходів і один початковий перехід. Розділ має один вхідний перехід і декілька початкових переходів. На діаграмі використовуються два стани: початкове і кінцеве. Графічно розгалуження на діаграмі діяльності позначається невеликим ромбом, усередині якого немає ніякого тексту, позначає вхід і один або декілька виходів, позначених сторожовою умовою. У разі його правильного виконання об'єкт продовжує рух, у разі наявності помилки – об'єкт повертається до того місця, де можливе усунення даної помилки.

Основа розробки об'єктної моделі системи TEA у відповідності з технологією ООП – це аналіз статики системи, яка проводиться шляхом побудови діаграм варіантів використання і діаграм класів.

3.6.2. Діаграми системи технічної експлуатації