SADT: Синтаксис моделей і робота з ними

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

3.1. Система представляється одним блоком

SADT-модель є ієрархічно організованою сукупністю діаграм. Діаграми зазвичай складаються з трьох-шести блоків, кожен з яких потенційно може бути деталізований на іншій діаграмі. Кожен блок може розумітися як окремий ретельно певний об'єкт. Поділ такого об'єкта на його структурні частини (блоки і дуги, складові діаграму) називається декомпозицією.

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

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

На рис. 3-1 показаний верхній рівень моделі експериментального механічного цеху. Блок з назвою виготовити нестандартну деталь описує саму загальну функцію механічного цеху і має нульовий номер. (Блок самого верхнього рівня моделі завжди нумерується нулем.) Цей блок представляє весь експериментальний механічний цех. Дуги вимоги за строками виконання завдання і довідник стандартів якості визначають, як експериментальний механічний цех перетворює робочі комплекти і верстати та інструменти в різні деталі та оцінку ступеня завершеності завдання. Вони визначають інтерфейс між експериментальним механічним цехом і іншою частиною аерокосмічної компанії.

3.2. Ідентифікація декомпозиції номерами вузлів

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

Рис 3-1. Контекстна діаграма моделі

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

Таким чином, кожна діаграма являє собою деяку закінчену частину всієї моделі. У методології SADT ідентифікується кожна діаграма даної моделі за допомогою того, що називається "номер вузла". Номер вузла для контекстної діаграми має наступний вигляд: назва моделі або абревіатура, коса риса, заголовна буква A (Activity у функціональних діаграмах), дефіс і нуль. Наприклад, номером вузла для контекстної діаграми моделі експериментального механічного цеху є ЕМЦ/А-0. Номером вузла діаграми, декомпозірующей контекстну діаграму, є той самий номер вузла, але без дефіса (наприклад, ЕМЦ / АТ). Всі інші номери вузлів утворюються за допомогою додавання до номера вузла батьківського діаграми номери декомпозіруемого блоку. На рис. 3-2 показані дві діаграми моделі експериментального механічного цеху. Номер вузла на першій діаграмі – ЕМЦ / АТ, а номер вузла на другий діаграмі – ЕМЦ/А1. Діаграма ЕМЦ/А1 декомпозірует блок 1 діаграми ЕМЦ / АТ. (Перший нуль при утворенні номери вузла прийнято опускати, тому замість ЕМЦ/А01 пишеться ЕМЦ/А1.)

3.3. Зв'язування декомпозиції за допомогою С-номерів

Крім використання для ідентифікації версій діаграм, С-номери застосовуються для зв'язки діаграм при русі як вгору, так і вниз по ієрархії моделі. Зазвичай З-номер діаграми, декомпозірующей деякий блок, вперше з'являється безпосередньо під цим блоком на батьківській діаграмі. Це утворює "спрямовану вниз" зв'язок від батьківської діаграми до діаграми-нащадку. На рис. 3-2 С-номер DAM008 діаграми управляти виконанням завдання розміщений нижче блоку 1 на діаграмі виготовити нестандартну деталь. Це вказує на те, що функція керувати виконанням завдання була декомпозирована.

Рис 3-2. Зв'язок між батьківського діаграмою і діаграмою нащадком

Як тільки утвориться спрямована вниз зв'язок, на діаграмі-нащадку формується посилання на батьківську діаграму. В області контексту SADT-бланка (правий верхній кут) автор зображує кожен блок батьківського діаграми маленькими квадратиками, заштриховують квадратик декомпозіруемого блоку і розміщує З-номер батьківського діаграми біля заштрихованого квадратика. Це утворює "спрямовану вгору" (до батьківської діаграмі) зв'язок. Метод з'єднання діаграм за допомогою однозначно визначених номерів гарантує, що саме потрібна версія діаграми стане частиною моделі. Іншими словами, при використанні С-номерів здійснюється ретельний контроль за введенням нових діаграм у ієрархію моделі. На рис. 3-2 область контексту бланка діаграми керувати виконанням завдання містить три квадратика – по одному для кожного блоку діаграми виготовити нестандартну деталь. Перший блок заштрихован. Це вказує на те, що дана діаграма декомпозірует перший блок діаграми DAM008.

3.4. Коди ICOM гарантують стиковку діаграм

