сі граничні дуги повинні продовжуватися на батьківській діаграмі, щоб вона була повною і несуперечливою. p> На SADT-діаграмах не вказані явно ні послідовність, ні час. Зворотні зв'язки, ітерації, що тривають процеси і перекриваються (за часом) функції можуть бути зображені за допомогою дуг. Зворотні зв'язки можуть виступати у вигляді коментарів, зауважень, виправлень і т.д. (Малюнок 5). <В
Рис. 5 Приклад зворотного зв'язку
Як було зазначено, механізми (дуги з нижньої сторони) показують засоби, за допомогою яких здійснюється виконання функцій. Механізм може бути людиною, комп'ютером або будь-яким іншим пристроєм, який допомагає виконувати цю функцію (малюнок 6). br/>В
Рис. 6 Приклад механізму
Кожен блок на діаграмі має свій номер. Блок будь-якої діаграми може бути далі описаний діаграмою нижнього рівня, яка, у свою чергу, може бути далі деталізована за допомогою необхідного числа діаграм. Таким чином, формується ієрархія діаграм. p> Для того, щоб вказати положення будь-якої діаграми або блоку в ієрархії, використовуються номери діаграм. Наприклад, А21 є діаграмою, яка деталізує блок 1 на діаграмі А2. Аналогічно, А2 деталізує блок 2 на діаграмі А0, яка є самої верхньої діаграмою моделі. На малюнку 7 показано типове дерево діаграм. br/>В
Рис. 7 Ієрархія діаграм
Типи зв'язків між функціями
Одним з важливих моментів при проектуванні ІС за допомогою методології SADT є точна узгодженість типів зв'язків між функціями. Розрізняють принаймні сім типів зв'язування:
Тип зв'язку Відносна значимість Випадкова 0Логіческая 1Временная 2Процедурная 3Коммунікаціонная 4Последовательная 5Функціональная 6 Нижче кожен тип зв'язку коротко визначений і проілюстрований за допомогою типового прикладу з SADT.
(0) Тип випадкової зв'язності : найменш бажаний.
Випадкова зв'язність виникає, коли конкретна зв'язок між функціями мала або повністю відсутній. Це відноситься до ситуації, коли імена даних на SADT-дугах в одній діаграмі мають малу зв'язок один з одним. Крайній варіант цього випадку показаний на малюнку 8. br/>В
Рис. 8 Випадкова зв'язність
(1) Тип логічної зв'язності. Логічне зв'язування відбувається тоді, коли дані і функції збираються разом внаслідок того, що вони потрапляють у загальний клас або набір елементів, але необхідних функціональних відносин між ними не виявляється.
(2) Тип тимчасової зв'язності. Пов'язані за часом елементи виникають внаслідок того, що вони представляють функції, пов'язані у часі, коли дані використовуються одночасно або ф...
