ГОСТ Р ИСО/МЭК 10746-4-2004
Некоторое положение в пространстве может использовать несколько точек взаимодействия. В
LOTOS это возможно с помощью единственных порог» с разными обозначениями действий.
Положение объекта задается объединением положений связанных с ним ворот, т. е. объеди
нением всех положений действий, в которых объект может участвовать.
4.1.1.10 Положение во времени
LOTOS абстрагируется от понятия времени, рассматривая только временной порядок; таким
образом, нет абсолютного положения в реальном метрическом времени. Однако положение во времени
возможно, если расширить LOTOS за счет включения вопросов времени.
4.1.1.11 Точка взаимодействия
Ворота с (возможно пустым) списком ассоциированных значений.
П р и м е ч а н и е —В спецификации изменения положения могут отражаться в ассоциированных зна
чениях.
4.1.2 С п е ц и ф и ц и р у ю щ и еп о н я т и я
4.1.2.1 Композиция
- Композиция объектов —составной объект, описанный путем применения одного или не
скольких операторов комбинации LOTOS. 13 их число входят
оператор чередования (| 11),
операторы параллельной композиции (| | и | [список-ворот11).
оператор разрешения ( » ) ,
оператор запрета (|>),
оператор выбора (||).
- Композиция поведений —композиция выражений поведения, связанных с объектами-компо
нентами при создании составного объекта с помощью композиции. Операторы для композиции
поведений те же самые, что и для композиции объектов.
4.1.2.2 Составной объект
Объект, описанный с использованием одного или нескольких операторов чередования, парал
лельной композиции, разрешения, запрета и выбора.
4.1.2.3 Декомпозиция
- Декомпозиция объектов —выражение данного объекта как составного. Может быть несколько
способов декомпозиции объекта.
- Декомпозиция поведений — выражение данного поведения как составного. Может быть
несколько способов декомпозиции поведения.
Приме ча ние —Также можно считать, что представление декомпозиции повеления обеспечивается
операциями ACT ONE и уравнениями, связанными с сортом. Эти операции и уравнения дают все возможные
комбинации поведения. Так. например, последовательная композиция может быть создана последовательным
применением операций. Каждое применение операции в последовательности должно удовлетворять обязатель
ным для появления уравнениям. Хотя остается спорным, является ли это композицией поведений, так как
операции и уравнения уже существуют и определяют все возможные поведения.
4.1.2.4 Поведенческая совместимость
В LOTOS были разработаны специальные теории для проверки поведенческой совместимости.
Нет специфических для языка LOTOS синтаксических особенностей для построения и гарантии
поведенческой совместимости в общем случае. Однако в стандарте LOTOS разработано
представле ние соответствия, которое обеспечивает основу для рассмотрения поведенческой
совместимости.
Для определения того, являются ли два объекта поведенчески совместимыми, должно быть
введено предста&ленме соответствия. Соответствие нацелено на оценку функционирования реа
лизации относительно спецификации; здесь термин реализация может рассматриваться как менее
абстрактное описание спецификации.
Если Р и Q —два процесса LOTOS, то утверждение «Q соответствует Р* (записывается «Q conf Р»)
означает, что Q является допустимой реализацией Р. Это, в спою очередь, означает, что если Р может
пройти по некоторой трассе о и ведет себя при этом как некоторый процесс Р’ и Q может пройти по
трассе а и ведет себя как Q’.
to
для Р’ и Q должны выполняться следующие условия: когда Q’ может
отказаться от осуществления любого события из данного множества наблюдаемых действий А. тогда
Р‘ также может отказаться от осуществления любого события из А.
Таким образом, Q conf Р только в том случае, если Q. помещенный в среду, допускающую
только трассы для Р. не может привести к взаимоблокировке, когда Р не может этого сделать. Другой
способ определения: Q имеет взаимоблокировки Р в среде, трассы которой ограничены трассами Р.
5