Uml state diagram (диаграмма состояний уям)

Условные обозначения:

Start – старт;

Stop – стоп;

Continue – продолжить;

Pause – пауза;

Unpause – без паузы;

Simulator running – работа моделирующей программы (программы моделирования);

Simulator paused – пауза в работе моделирующей программы;

Data requested – запрос данных;

Do/wait – выполнять/ожидайте;

Log retrieval – поиск (выборка) файла регистрации (протокола);

Do/output log – выполнять/выходной файл регистрации (протокол).

The Unified Modeling Language (UML) state diagram is essentially a Harel statechart with standardized notation, which can describe many systems, from computer programs to business processes.

Диаграмма состояний UML (УЯМ) является по существу диаграммой Harel вместе со стандартным набором изображений с помощью условных знаков, которые могут описывать многие системы, от компьютерной программы до делового процесса.

The following are the basic notational elements that can be used to make up a diagram (следующие элементы являются основным набором изображений с помощью условных знаков для отображения диаграмм):

• Filled circle, pointing to the initial state (заполненный кружок, указывающий на начальное состояние);

• Hollow circle containing a smaller filled circle, indicating the final state (if any) (назаполненный кружок, содержащий меньший по размеру заполненный кружок, указывающий на конечное состояние, если это имеет место);

• Rounded rectangle, denoting a state. Top of the rectangle contains a name of the state. Can contain a horizontal line in the middle, below which the activities that are done in that state are indicated (округленный прямоугольник, указывающий на состояние. Верхняя часть прямоугольника содержит название состояния. Может содержать горизонтальную линию посередине, ниже которой указывается выполняемая в данном состоянии деятельность;

• Arrow, denoting transition. The name of the event (if any) causing this transition labels the arrow body. A guard expression may be added before a "/" and enclosed in square-brackets (eventName[guardExpression] ), denoting that this expression must be true for the transition to take place. If an action is performed during this transition, it is added to the label following a "/" (eventName[guardExpression]/action) – стрелка, показывающая переход. Название события (если оно имеет место), вызывающее этот переход, показано на теле стрелки. Название защищенного выражения может добавляться до знака "/" и заключено в квадратные скобки – (названиеСобытия[защитноеВыражение]), обозначающее, что это выражение должно быть истинным для перехода, который должен состояться. Если действие происходит во время этого перехода, оно добавляется к метке, следующей за знаком "/" (названиеСобытия[защитноеВыражение]/действие.);

• Thick horizontal line with either x>1 lines entering and 1 line leaving or 1 line entering and x>1 lines leaving. These denote join/fork, respectively.

According to Pilone, the only predefined guard condition is ELSE. No other examples are provided within that publication.

Жирная горизонтальная линия, имеющая либо x>1 линий входящих 1 линию уходящую либо 1 линию входящую и x>1 линий уходящих. Это означает соединение/разветвление соответственно. Согласно Pilone имеется только одно заранее определенное защитное условие – ELSE (еще).

Guard expression (VHDL): A Boolean-valued expression associated with a block statement that controls assignments to guarded signals within the block. A guard expression defines an implicit signal GUARD that may be used to control the operation of certain statements within the block.

Охранное выражение (язык VHDL): логическое выражение, связанное с архитектурным описанием этого блока, которое управляет процессом присвоения значений т.н. «охраняемым сигналам» внутри блока, который управляет операциями с определенными объявлениями внутри блока.

Guarded signal: A signal declared as a register or a bus. Such signals have special semantics when their drivers are updated from within guarded signal assignment statements.

охраняемый сигнал – объявляется в качестве регистра или шины. Подобные сигналы имеют специальную семантику в случаях обновления драйверов внутри специальной процедуры.