ГОСТ Р ИСО/МЭК 10746-4-2004
- возможности единообразного и согласованного сравнения формальных описаний одного и
того же стандарта на разных языках формальных спецификаций.
Особое внимание в настоящем стандарте обращается на отображение самых основных (но не
всех) понятий ГОСТ Р ИСО/МЭК 10746-2. Семантика архитектурных понятии высших уровней
устанавливается косвенно, через их определения в терминах основных понятий ОРО.
Примерыиспользованиянекоторыхязыковформальныхописанийприведеныв
ИСО/МЭК ТО 10167.
В последующих разделах понятия нумеруются в соответствии со схемой, использованной в
ГОСТ Р ИСО/МЭК 10746-2.
Настоящий стандарт устанавливает архитектурную семантику ОРО. необходимую:
- для обеспечения формализации моделирующих понятий ОРО:
- для содействия точной и единообразной разработке формальных описаний в стандартах по
распределенным системам;
- дтя связи между моделирующими понятиями ОРО и семантическими моделями языков
спецификаций LOTOS, ESTELLE. SDL и Z;
- для возможности единообразного и согласованного сравнения формальных описаний одного
и того же стандарта на разных языках формдтьпых спецификаций, которые использовались дтя
разработки архитектурной семантики.
Настоящий стандарт является нормативным.
2 Нормативные ссылки
В настоящем стандарте использованы ссылки на следующие стандарты:
ГОСТ Р ИСО/МЭК 10746-1—2004 Информационная технология. Открытая распределенная
обработка. Базовая модель. Часть I. Основные положения
ГОСТ Р ИСО/МЭК 10746-2—2000 Информационная технология. Открытая распределенная
обработка. Базовая модель. Часть 2. Модель
ГОСТ Р ИСО/МЭК 10746-3—2001 Информационная технология. Открытая распределенная
обработка. Базовая модель. Часть 3. Архитектура
ИСО/МЭК Ш)7—89*’ Системы обработки информации. Открытая распределенная обработ
ка. LOTOS —метод формального описания, основанный на временном упорядочении наблюдаемого
поведения
ИСО/МЭК 9074—97*’ Информационная технология. Открытая распределенная обработка.
ESTELLE —метод формального описания, основанный на расширенной модели переходов между
состояниями
ИСО/МЭК ТО 10167—91*’ Информационная технология. Открытая распределенная обра
ботка. Руководство по применению ESTELLE, LOTOS и SDL
Рекомендация МСЭ-Т Z. 100 (1999) Язык спецификации и описаний (SDL)
Рекомендация МСЭ-Т Z.105 (1999) Комбинация SDL с модулями ЛСН.1
Рекомендация МСЭ-Т Z.120 (1999) Диаграмма последовательности сообщений (MSC)
3 Определения
1
3.1 Определения по ИСО/МЭК 8807
В настоящем стандарте применены следующие термины:
обозначение (kiteтвоя, актуализация параметров, выражение попечения, выбор, соответствие,
запрещение, разрешение, обогащение, уравнение, событие, расширение, список с/юрмальных ворот, список
(/юрмалы ых параметров, ворота, сокрытиеворот, щзедохранитель, реаиезация. перекрытие, внутреннее
событие, наблюдаемое событие, операция, параллелысая композиция, опреснение параметризованного
типа, определение процесса, уменьшение, npech/кат выбора, сортировка, синхронизация, определение
типа, список значений параметров.
3.2 Определения по Рекомендации МСЭ-Т Z.100
В настоящем стандарте применены следующие термины:
предложение действия, блок (тип), вызов, каназ, параметр соскржимого. непрерывный сигнал,
/юзреисающее условие, экспорт, экспортированная процедура, экспортированная переменная, конечный,
2
*’ Международные стандаргы —во ВНИИКИ Госстандарта России.