На головну

Діаграма станів (прості стану) і правила її побудови. Приклад.

  1.  II. Основні правила оформлення посилань і списку використаної літератури
  2.  UML. Концептуальний рівень. Діаграма класів і правила її побудови. Приклад.
  3.  А) миття рук згідно з розробленими правилами
  4.  Алгоритми пошуку в просторі станів.
  5.  Аналіз гріховних станів. Дозвіл непорозумінь. У чому гідність людини
  6.  Анна посміхнулася, поправила сукню і стілець, подумала хвилину і заграла.
  7.  банні правила

StateChart Diagram (Кінцеві автомати).

Теоретична основа - В. м. Глушко (60-70рр) - синтез кінцевих автоматів. Автор - Devid Harell. Діагамма відображає поведінку система в термінах кінцевих автоматів (КА).

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

Стан об'єктів фіксується станом його параметрів (атрибутів). Стан є фундаментальним поняттям властиве будь-якому процесу. Зміна станів відбувається дискретно і аналогові автомати не розглядаються.

2 категорії станів: 1) діяльності; 2) очікування.

Стану об'єкта називаються простором станів. Гіпотеза: це простір звичайно, т. Е. Безліч станів звичайно.

Переходи автомата з одного стану в інший може відображатися графом переходу, Де вузли - стану, ребра - лінії переходу. Все неанонімні стану мають унікальні імена. одне і теж стан не може відображатися 2 рази.

перехід (transition) - Реакція об'єкта на деяку подію. Перехід вважають атомарним дією миттєвого типу (t = 0). Якщо необхідно враховувати t, то воно включається під час знаходження об'єкта в тому чи іншому стані.

Об'єкт може створюватися, знищуватися і змінювати свої характеристики.

Умови при моделюванні КА:

1. Автомат (А) не пам'ятає історію свого переміщення зі стану в стан.
 Якщо необхідно врахувати пам'ять, то вводиться історичне стан.

2. Кожен момент часу автомат може перебувати тільки в одному стані.

3. Час присутній в А. в неявному вигляді, проте в діаграмі послідовності і активності, воно може вказуватися явно.

4. Кількість станів звичайно, стану вказуються явно.

5. Не повинно бути ізольованих станів і переходів, їхні капітали повинні бути досяжні.

6. Не повинно бути конфліктних переходів.

стан (state) - Функціональне поняття, стан відповідає статичної діяльності або ситуацію, в перебігу якої виконуються деякі умови (інваріант).

Мал. 9.1 - Просте стан

Рис 9.2 - Композитний стан

Таким чином утворюється ієрархія станів - розподіл діяльності на дрібні фрагменти.

діяльність (activity) - Станів з послідовності дій, має час виконання і може бути перервано подією.

Дія (action) - Елементарна непреривавшуюся операція.

Приклад: привласнення значення, створення / знищення об'єкта.

Існують наступні дії (+ мітками):

· Entry / <дію> - при вході в стан;

· Exit / <дію> - при виході зі стану;

Ці два - безперервні.

· Do / <дію> - дія в стані.

Позначення переходу:

І > Ц, де попередній стан - джерело, наступне - мета.

Умови переходу:

1. відбулося перемикаюче подія, ім'я якого є назва переходу;

2. завершилася діяльність в попередньому стані і виконано дію при виході зі стану (неявне перемикаюче подія);

3. виконано сторжівое умова, що стоїть у переходу, якщо воно є;

4. виконано дію, прикріплене до переходу, якщо воно є.

Мал. 9.3 - Приклад.

Виділяють 2 спеціальних стану:

 - Початковий стан, в ньому не виконується дій і діяльностей і здійснюється перехід 1 стан; такий стан може бути тільки одне.

 - Кінцевий стан, завершення діяльності КА, дії не проводяться, крім «закриття / знищення форми », таких станів може бути більше 1.

Мал. 9.4 - Приклад рекурсії(Переходу самого в себе)

В основі функціонування КА лежить поняття події (event).

4 основних категорії подій:

1. Подія виклику (call event) Відповідає викликом до-якої процедури, діяльності, операції. Може мати параметри: ім'я викликається операції, умови, повернення.

2. зміна (change event) Задоволення нікого логічного умови, що визначається виразом події.

3. сигналу(signal event) - Щоб отримувати сигнал з параметрами.

4. часу(time event) - Закінчення на-небудь інтервалу часу або настання к-якого моменту часу.

Зі стану може бути кілька переходів, т. Е. Сторожові умови можуть галузитися.

Мал. 9.5 - Приклад розгалуження сторожових умов



 UML. Логічний і фізичний рівень. Діаграма класів. Об'єкти і шаблони (параметризрвані класи). |  Складові і історичні стану в діаграмі станів. Складні переходи. Синхронизирующие стану. Приклади.

 Методологія об'єктно-орієнтованого програмування (ООП). Поняття класу та об'єкта. Загальні принципи |  Методологія об'єктно-орієнтованого аналізу і проектування. Основні етапи розвитку UML |  Основні компоненти мови UML. Уніфікований процес проектування. склад моделей |  Generalization »ставлення узагальнення |  UML. Концептуальний рівень. Діаграма класів і правила її побудови. Приклад. |  Операції і методи в мові UML. властивості понять і нотація. приклади |  Відносини між класами в UML. приклади |  Діаграма діяльності та правила її побудови. «Плавальні доріжки». Приклади. |  Діаграма послідовності і правила її побудови. Види повідомлень і правила їх позначень. приклади |  Діаграма кооперації та правила її побудови. Активні і пасивні об'єкти. Зв'язки в кооперації і їх позначення. |

© um.co.ua - учбові матеріали та реферати