Діаграми Хареля[ред. • ред. Код]
Діаграми станів Хареля (англ. David Harel[1] стають дедалі популярнішими після того, як варіант цих діаграм став частиною Unified Modeling Language. Цей вид діаграм дозволяє моделювання надстанів, ортогональних регіонів, та діяльності як складової стану.
Класичні діаграми станів вимагають створення окремих вершин для кожної допустимої комбінації параметрів, що визначають стан. Це може призводити до необхідності введення великої кількості вершин та переходів між ними для систем складніших за найпростіші. Така складність ускладнює перегляд та розуміння діаграми. Діаграми Хареля дозволяють моделювання багатьох автоматів з перетином функцій на одній діаграмі. Кожен з відокремлених автоматів може виконувати внутрішні переходи не впливаючи на інші автомати на діаграмі. Стан кожного з відокремленого автомата на діаграмі визначає стан системи. Діаграма Хареля еквівалентна діаграмі станів але полегшує перегляд та розуміння отриманих діаграм.
UML-діаграми. Діаграми діяльності.
Діаграма діяльності — в UML, візуальне представлення графу діяльностей. Граф діяльностей є різновидом графу станівскінченного автомату, вершинами якого є певні дії, а переходи відбуваються по завершенню дій.[1]
Дія (англ. action) є фундаментальною одиницею визначення поведінки в специфікації.[2] Дія отримує множину вхідних сигналів, та перетворює їх на множину вихідних сигналів. Одна із цих множин, або обидві водночас, можуть бути порожніми. Виконання дії відповідає виконанню окремої дії. Подібно до цього, виконання діяльності є виконанням окремої діяльності, буквально, включно із виконанням тих дій, що містяться в діяльності. Кожна дія в діяльності може виконуватись один, два, або більше разів під час одного виконання діяльності. Щонайменше, дії мають отримувати дані, перетворювати їх та тестувати, деякі дії можуть вимагати певної послідовності. Специфікація діяльності (на вищих рівнях сумісності) може дозволяти виконання декількох (логічних) потоків, та існування механізмів синхронізації для гарантування виконання дій у правильному порядку.
UML-діаграми. Діаграми послідовності.
Діаграма послідовності — в UML, діаграма послідовності відображає взаємодії об'єктів впорядкованих за часом. Зокрема, такі діаграми відображають задіяні об'єкти та послідовність відправлених повідомлень[1].
На діаграмі послідовностей показано у вигляді вертикальних ліній різні процеси або об'єкти, що існують водночас. Надіслані повідомлення зображуються у вигляді горизонтальних ліній, в порядку відправлення.
Визначені стандартом UML 2.0 діаграми послідовностей мають ті ж можливості що і визначені стандартом UML 1.x, та підтримують додаткові можливості зміни стандартного порядку повідомлень
Група uml-діаграм для побудови та уточнення архітектури програмної системи.
Діаграма об'єктів — в UML, діаграма, що відображає об'єкти та їх зв'язки в певний момент часу.[1] Діаграма об'єктів може розглядатись як окремий випадок діаграми класів, на якій можуть бути представлені як класи, так і екземпляри (об'єкти) класів. Схожою за змістом є діаграма взаємодії (англ. collaboration diagram).
Діаграми об'єктів не мають власної нотації. Оскільки діаграми класів можуть відображати об'єкти, то діаграма класів, на якій відображено лише об'єкти, та не відображено класи, може вважатись діаграмою об'єктів.