ГОСТ Р ИСО/МЭК 10746-4-2004
постусловиям ранее встретившихся операций. Предусловия и постусловия для операций определены
в 4.2.2.23 и 4.2.2.24. соответственно.
4.2.1.6 Поведение (объекта)
Поведение объекта, моделируемого в ACT ONE, зависит от операций, связанных с шаблоном
объекта, и от текущего состояния привязанных к нему объектов. А именно, значение состояния
привязанного объекта может быть использовано для ограничения возможных операций, например
путем исключения некоторых операций, уравнения которых не выполняются для этого состояния.
ACT ONE не обеспечивает явно такие ограничения на появление операций, как последователь
ность. недетерминизм, конкуренция и ограничения реального времени. ACT ONE предоставляет
операции и уравнения, которые сами но себе обозначают все возможные ограничения, т. е. все
возможное поведение с ассоциированными с ним ограничениями.
ВЛСТ ONE нет характеристик специально для моделирования внутреннихдействий. Конкрет
нее. нет понятия спонтанного перехода, которое может встретиться в алгебре обработки с символом
внутреннего события i. например.
Следует отметить, что реально нет понятия поведения, фактически осуществляющегося только
в ACT ONE. Осуществляющееся поведение ACT ONE обычно связывается с выражениями ACT
ONE. которые вычисляются в алгебре обработки.
4.2.1.7 Состояние (объекта)
Текущее значение того экземпляра сорта. моделирующего объект, к которому это значение
привязано. Сорт, моделирующий объект, должен содержать идентификатор, используемый дтя
отличия друг от друга разных экземпляров сорта. Значение этою идентификатора не является частью
состояния, т. е. это значение должно оставаться неизменным в операциях и уравнениях, связанных
с сортом.
4.2.1.8 Коммуникация
Это понятие не поддерживается в ACT ONE. Возможен случай, когда коммуникация абстракт
ного вида может быть смоделирована при использовании алгебраического стиля спецификации.
Однако и это не будет отражать текста ГОСТ Р ИСО/МЭК 10746-2. т. е. это не будет
переносом информации от одного объекта к другому. Скорее, среда (алгебра обработки)
используется для коммуникации с объектами.
4.2.1.9 Положение в пространстве
Понятие положения в пространстве не поддерживается явным образом в ACT ONE. Если
требуется, то это понятие может быть построено в модели спецификации, например через сорт,
моделирующий положение в пространстве, который используется в тех операциях, где нужно уста
новить положение в пространстве.
4.2.1.10 Положение во времени
Понятие положения в пространстве не поддерживается явным образом в ACT ONE. Однако,
если понятие времени относится к текущему состоянию данного объекта, т. е. к изменениям
состояния, которые уже произошли и которые могут произойти, то положение во времени, при
котором данное действие может произойти, можно определить, с некоторыми расширениями,
текущим состоянием данного объекта.
Положение во времени, при котором данное действие может произойти, может быть построено
в спецификации, например через сорт, моделирующий положение но времени, который использу
ется в тех операциях, где нужно установить положение во времени.
4.2.1.11 Точка взаимодействия
Это понятие не поддерживается явным образом в ACT ONE. Однако возможен случай, когда
это понятие может быть построено в спецификации, например через сорт, используемый в опера
циях, которые входят в множество интерфейсов в одном и том же месте. А именно, всем операциям
в множестве интерфейсов в одном и том же месте требуется входной параметр (сорт), указывающий
положение, в котором эти операции существуют. При необходимости можно смоделировать несколь
ко точек взаимодействия так, чтобы они существовали в одном и том же месте. Этого можно достичь
через операцию создания сорта «положение*, которая требует на входе несколько сортов
«точка взаимодействия*. Операции и уравнения, ассоциированные с этими сортами, должны
позволять идентифицировать разные точки взаимодействия и положения.
4.2.2 С п е ц и ф и ц и р у ю щ и е п о н я т и я
4.2.2.1 Композиция
Композиция объектов - в общем случае в ACT ONE нельзя скомбинировать два произвольных
объекта и получить осмысленный результат, т. е. составной объект со своим собственным поведе-
10