- •Міністерство освіти та науки України в.В. Литвин, н.Б. Шаховська Проектування інформаційних систем
- •Передмова наукового редактора серії підручників «комп’ютинґ»
- •1.1. Складність програмного забезпечення
- •1.2. Структура складних систем
- •1.2.1. Приклади складних систем
- •1.2.2. П'ять ознак складної системи
- •1.2.3. Організована і неорганізована складність
- •1.3. Методи подолання складності
- •1.3.1. Роль декомпозиції
- •1.3.3. Роль абстракції
- •1.3.4. Роль ієрархії
- •1.4. Про проектування складних систем
- •1.4.1. Інженерна справа як наука і мистецтво
- •1.4.2. Сенс проектування
- •4. Методи подолання складності.
- •2.1. Базові означення
- •2.2. Методи проектування інформаційних систем
- •2.3. Види інформаційних систем
- •2.4. Рівні моделей даних
- •3. Види інформаційних систем.
- •3.1. Методологія процедурно-орієнтованого програмування
- •3.2. Методологія об'єктно-орієнтованого програмування
- •3.3. Методологія об'єктно-орієнтованого аналізу і проектування
- •3.4. Методологія системного аналізу і системного моделювання
- •4.1. Передісторія. Математичні основи
- •4.1.1. Теорія множин
- •4.1.2. Теорія графів
- •4.1.3. Семантичні мережі
- •4.2. Діаграми структурного системного аналізу
- •4.3. Основні етапи розвитку uml
- •3. Семантичні мережі.
- •5.1. Принципи структурного підходу до проектування
- •5.2. Структурний аналіз
- •5.3. Структурне проектування
- •5.4. Методологія структурного аналізу
- •5.5. Інструментальні засоби структурного аналізу та проектування
- •6.1. Основні елементи
- •6.2. Типи зв’язків
- •6.3. Техніка побудови
- •6.4. Діаграма бізнес – функцій
- •6.4.1. Призначення діаграми бізнес-функцій
- •6.4.2. Основні елементи
- •7.1. Призначення діаграм потоків даних та основні елементи
- •7.1.1. Зовнішні сутності
- •7.1.2. Процеси
- •7.1.3. Накопичувачі даних
- •7.1.4. Потоки даних
- •7.2. Методологія побудови dfd.
- •8.1. Діаграма «сутність-зв’язок»
- •8.2. Діаграма атрибутів
- •8.3. Діаграма категоризації
- •8.4. Обмеження діаграм сутність-зв’язок
- •8.5. Методологія idef1
- •9.1. Основні елементи
- •9.2. Типи керуючих потоків
- •9.3. Принципи побудови
- •10.1. Структурні карти Константайна
- •10.2. Структурні карти Джексона
- •11.1. Призначення case-технологій
- •11.2. Інструментальний засіб bPwin
- •11.2.4. Інші діаграми bpWin
- •11.2.5. Моделі as is і to be
- •11.3.1. Основні властивості
- •11.3.2. Стандарт idef1x
- •11.4. Програмний засіб Visio
- •12.1. Системний аналіз області наукових досліджень
- •12.1.1. Аналіз предметної області
- •12.2. Системний аналіз біржі праці
- •12.2.1. Дерево цілей
- •12.2.2. Опис об’єктів предметної області
- •12.2.3. Концептуальна модель
- •14.1. Еволюція об'єктної моделі
- •14.1.1. Основні положення об'єктної моделі
- •14.2. Складові частини об'єктного підходу
- •14.2.1. Парадигми програмування
- •14.2.2. Абстрагування
- •14.2.3. Інкапсуляція
- •14.2.4. Модульність
- •14.2.5. Ієрархія
- •14.2.7. Паралелізм
- •14.2.8. Збереженість
- •14.3. Застосування об'єктної моделі
- •14.3.1. Переваги об'єктної моделі
- •14.3.2. Використання об'єктного підходу
- •14.3.3. Відкриті питання
- •15.1. Природа об'єкта
- •15.1.1. Що є й що не є об'єктом?
- •15.1.2. Стан
- •15.1.3. Поведінка
- •15.1.4. Ідентичність
- •Void drag(DisplayItem I); // Небезпечно
- •15.2. Відношення між об'єктами
- •15.2.1. Типи відношень
- •15.2.2. Зв'язки
- •15.2.3. Агрегація
- •15.3. Природа класів
- •15.3.1. Що таке клас?
- •15.3.2. Інтерфейс і реалізація
- •15.3.3. Життєвий цикл класу
- •15.4. Відношення між класами
- •15.4.1. Типи відношень
- •15.4.2. Асоціація
- •15.4.3. Успадкування
- •15.4.4. Агрегація
- •15.4.5. Використання
- •15.4.6. Інсталювання (Параметризація)
- •15.4.6. Метакласи
- •15.5. Взаємозв'язок класів і об'єктів
- •15.5.1. Відношення між класами й об'єктами
- •15.5.2. Роль класів і об'єктів в аналізі й проектуванні
- •16.1. Важливість правильної класифікації
- •16.1.1. Класифікація й об’єктно-орієнтовне проектування
- •16.1.2. Труднощі класифікації
- •16.2. Ідентифікація класів і об'єктів
- •16.2.1. Класичний і сучасний підходи
- •16.2.2. Об’єктно-орієнтований аналіз
- •16.3. Ключові абстракції й механізми
- •16.3.1. Ключові абстракції
- •16.3.2. Ідентифікація механізмів
- •17.1. Призначення мови uml
- •17.2. Загальна структура мови uml
- •17.3. Пакети в мові uml
- •17.4. Основні пакети мета-моделі мови uml
- •17.5. Специфіка опису мета-моделі мови uml
- •17.6. Особливості зображення діаграм мови uml
- •18.1. Варіант використання
- •18.2. Актори
- •18.3. Інтерфейси
- •18.4. Примітки
- •18.5. Відношення на діаграмі варіантів використання
- •18.5.1. Відношення асоціації
- •13.5.2. Відношення розширення
- •18.5.3. Відношення узагальнення
- •18.5.4. Відношення включення
- •18.6. Приклад побудови діаграми варіантів використання
- •18.7. Рекомендації з розроблення діаграм варіантів використання
- •19.1. Клас
- •19.1.1. Ім'я класу
- •19.1.2. Атрибути класу
- •19.1.3. Операція
- •19.2. Відношення між класами
- •19.2.1. Відношення залежності
- •19.2.2. Відношення асоціації
- •19.2.3. Відношення агрегації
- •19.2.4. Відношення композиції
- •19.2.5. Відношення узагальнення
- •19.3. Інтерфейси
- •19.5. Шаблони або параметризовані класи
- •19.6. Рекомендації з побудови діаграми класів
- •20.1. Автомати
- •20.2. Стан
- •20.2.1. Ім'я стану
- •20.2.2. Список внутрішніх дій
- •20.2.3. Початковий стан
- •20.2.4. Кінцевий стан
- •20.3. Перехід
- •20.3.2. Сторожова умова
- •20.3.3.Вираз дії
- •15.4. Складений стан і підстан
- •20.4.1. Послідовні підстани
- •20.4.2. Паралельні підстани
- •15.5. Історичний стан
- •20.6. Складні переходи
- •15.6.1. Переходи між паралельними станами
- •20.6.2. Переходи між складеними станами
- •20.6.3. Синхронізуючі стани
- •20.7. Рекомендації з побудови діаграм станів
- •21.1. Стан дії
- •21.2. Переходи
- •21.5. Рекомендації до побудови діаграм діяльності
- •22.1.1. Лінія життя об'єкта
- •22.1.2. Фокус керування
- •22.2. Повідомлення
- •22.2.1. Розгалуження потоку керування
- •22.2.2. Стереотипи повідомлень
- •22.2.3. Тимчасові обмеження на діаграмах послідовності
- •22.2.4. Коментарі або примітки
- •22.3. Приклад побудови діаграми послідовності
- •22.4. Рекомендації з побудови діаграм послідовності
- •23.1. Кооперація
- •23.2.1. Мультиоб'єкт
- •23.2.2. Активний об'єкт
- •23.2.3. Складений об'єкт
- •23.3. Зв'язки
- •23.3.1. Стереотипи зв'язків
- •23.4. Повідомлення
- •23.4.1. Формат запису повідомлень
- •23.5. Приклад побудови діаграми кооперації
- •23.6. Рекомендації з побудови діаграм кооперації
- •24.1. Компоненти
- •24.1.1. Ім'я компоненту
- •24.1.2. Види компонент
- •24.2. Інтерфейси
- •24.3. Залежності
- •24.4. Рекомендації з побудови діаграми компонент
- •25.1. Вузол
- •25.2. З'єднання
- •25.3. Рекомендації з побудови діаграми розгортання
- •26.1. Загальна характеристика case-засобу Rational Rose
- •26.2. Особливості робочого інтерфейсу Rational Rose
- •26.1.1. Головне меню програми
- •26.1.2. Стандартна панель інструментів
- •26.1.3. Вікно браузера
- •26.1.4. Спеціальна панель інструментів
- •26.1.5. Вікно діаграми
- •26.1.6. Вікно документації
- •26.1.7. Вікно журналу
- •26.3. Початок роботи над проектом у середовищі Rational Rose
- •26.4. Розроблення діаграми варіантів використання в середовищі Rational Rose
- •26.5. Розроблення діаграми класів у середовищі Rational Rose
- •26.6. Розроблення діаграми станів у середовищі Rational Rose
- •26.7. Розроблення діаграми послідовності в середовищі Rational Rose
- •26.8. Розроблення діаграми кооперації в середовищі Rational Rose
- •26.9. Розроблення діаграми компонентів у середовищі Rational Rose
- •26.10. Розроблення діаграми розгортання в середовищі Rational Rose
21.5. Рекомендації до побудови діаграм діяльності
Діаграми діяльності відіграють важливу роль в розумінні процесів реалізації алгоритмів виконання операцій класів і потоків керування в модельованій системі. Використовувані для цієї мети традиційні блок-схеми алгоритмів володіють серйозними обмеженнями в представленні паралельних процесів і їх синхронізації. Застосування доріжок і об'єктів відкриває додаткові можливості для наочного представлення бізнес-процесів, дозволяючи специфікувати діяльність підрозділів компаній і фірм.
Зміст діаграми діяльності багато в чому нагадує діаграму станів, хоча й не тотожня їй. Тому багато рекомендацій з побудови останніх виявляються справедливими стосовно діаграми діяльності. Зокрема, ця діаграма будується для окремого класу, варіанту використання, окремої операції класу або цілої підсистеми.
З однієї сторони, на початкових етапах проектування, коли деталі реалізації діятельностей в проектованій системі невідомі, побудову діаграми діяльності починають з виділення піддіяльностей, які в сукупності утворюють діяльність підсистем. У подальшому, у міру розроблення діаграм класів і станів, ці піддіяльності уточнюються у вигляді окремих вкладених діаграм діяльності компонентів підсистем, якими виступають класи і об'єкти.
З іншої сторони, окремі ділянки робочого процесу в існуючій системі можуть бути добре відлагодженими, і у розробників може виникнути бажання зберегти цей механізм виконання дій в проектованій системі. Тоді будується діаграма діяльності для цих ділянок, що відображають конкретні особливості виконання дій з використанням доріжок і об'єктів. У подальшому така діаграма вкладається в загальніші діаграми діяльності для підсистеми і системи в цілому, зберігаючи свій рівень деталізації.
Таким чином, процес об'єктно-орієнтованого аналізу і проектування складних систем представляється як послідовність ітерацій розроблення окремих діаграм, включаючи і діаграму діяльності. Домінування того або іншого з напрямів розроблення визначається особливостями конкретного проекту і його новизною.
У разі типового проекту більшість деталей реалізації дій можуть бути відомі заздалегідь на основі аналізу існуючих систем або попереднього досвіду розроблення систем-прототипів. Для цієї ситуації домінуючим буде висхідний процес розроблення (Навіщо винаходити велосипед заново?). Використання типових рішень може істотно скоротити час розроблення і уникнути можливих помилок під час реалізації проекту.
Під час розроблення проекту нової системи, процес функціонування якої заснований на нових технологічних рішеннях, ситуація виглядає складнішою. А саме, до початку роботи над проектом можуть бути невідомі не тільки деталі реалізації окремих діятельностей, але й сам зміст цих діятельностей стає предметом розроблення. У цьому випадку домінуючим буде низхідний процес розроблення від загальніших схем до діаграм, що уточнюють їх. При цьому досягнення такого рівня деталізації всіх діаграм, який достатній для розуміння особливостей реалізації всіх дій і діятельностей, може служити ознакою завершення окремих етапів роботи над проектом.
На закінчення слід відмітити, що діаграма діяльності, так само як і інші види канонічних діаграм, не містить засобів вибору оптимальних рішень. Під час розроблення складних проектів проблема вибору оптимальних рішень стає вельми актуальною. Раціональне використання засобів, витрачених на розроблення і експлуатацію системи, підвищення її продуктивності і надійності часто визначають кінцевий результат всього проекту. У цій ситуації можна рекомендувати використання додаткових засобів і методів, орієнтованих на аналітико-імітаційне дослідження моделей системи на етапі розроблення її проекту.
Зокрема, під час побудови діаграм діяльності складних систем можуть бути успішно використані різні класи мереж Петрі (класичні, логіко-алгебраїчні, стохастичні, нечіткі і ін.) і нейронних мереж. Застосування цих формалізмів дозволяє не тільки отримати оптимальну структуру поведінки системи згідно її моделі, але і специфікувати цілий ряд додаткових характеристик системи, які не можуть бути подані на діаграмі діяльності і інших діаграмах UML.
Висновки
Контрольні питання
1. Призначення діаграми діяльності.
2. Стан дії.
3. Переходи на діаграмі діяльності.
4. Доріжки на діаграмі діяльності.
5. Об'єкти на діаграмі діяльності.
Розділ 22. Діаграма послідовності (sequence diagram)
Лінія життя об'єкту
Повідомлення
Розгалуження потоку керування
Тимчасові обмеження на діаграмах послідовності
Рекомендації з побудови діаграм послідовності
Як було відзначено вище, однієї з характерних рис систем різної природи й призначення є взаємодія між собою окремих елементів, з яких утворені ці системи. Мова йде про те, що різні складені елементи систем не існують ізольовано, а роблять певний вплив один на одний, що й відрізняє систему як цілісне утворення від простої сукупності елементів.
У мові UML взаємодія елементів розглядається в інформаційному аспекті їхньої комунікації, тобто взаємодіючі об'єкти обмінюються між собою деякою інформацією. При цьому інформація приймає форму закінчених повідомлень. Інакше кажучи, хоча повідомлення й має інформаційний зміст, воно містить додаткову властивість впливу на свого одержувача. Це повністю погоджується із принципами ООАП, коли будь-які види інформаційної взаємодії між елементами системи повинні бути зведені до відправлення й прийому повідомлень між ними.
Для моделювання взаємодії об'єктів у мові UML використовуються відповідні діаграми взаємодії. Говорячи про ці діаграми, мають на увазі два аспекти взаємодії. По-перше, взаємодії об'єктів можна розглядати в часі, і тоді для подання тимчасових особливостей передачі й прийому повідомлень між об'єктами використовується діаграма послідовності. Цей вид канонічних діаграм є предметом вивчення цієї глави.
Раніше, при вивченні діаграм стану й діяльності, була відзначена одна важлива обставина. Хоча розглянуті діаграми й використовуються для специфікації динаміки поведінки систем, час в явному вигляді на них не є присутнім. Однак часовий аспект поведінки може мати істотне значення під час моделювання синхронних процесів, що описують взаємодію об'єктів. Саме для цієї мети в мові UML використовуються діаграми послідовності.
По-друге, можна розглядати структурні особливості взаємодії об'єктів. Для подання структурних особливостей передачі й прийому повідомлень між об'єктами використовується діаграма кооперації. Цей вид канонічних діаграм є предметом вивчення глави 23.
22.1. Об'єкти
На діаграмі послідовності зображаються винятково ті об'єкти, які безпосередньо беруть участь у взаємодії й не показуються можливі статичні асоціації з іншими об'єктами. Для діаграми послідовності ключовим моментом є саме динаміка взаємодії об'єктів у часі. При цьому діаграма послідовності має як би два виміри. Один – зліва направо у вигляді вертикальних ліній, кожна з яких зображує лінію життя окремого об'єкта, що бере участь у взаємодії. Графічно кожний об'єкт зображується прямокутником і розташовується у верхній частині своєї лінії життя (рис. 22.1). Всередині прямокутника записуються ім'я об'єкта й ім'я класу, розділені двокрапкою. При цьому весь запис підкреслюється, що є ознакою об'єкта, який, як відомо, є екземпляром класу.
Примітка
Не виключається ситуація, коли ім'я об'єкта може бути відсутнім на діаграмі послідовності. У цьому випадку вказується тільки ім'я класу, а сам об'єкт вважається анонімним.
Рис. 22.1. Різні графічні примітиви діаграми послідовності
Крайнім ліворуч на діаграмі зображується об'єкт, що є ініціатором взаємодії (об'єкт 1 на рис. 22.1). Правіше зображується інший об'єкт, що безпосередньо взаємодіє з першим. Таким чином, всі об'єкти на діаграмі послідовності утворять деякий порядок, обумовлений ступенем активності цих об'єктів під час взаємодії один з одним.
Другий вимір діаграми послідовності – вертикальна тимчасова вісь, спрямована зверху вниз. Початковому моменту часу відповідає сама верхня частина діаграми. При цьому взаємодії об'єктів реалізуються за допомогою повідомлень, які посилають одні об'єкти іншим. Повідомлення зображуються у вигляді горизонтальних стрілок з іменем повідомлення й також утворять порядок згідно часу свого виникнення. Інакше кажучи, повідомлення, розташовані на діаграмі послідовності вище, ініціюються раніше тих, які розташовані нижче. При цьому масштаб на осі часу не вказується, оскільки діаграма послідовності моделює лише тимчасову впорядкованість взаємодій типу "пізніше".