Методические указания по выполнению лабораторных занятий
жүктеу/скачать 3,94 Mb.
|
- Бұл бет үшін навигация:
- На рис. 12.4 показаны простой и рефлексивный переходы.
- Рис. 12.5. Составное состояние и подсостояния
Переход может быть направлен в то же состояние, из которого он выходит. Такой переход называется рефлексивным. В отличие от внутренних переходов, при рефлексивном переходе выполняются внутренние действия, ассоциированные с метками entry и exit.На рис. 12.4 показаны простой и рефлексивный переходы.Рис. 12.4. Простой (а) и рефлексивный (б) переходыНа диаграмме могут отображаться составные состояния (англ. composite state), состоящие из вложенных в них подсостояний (англ. substate) (рис. 12.5).Рис. 12.5. Составное состояние и подсостоянияПодсостояния отображаются внутри составного состояния (подавтомата).Составное состояние может содержать параллельные подавтоматы или последовательно выполняемые подсостояния. При этом любое из подсостояний в свою очередь может являться составным состоянием.Последовательные подсостояния (англ. sequential substates) используются для моделирования такого поведения экземпляра сущности, во время которого в каждый момент времени он находится в одном, и только одном, подсостоянии. Поведение экземпляра сущности в этом случае представляет собой последовательную смену подсостояний от начального до конечного. Хотя сущность продолжает находиться в составном состоянии, введение в рассмотрение последовательных подсостояний позволяет отобразить более тонкие логические аспекты его внутреннего поведения.Параллельные подсостояния (англ. concurrent substates) позволяют специфицировать два и более подавтомата, которые могут параллельно выполняться внутри составного события. Каждый из подавтоматов занимает некоторую область внутри составного состояния, которая отделяется от остальных горизонтальной линией (рис. 12.6). Если на диаграмме имеется составное состояние с вложенными параллельными подавтоматами, то экземпляр сущности может одновременно находиться в нескольких подсостояниях, но не более чем по одному из каждого подавтомата. Если какой-либо из подавтоматов пришел в свое конечное состояние раньше других, то он должен ожидать, пока другие подавтоматы не придут в свои конечные состояния.жүктеу/скачать 3,94 Mb. Достарыңызбен бөлісу:
|