- •Класифікація моделей систем. Роль інструментальної моделі у проектуванні програмного забезпечення.
- •Сучасні підходи до імітаційного моделювання, їх застосування у галузі «Програмна інженерія». Дискретно-подієве та агентне моделювання.
- •Компоненты системы дискретно-событийного моделирования
- •Список событий
- •Мета та задачі програмного проекту, вимоги до пз. Роль вимог у створенні надійного (відмовостійкого) програмного забезпечення.
- •Модель програмного забезпечення, етапи та особливості побудови моделі.
- •Модель зрілості процесів організації, модель cmmі, способи та методи cmmі у вдосконаленні бізнес-процесів розробки пз.
- •Моделі розробки програмного забезпечення. Модель водоспаду та ітеративна модель, застосування елементів даних моделей у сучасних методологіях розробки пз.
- •Моделі розробки програмного забезпечення. Методологія rup – загальна модель. Конус операційних маршрутів програмного проекту.
- •Моделі розробки програмного забезпечення. Методологія OpenUp.
- •Моделі розробки програмного забезпечення. Методології Microsoft Solutions Framework (msf), етапи управління великими програмними проектами.
- •Моделі розробки програмного забезпечення. Методологія fdd, Extreme Programming (xp).
- •Архітектура програмного проекту, керована моделями. Концепція mda.
- •Складові Model Driven Architecture, їх призначення.
- •Моделі розробки програмного забезпечення. Гнучкі методології розробки пз (Agile software development). Методологія Scrum. Ідея ефективного планування робочого навантаження учасників проекту.
- •Роли в скрам-процессе[править | править вики-текст]
- •Основные роли (Core roles) в методологии скрам («Свиньи»)[править | править вики-текст]
- •Дополнительные роли (Ancillary roles) в методологии скрам («Куры»)[править | править вики-текст]
- •Гнучка методологія розробки програмного забезпечення (Agile software development). Основні ідеї Agile.
- •Класифікація програмних проектів за управлінням.
- •Теорія систем. Дослідження рівноважних і нерівноважних систем. Важливість сучасного підходу, що використовується в теорії систем, для програмних проектів.
- •Теорія систем.
- •Теорія процесів. Формальний опис процесів. Специфікація процесу.
- •Теорія процесів. Поняття процесу, основні операції на процесах. Моделювання процесів.
- •Абстрактна та структурна теорії автоматів, їх особливості та приклади застосування.
- •Абстрактний автомат, визначення. Класифікація абстрактних автоматів.
- •Цифровий автомат, загальна структура та способи опису.
- •Динамічне моделювання паралельних програмних систем. Мережа Петрі, загальне визначення.
- •Класифікація мереж Петрі, основні інтерпретації, їх коротка характеристика.
- •Синхронні та асинхронні паралельні процеси, особливості їх моделювання.
- •Паралельний алгоритм, його відмінність від послідовного алгоритму. Моделювання паралельних алгоритмів.
- •Основні елементи мереж Петрі. Способи представлення мереж Петрі.
- •Динамічне та квазідинамічне моделювання програмних систем з паралелізмом. Методологія Business Process Modeling (на основі стандартів idef).
- •Цілі моделювання бізнес-процесів[ред. • ред. Код]
- •Використання[ред. • ред. Код]
- •Історія[ред. • ред. Код]
- •Зовнішнє проектування програмних систем. Принцип концептуальної цілісності.
- •Моделювання програмних систем. Uml-діаграми. Еволюція моделі програмної системи.
- •Нотація[ред. • ред. Код]
- •Діаграми Хареля[ред. • ред. Код]
- •Група uml-діаграм для побудови та уточнення архітектури програмної системи.
- •Докладніше[ред. • ред. Код]
- •Деталізоване проектування пс. Діаграми бізнес-класів та класів.
- •Зв'язки[ред. • ред. Код]
- •Асоціації[ред. • ред. Код]
- •Агрегація[ред. • ред. Код]
- •Композиція[ред. • ред. Код]
- •Відмінності між композицією і агрегацією[ред. • ред. Код]
- •Наслідування
- •Група uml-діаграм для опису поведінки програмної системи.
- •Група uml-діаграм для відображення взаємодії програмних компонентів проектованої системи.
- •Опис[ред. • ред. Код]
- •Метод Model Checking. Загальна характеристика методу.
- •Инструменты[править | править вики-текст]
- •Метод Model Checking. Темпоральні логіки.
- •Приклад[ред. • ред. Код]
- •Темпоральні логіки[ред. • ред. Код]
- •Структури Кріпке. Загальний алгоритм роботи.
- •Формальное определение[править | править вики-текст]
- •Model Checking. Алгоритм методу для ltl та ctl.
- •Середовище Simulink. Формування та імітація функціонування динамічних систем.
Динамічне та квазідинамічне моделювання програмних систем з паралелізмом. Методологія Business Process Modeling (на основі стандартів idef).
Моделюва́ння бі́знес-проце́сів (Business process modeling — BPM) — формалізований, виконаний за певними правилами опис послідовності дій фахівців у формі логічних блок-схем, що визначають вибір подальших дій, виходячи з ситуативного факту. Наприклад: «якщо всі документи для формування страхового акту є в наявності, то формуємо цей документ. Якщо немає, то приймаємо заходи для отримання документів, яких бракує». У моделі бізнес-процесів певні послідовності окремих дій об'єднуються у відповідні процедури і сценарії бізнес-процесів. Описується взаємодія фахівців різних підрозділів в рамках одного бізнес-процесу.
Моделювання бізнес-процесів — це процесове відображення (як правило графічне) діяльності підприємства з тим, щоб в подальшому дані процеси можна було аналізувати і вдосконалювати.
Цілі моделювання бізнес-процесів[ред. • ред. Код]
Метою моделювання бізнес-процесів як правило є:
Документація бізнесу компанії
Для отримання знання про бізнес
Формування карти підрозділів
Переведення бізнесу в інші місця
Для задоволення потреб бізнес-партнерів або об'єднань (наприклад, з метою сертифікації)
Для навчання співробітників (передачі знань)
Для впровадження (підтримки системи менеджменту якості) та екологічного менеджменту
Підготовка бізнес-процесів (який зазвичай починається з аналізу фактичного стану)
З метою впровадження нових організаційних структур
Впровадження Аутсорсингу
Підготовка і автоматизації ІТ-підтримки бізнес систем
Визначення показників процесу
Бенчмаркінг
Найкраща практика
Організаційні зміни
При підготовці до продажу бізнесу
При підготовці до інтеграції компаній або їх частин
Введення або зміна ІТ-систем та/або організаційних структур
Участь у конкурсах (наприклад, Європейський фонд управління якістю)
Удосконалення внутрішніх процесів.
Використання[ред. • ред. Код]
Цикл вдосконалення бізнес-процесу
Моделювання бізнес-процесів, як правило, здійснюється та використовується бізнес-аналітиками і менеджерами, які прагнуть підвищити ефективність процесу та їх якість. В крупних компаніях без формалізації і опису бізнес-процесів складно забезпечити належний рівень виконавської і технологічної дисципліни. Формалізація і опис бізнес-процесів є ключовою умовою для їх автоматизації. Взаємозв'язана система бізнес-процесів зображає весь комплекс завдань і функцій структурних підрозділів, виконання яких необхідно забезпечити в процесі діяльності компанії. Моделювання бізнес-процесів дозволяє, незалежно від актуальної чисельності персоналу компанії, на будь-якому етапі її еволюційного розвитку, дозволяє закріпити ті або інші функції не тільки за конкретними структурними підрозділами, але і за конкретними фахівцями. В міру збільшення чисельності персоналу, створення нових структурних підрозділів можна гнучко перерозподіляти функції і завдання структурних підрозділів.
Графічний опис бізнес-процесів та їх імітація це методи аналізу бізнес-процесів, ефективність яких доведена багаторічною практикою використання та численними дослідженнями.
