Диаграммы переходов состояний

Диаграмма переходов состояний является графической формой предо­ставления конечного автомата - математической абстракции, используемой для моделирования детерминированного поведения технических объектов или объектов реального мира.

На этапе анализа требований и определения спецификаций диаграмма переходов состояний демонстрирует поведение разрабатываемой программ­ной системы при получении управляющих воздействий. Под управляющими воздействиями или сигналами в данном случае понимают управляющую ин­формацию, получаемую системой извне. Например, управляющими воздей­ствиями считают команды пользователя и сигналы датчиков, подключенных к компьютерной системе. Получив такое управляющее воздействие, разраба­тываемая система должна выполнить определенные действия и или остаться в том же состоянии, или перейти в другое состояние взаимодействия с внеш­ней средой.

Если программная система в процессе функционирования активно не взаимодействует с окружающей средой (пользователем или датчиками), на­пример, использует примитивный интерфейс и выполняет некоторые вычис­ления по заданным исходным данным, то диаграмма переходов состояний обычно интереса не представляет.

Для интерактивного программного обеспечения с развитым пользова­тельским интерфейсом основные управляющие воздействия - команды поль­зователя, для программного обеспечения реального времени - сигналы от датчиков и/или оператора производственного процесса. Общим для этих ти­пов программного обеспечения является наличие состояния ожидания, когда программное обеспечение приостанавливает работу до получения очередно­го управляющего воздействия. К программному обеспечению, требующему уточнения особеннос­тей поведения посредством построе­ния диаграммы переходов состоя­ний, относится и программное обес­печение, ориентированное на работу в сети. При этом отдельно строят модели поведения сервера и клиента, представляя сообщения, передаваемые между ними, в виде управляющих воздействий.

Дата добавления: 2014-01-07