9.3. Принципи побудови
При побудові STD рекомендується виконувати такі правила:
будувати STD на якомога більш високому рівні деталізації DFD;
будувати як можна більш прості STD;
по можливості деталізувати STD;
використовувати ті ж принципи іменувань станів, подій та дій, що і при іменуванні процесів і потоків.
Застосовуються два способи побудови STD. Перший спосіб полягає в ідентифікації всіх можливих станів і подальшому дослідженні всіх не безглуздих зв'язків (переходів) між ними. За другим способом спочатку будується початковий стан, потім наступні за ним і т.д. Результат (обидва способи) - попередня STD, для якої потім здійснюється контроль спроможності, що полягає у відповіді на наступні питання:
чи всі стани визначені і мають унікальні назви?
чи всі стани досяжні?
чи всі стани мають вихід?
(для кожного стану) реагує чи система відповідним чином на всі можливі умови (особливо на ненормальні)?
чи всі вхідні (вихідні) потоки керуючого процесу відображені в умовах (дії) на STD?
У ситуації, коли число станів і / або переходів велике, для проектування специфікацій управління можуть використовуватися таблиці і матриці переходів станів. Обидві ці нотації дозволяють зафіксувати ту ж саму інформацію, що і діаграми переходів станів, але в іншому форматі. Як приклад таблиці переходів станів наведена таблиця 9.1.
Таблиця 9.1. Переходів станів
Поточний стан |
Умова |
Дія |
Наступний стан |
Стан 1 |
Умова 1 |
Дія 1 |
Стан 2 |
Перша колонка таблиці містить список всіх станів проектованої системи, у другій колонці для кожного стану приведені всі умови, які викликають переходи в інші стани, а в третій колонці - що здійснюються при цих переходах дії. Четверта колонка містить відповідні імена станів, до яких здійснюється перехід з даного стану при виконанні певних умов.
Діаграми переходів станів відносять до групи специфікацій управління, які призначені для моделювання і документування аспектів системи, пов’язаних із часом або реакцією на події. Вони дають змогу деталізувати керуючі процеси і описати взаємодію між вхідними і вихідними керуючими потоками. STD подають процес функціонування системи як послідовність переходів з одного стану до іншого.
Таблиця 9.2. Символи STD у різних методологіях.
|
Гейна-Сарсона |
Йордона |
SAG |
SADT |
Стан |
|
|
|
--- |
початковий стан |
|
|
|
--- |
перехід |
|
|
|
---- |
Висновки
1. За допомогою діаграм переходів станів відображуються стани, в яких може перебувати система, і можливі переходи з одного стану до іншого. Згідно з діаграмою проектується інтерфейс користувача..
2. Діаграми переходів станів складаються з таких об’єктів: стан, початковий стан, перехід, умова.
3. Основні нотації діаграм переходів станів: Гейна-Сарсона, Йордона.
Контрольні питання
1. Призначення діаграм переходів станів.
2. Нотації для діаграм переходів станів.
3. Основні принципи побудови діаграм переходів станів
РОЗДІЛ. 10. Структурне проектування на етапі проектування програмного забезпечення
Призначення структурних карт Константайна
Призначення структурних карт Джексона
У розділі описано методологію побудови структурних карт Константайна та Джексона.