Хороша методологія структурного аналізу, що дозволяє створювати окремі діаграми, повинна гарантувати правильне з'єднання всіх діаграм для утворення узгодженої моделі. SADT-діаграми мають зовнішні дуги – дуги, як би виходять назовні і ведуть до краю сторінки. Ці дуги є інтерфейсом між діаграмою та іншою частиною моделі. SADT вимагає, щоб всі зовнішні дуги діаграми були узгоджені з дугами, що утворюють кордон цієї діаграми. Іншими словами, діаграма повинна бути "зістикований" зі своєю батьківського діаграмою. Зазвичай це означає, що зовнішні дуги узгоджені за кількістю і найменуванням (Але не обов'язково за розташуванням) з дугами, що стосуються декомпонований блоку батьківського діаграми. Наприклад, у блоку 1 діаграми виготовити нестандартну деталь вісім граничних дуг: входи робочий комплект і деталь з биркою, управління вимоги за строками виконання завдання, штамп "прийнято" і статус роботи, а також виходи оцінка ступеня завершеності завдання, готова деталь, план виконання завдання. Всі ці зовнішні дуги і їх імена можна знайти на діаграмі керувати виконанням завдання.

У SADT прийнята система позначень, що дозволяє аналітику точно ідентифікувати і перевіряти зв'язку по дугах між діаграмами. Ця схема кодування дуг – "ICOM" – одержала назву за першими літерами англійських еквівалентів слів вхід (Input), управління (Control), вихід (Output), механізм (Mechanism). Коди ICOM надзвичайно ефективні, оскільки вони дозволяють аналітику швидко перевіряти узгодженість зовнішніх дуг діаграми з граничними дугами відповідного блоку батьківського діаграми. Вони також забезпечують узгодженість декомпозиції, оскільки всі дуги, що входять в діаграму і виходять з неї, повинні бути враховані. На рис. 3-2 дуга вимоги за строками виконання завдання може бути відстежено від її початку (С1 блоку 0 діаграми ЕМЦ / А-0) на кордоні моделі через верхню частину діаграми ЕМЦ / АТ до блоку керувати виконанням завдання (СЗ блоку 4 діаграми ЕМЦ / А1). (Ми детально обговоримо деякі винятки з цього правила в розділі 5.)

Якщо ви починаєте будувати діаграму наступного рівня, то дуги, що стосуються декомпозіруемого блоку, використовуються в якості джерел і приймачів для дуг, які ви створюєте на новій діаграмі. Після завершення діаграми її зовнішні дуги стикуються з батьківського діаграмою для забезпечення узгодженості. Одним із способів такої стикування може служити присвоювання кодів ICOM зовнішнім дугам нової діаграми згідно з такими правилами:




Рис 3-3. Кодування зв'язків між SADT-діаграмами

є зовнішньою дугою, яка відсутня на батьківській діаграмі (має приховане джерело), або (2) якщо вона стосується блоку, але не з'являється на діаграмі, яка його декомпозірует (має прихований приймач). Тунельні дуги від прихованого джерела починаються дужками, щоб вказати, що ці дуги йдуть з якоїсь іншої частини моделі або прямо ззовні моделі. На рис. 3-2 дуга незайнятий робочий С1 блоку отримати завдання і призначити виконавця на діаграмі ЕМЦ/А1 входить до тунелю і тому вона не стосується блоку керувати виконанням завдання на батьківській діаграмі ЕМЦ / АТ. Тунельні дуги, що мають прихований приймач, кінчаються дужками, щоб відобразити той факт, що така дуга йде до якоїсь іншої частини моделі або виходить з неї або що вона не буде більше в цій моделі розглядатися. На рис. 3-2 всі дуги механізмів діаграми виготовити нестандартну деталь є тунельним і вказують на те, що вони не будуть показані при декомпозиції відповідних блоків.

Наш досвід свідчить, що описані особливі ситуації зустрічаються рідко, і якщо це все ж відбувається, то за дуже спеціальним причин. Хоча ми неодноразово стикалися з корисним застосуванням цієї методики, радимо застосовувати її з великою обережністю. При неправильному використанні вона швидко стає прикриттям поганого моделювання. Тому ми рекомендуємо її тільки досвідченим SADT-аналітикам, та й то рідко. Замість цього ми пропонуємо використовувати синтаксис SADT-моделей стандартними способами, які обговорюються в цій книзі. Якщо ж діаграми стають занадто складними для читання і розуміння, можна звернутися до цих альтернативних методів. Якщо ви хочете познайомитися зі спеціальними випадками використання синтаксису SADT, зверніться до вивчення моделей промислового виробництва, представлених в частині VI, щоб подивитися, як ці методи застосовуються для спрощення описів систем.

3.6. Резюме

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

Схожі статті:


Сподобалася стаття? Ви можете залишити відгук або підписатися на RSS , щоб автоматично отримувати інформацію про нові статтях.

Коментарів поки що немає.

Ваш отзыв

Поділ на параграфи відбувається автоматично, адреса електронної пошти ніколи не буде опублікований, допустимий HTML: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>

*

*