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. 


 

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

80323. КЛАСИФІКАЦІЯ І ПЛАН РАХУНКІВ БУХГАЛТЕРСЬКОГО ОБЛІКУ 190.5 KB
  Різнобічні завдання господарського керівництва та контролю потребують своєчасної і всебічної інформації про склад засобів підприємства і джерел їх формування, господарські процеси і фінансові результати діяльності.
80324. ПРИНЦИПИ ОБЛІКУ ОСНОВНИХ ГОСПОДАРСЬКИХ ПРОЦЕСІВ 138 KB
  Кількісними показниками діяльності підприємства є показники обсягу тих або інших процесів, наприклад кількість заготовлених (придбаних) виробничих запасів (сировини, матеріалів, палива тощо), виробленої та реалізованої готової продукції в цілому та за окремими її видами тощо. Цей показник дає змогу
80325. ДОКУМЕНТАЦІЯ ТА ІНВЕНТАРИЗАЦІЯ 97.96 KB
  Технологічно бухгалтерський облік як процес розпочинається з виявлення, вимірювання і реєстрації фактів, дій і подій з метою отримання інформації про господарські операції. Суцільне і безперервне спостереження за всіма господарськими операціями на підприємстві здійснюється за допомогою документування.
80326. ТЕХНІКА І ФОРМИ БУХГАЛТЕРСЬКОГО ОБЛІКУ 166.24 KB
  Облікові регістри — це носії спеціального формату (паперові, мащинні) у вигляді відомостей, журналів, книг, журналів-ордерів тощо, призначені для хронологічного, систематичного або комбінованого накопичення, групування та узагальнення інформації з первинних документів, що прийняті до обліку.
80327. БУХГАЛТЕРСЬКА (ФІНАНСОВА) ЗВІТНІСТЬ 178.03 KB
  Поняття та принципи побудови звітності Бухгалтерський облік як відомо це процес виявлення вимірювання реєстрації накопичення узагальнення зберігання та передачі інформації про діяльність підприємства користувачам для прийняття рішень. Підсумкове узагальнення інформації та одержання підсумкових показників що характеризують діяльність підприємства здійснюється шляхом складання звітності за звітний період. Баланс підприємства складається станом на кінець останнього дня кварталу або року. Перший звітний період новоствореного...
80328. ЗАГАЛЬНА ХАРАКТЕРИСТИКА І СУТЬ БУХГАЛТЕРСЬКОГО ОБЛІКУ 63.5 KB
  Оперативно-технічний облік являє собою збір поточної інформації про хід господарської діяльності підприємства, а також контроль за здійсненням окремих операцій безпосередньо в період їх виконання.
80329. ПРЕДМЕТ І МЕТОД БУХГАЛТЕРСЬКОГО ОБЛІКУ 80.5 KB
  Виходячи із цього джерела утворення господарських засобів теж є одним із елементів предмету бухгалтерського обліку. Зазначені господарські операції відображають процес кругообігу господарських засобів підприємства. Джерела утворення господарських засобів які дають відповідь на питання за рахунок чого сформовано господарські засоби. До засобів праці належать земельні ділянки будівлі і споруди машини і обладнання транспортні засоби та ін.
80330. Бухгалтерський баланс. Зміни в балансі, зумовлені господарськими операціями 136 KB
  Бухгалтерський баланс Бухгалтерський баланс його зміст і будова Форма структура і зміст балансу Зміни в балансі зумовлені господарськими операціями Бухгалтерський баланс його зміст і будова Для забезпечення оперативного керівництва діяльністю підприємства необхідна достовірна інформація про наявні у господарстві ресурси їхній склад і розміщення а також про джерела їх формування і цільове призначення. Таку інформацію узагальнену і згруповану у відповідному порядку одержують за допомогою бухгалтерського балансу. У лівій частині...
80331. Економічна ефективність сільськогосподарського виробництва 106.5 KB
  Все ж наближено про досягнутий рівень соціальної ефективності можна судити за таким узагальнюючим показником визначеним у динаміці як питома вага прибутку спрямованого на соціальні доходи у загальній масі чистого прибутку а також величина цього прибутку на одного середньооблікового працівника. Для оцінки рівня екологічної ефективності можуть бути використані такі показники: частка чистого прибутку підприємства що направляється на заходи екологічного спрямування і його абсолютна величина в динаміці; частка сільськогосподарської...