ГОСТ Р ИСО/МЭК 10746-4-2004
жениями поведения, связанными с объектами в обшей точке взаимодействия (воротах). Взаимодей
ствия могут быть следующих видов:
- чистая синхронизация в общих воротах без представления: передачи значений между объек
тами не происходит;
- ! и ! для чистой синхронизации: нет обмена значениями между объектами;
- ! и ? для передачи значения при условии, что событие ? содержит событие !: другой способ
рассмотрения —событие ! выбирает значение из значений дтя события?;
- ? и ? дтя установления значения: результатом яшшется согласование значения из пересечения
множеств значения. Если это пересечение является пустым множеством, то нет синхронизации и,
следовательно, взаимодействие не происходит.
Если требуется неэлементарное дробление действий, то можно использовать уточнение собы
тий. Это позволит моделировать нереализуемые и перекрывающиеся действия. Следует заметить,
что уточнение событий является нетривиальной задачей, особенно когда должна обеспечиваться
поведенческая совместимость.
В LOTOS нет конструкций дтя выражения взаимосвязей причина —результат, однако иногда
они могут быть выражены неформально.
4.1.1.4 Интерфейс
Это —абстракция поведения объекта, которая состоит из подмножества наблюдаемых дейст
вий данного объекта. Так как всем наблюдаемым действиям объекта в LOTOS требуются ворота,
синхронизированные со средой, то обычно подмножество наблюдаемых действий получается деле
нием ворот, заданных в определении процесса, связанного с объектом. Для получения рассматрива
емого интерфейса не обязательно доходить до скрытых ворот. Альтернативно можно использовать
синхронизацию на подмножестве ворот, связанных с объектом. В этом случае действия, происходящие
через те ворота в определении процесса, которые не входят в синхронизированное множество, могут
рассматриваться как внутренние действия объекта до тех пор, пока рассматривается образующая
интерфейс синхронизация со средой в этих воротах.
Следует учитывать, что данное определение требует, чтобы интерфейсы объекта использовали
разные имена ворот, так как невозможно различать интерфейсы, использующие одни и те же ворота.
4.1.1.5 Деятельность
Деятельность является однонапраазенным ациклическим графом действий, в котором каждый
узел представляет состояние системы, а каждая дута —действие. Язя того чтобы действие могло
осуществиться, должны быть выполнены предусловия состояния системы.
4.1.1.6 Поведение (объекта)
Поведение объекта определяется в LOTOS выражением поведения, связанным с определением
процесса, которое образует шаблон объекта. Выражение поведения может состоять из последователь
ности как видимых внешне событий, так и внутренних событий. Фактическое поведение объекта,
которое может быть записано при трассировке, зависит от выражения поведения, связанного с
объектом, и от того, как он конфигурирован со средой. Фактическое поведение объекта показывает
зависимость от выражения поведения объекта и от того, как оно синхронизировано со средой. Объект
может демонстрировать недетерминированное поведение.
4.1.1.7 Состояние (объекта)
Условие объекта, определяющее множество всех последовательностей действий, в которых
может участвовать объект. Этим условием управляет выражение поведения, определенное в шаблоне
объекта, из которого был создан объект, и, возможно, текущими значениями любых существующих
локальных переменных.
4.1.1.8 Коммуникация
Перепое информации (через передаваемые значения) между двумя или несколькими взаимо
действующими объектами. Невозможно выразить непосредственно взаимоотношения причина —
результат. Следует отметить, что синхронизация сама может быть построена как коммуникация.
4.1.1.9 Положение в пространстве
LOTOSабстрагируется от понятия положения в пространстве. Можно отождествлять пространство
со структурой модели спецификации. Положение события (структурное положение относительно
модели спецификации) задается в LOTOS воротами для взаимодействий. От понятия положения в
пространстве, в котором может произойти внутреннее событие, LOTOS полностью абстрагирован. Эта
абстракция достигается неявным использованием в LOTOS конструкции «скрытькоторая делает
ворота, используемые внутри процесса, невидимыми для среды процесса, или явным использова
нием символа внутреннего события i.
4