20518

Специфікації керування. Побудова діаграм переходів станів. Символи STD. Таблиці і матриці переходів

Доклад

Информатика, кибернетика и программирование

Символи STD. Діаграми переходів станів STD відносять до групи специфікацій управління які призначені для моделювання і документування аспектів системи повязаних із часом або реакцією на події. STD подають процес функціонування системи як послідовність переходів з одного стану до іншого. До складу STD входять такі структурні одиниці:Стан може визначатися як стійкі внутрішні умови системи.

Украинкский

2013-07-25

30 KB

0 чел.

Специфікації керування. Побудова діаграм переходів станів. Символи STD. Таблиці і матриці переходів.

Діаграми переходів станів (STD) відносять до групи специфікацій управління, які призначені для моделювання і документування аспектів системи, пов’язаних із часом або реакцією на події. Вони дають змогу деталізувати керуючі процеси і описати взаємодію між вхідними і вихідними керуючими потоками. STD подають процес функціонування системи як послідовність переходів з одного стану до іншого. 
До складу STD входять такі структурні одиниці:
Стан — може визначатися як стійкі внутрішні умови системи. При моделюванні поводження системи в кожному певному стані достатньо знати попередню її історію і поточні вхідні події, щоб визначити наступний її стан. Ім’я стану має відображати реальну ситуацію, в якій перебуває система.
Початковий стан — вузол STD, який є стартовою точкою для початкового системного переходу. STD має тільки один початковий стан, що відповідає стану системи після інсталяції її перед початком обробки, а також будь-яку скінченну кількість кінцевих станів.
Перехід  визначає переміщення системи з одного стану до іншого. Ім’я переходу ідентифікує деяку подію (умову), що є причиною переходу і керує ним. Ця умова може бути пов’язана з керуючим потоком, що виникає всередині системи або надходить ззовні. Якщо в умові бере участь керуючий потік керуючого процесу-предка, то ім’я керуючого потоку береться в лапки (наприклад, ПЕРЕМИКАЧ = «КОРЕКТНИЙ ПАРОЛЬ»). 
Крім умови з переходом може пов’язуватися дія або послідовність дій, які виконуються при переході. Якщо ця дія стосується вибору вихідного керуючого потоку, то ім’я цього потоку має бути також взяте в лапки (наприклад, «ВИБІР ФУНКЦІЇ» = TRUE, де ВИБІР ФУНКЦІЇ — вихідний потік).
Крім того, при специфікації керуючих потоків типу А-, Т-, E/D-ім’я процесу, що запускається або перемикається, також береться в лапки. Наприклад:
А: «ОДЕРЖАТИ ПАРОЛЬ» — активізувати процес ОДЕРЖАТИ ПАРОЛЬ.
На STD стани подаються вузлами, а переходи — орієнтованими дугами (рис. 7.6). Умови, або стимулюючі події, ідентифікуються іменем переходу. Дії, або відгуки на події, прив’язуються до переходу і записуються під відповідною умовою. Початковий стан на діаграмі повинен мати вхідний перехід від стартового вузла, який може не зображатися на схемі або подаватися у вигляді невеликого квадрату.
При побудові STD рекомендується будувати першу STD на якомога вищому рівні узагальнення DFD, а далі по змозі деталізувати її. При побудові STD слід контролювати визначення всіх станів та унікальність їх імен, досяжність станів, наявність виходів у всіх станів, наявність реакції системи на всі умови, відображення всіх вхідних і вихідних потоків керуючого процесу в умовах і діях на STD. 


 

А также другие работы, которые могут Вас заинтересовать

68888. Перетворення в просторі 37 KB
  Будь-яке аффінне перетворення в тривимірному просторі може бути представлене у вигляді суперпозиції обертань, розтягувань, віддзеркалень і перенесень. Тому цілком доречно спочатку детально описати матриці саме цих перетворень (ясно, що в даному випадку порядок матриць повинен бути рівний чотирьом).
68889. Види проектування 90.5 KB
  Лінія горизонту і точка сходу є особливістю зображення і реально не існують в тривимірному просторі. Проте наше завдання отримати картину тривимірного зображення, тобто двомірну тверду копію (на екрані, на папері). Очевидно, що картина залежатиме від положення ока.
68890. Управління палітрою 65.5 KB
  Стандартний драйвер egavga.bgi використовує RGBI - систему роботи з кольором (Red,green,blue,intensity). На базі трьох кольорів шляхом їх змішування і установки низької або високої яскравості свічення формується апаратно зумовлена палітра.
68891. Виведення тексту 46.5 KB
  Виведення тексту на екран в графічному режимі має ряд відмінностей від подібних дій в текстовому режимі. Відмінність полягає в тому, що всі дії проводяться тільки із строковими константами і змінними, числова ж інформація повинна заздалегідь перетворюватися в строкову (процедура Str).
68893. Дочерние окна. Общие сведения 68 KB
  Все сообщения приложению фактически обрабатывались оконной процедурой этого самого единственного окна. Предположим что на окно положили какой-либо объект обладающий совокупностью функций и особенностей отображения внутри вашего окна. Они получили название Дочерние окна управления.
68894. Ресурсы. Способы хранения данных программы 78 KB
  Общие сведения о файле ресурсов В большинство программ для Windows включаются пользовательские значки которые Windows выводит на экран в левом верхнем углу строки заголовка окна приложения. Кроме этого Windows выводит на экран значок программы в списках программ меню...
68895. Ресурсы (меню) 82 KB
  Вы просто определяете структуру меню в вашем описании ресурсов и присваиваете каждому пункту меню уникальный идентификатор. Вы определяете имя меню в структуре класса окна. Когда пользователь выбирает пункт меню.
68896. Ресурсы (быстрые клавиши) 48 KB
  Чаще всего быстрые клавиши используются в программах для дублирования действий обычных опций меню. Однако быстрые клавиши могут выполнять и такие функции которых нет в меню. Например в некоторых программах для Windows имеется меню Edit которое включает в себя опцию Delete...