ГОСТ Р ИСО/МЭК 10746-4-2004
ворота, импорт, импортированная переменная, ввод, вывод, процедура, процесс (тип), предоставленный,
переопределенный, удаленная процедура, переустановка, возврат, обнаруженная переменная, услуга
(тип), множество, сигнил. сигнальный путь, стоп, система (тип), задача, время, таймер, переход, вид,
видимая переменная, виртуальный.
3.3 Определения Z
В настоящем стандарте применены следующие термины:
аксиоматическое описание, сопряжение, уточнение данных, инвариант, уточнение операции, пере-
запись, постусловие, предусловие, схема (операции, состояний, кадрирования), вычисление схемы, ком
позиция схем.
3.4 Определения по ИСО/МЭК 9074
В настоящем стандарте применены следующие термины:
деятельность, предложение присваивания, присоединение, канал, определение канала, соединение,
состояние контраля, раздел-DELA Y, отсоединение, рассоединение, экспортированная переменная, внеш
няя точка взаимодействия, раздел-f’ROM, функция, реализация, взаимодействие, точка взаимодейст-
вия, определение тела модуля, определение заголовка модуля, экземпляр модуля, вывод, родительский
экземпляр, примитивная п/юцедура, процедура, раздел-PROVIDED, освобождение, роль, раздел-ТО,
переход, блок переходов, раздел перехо()ов. раздел-WHEN.
3.5 Сокращения
В настоящем стандарте применены следующие сокращения:
АСН.1 —абстрактная синтаксическая нотация версии I;
БМ-ОРО —базовая модель 01*0;
ДЗИ —диаграмма записи последовательностей;
ИСО —Международная организация по стандартизации;
ОРО —открытая распределенная обработка;
ПК —подкомитет;
РГ —рабочая группа;
ЯФС —язык формальных спецификаций;
SDL —Specification and Description Language (язык спецификаций и описаний).
4Интерпретация моделирующих понятий
4.1 Архитектурная семантика в LOTOS
LOTOS является стандартизованным (ИСО/МЭК 8807) языком формальных спецификаций
(ЯФС). Методические материалы приведены в указанном стандарте.
В настоящем разделе объясняется, как основные моделирующие понятия могут быть выражены
на LOTOS. Нужно отметить, что в LOTOS существует два основных способа моделирования понятий,
установленных в ГОСТ Р ИСО/МЭК 10746-2. Один из них основан на алгебраической части языка,
другой —на типе данных ACT ONE. Так как формализация понятий с помощью ACT ONE
приме нима и для SDL. то эта формализация приведена в отдельном подразделе (см. 4.2).
Во избежание путаницы в терминологии ОРО и LOTOS в последующих подразделах курсивом
выделены специфические для LOTOS термины.
4.1.1 О с н о в н ы ем о д е л и р у ю щ и еп о н я т и я
4.1.1.1 Объект
Реализация опредсленлля процесса LOTOS, на которую можно однозначно ссылаться.
4.1.1.2 Среда (объекта)
Часть модели, которая не является частью объекта. В LOTOS среда объекта в данный момент
времени в спецификации задается средой спецификации идругими выражениями повескния, которые
сочленены с данным объектом в данное время.
П р и м е ч а н и е —Среда спецификации пуста, если спецификация не параметризована.
4.1.1.3 Действие
В LOTOS действия моделируются либо как вллу/пренние, либо как наблюдаемые события. Все
события в LOTOS являются элементарными. Внутреннее действие может быть явно выражено
символом внутреннего события i или совершением события, с которым связаны скрытые от среды
ворота.
Взаимодействие представляется в LOTOS синхронизацией между двумя или несколькими выра-
3