Аналитические и имитационные модели. Финаев В.И - 275 стр.

UptoLike

ВУЗ: 

ТТИ ЮФУ | Таганрог

Составители: 

Рубрика: 

275
<имя события>’,’<параметр>’,’. . .’)’;
- условное выражение является булевским
выражением, описывающим условие, при выполнении
которого происходит данное событие;
- действие есть выражение, выполняемое при
инициации данного перехода. Оно может содержать в себе
операции, атрибуты, данного объекта и параметры
вызванного события;
- посылка сообщения определяет сообщение (или
сигнал), посылаемое при возникновении данного события,
и имеет следующий формат:
<адресат>’.‘<имя сообщения>’(‘<параметр>’.’ . . ‘)‘,
где: - адресат является выражением, определяющим
объект (или множество объектов), которому посылается
сообщение (сигнал);
- имя сообщения содержит в себе имя события, о
котором посылается сообщение (сигнал);
- параметры передаются вместе с данным сообщением
(сигналом) объекту-адресату.
Переход может содержать несколько таких
предложений. Порядок их расположения определяет
порядок их выполнения;
Один общий переход может иметь множество исходных
и конечных состояний. Это представляется синхронизацией
и/или разделением управления между параллельными
ветвями в параллельных подсостояниях. Если данный
объект одновременно находится во
всех исходных
состояниях данного перехода, то переход осуществляется.
Если условие перехода становится истинным, то переход
инициируется и выполняются действия, стоящие на данном
переходе.
Обычно все исходные состояния должны быть активны к
тому моменту, когда инициируется сложный переход
(complex transition). В более сложных ситуациях условие

Страницы