Утвержден и введен в действие
Постановлением Госстандарта РФ
от 4 февраля 2004 г. N 51-ст
НАЦИОНАЛЬНЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ
ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ
ОТКРЫТАЯ РАСПРЕДЕЛЕННАЯ ОБРАБОТКА.
БАЗОВАЯ МОДЕЛЬ
ЧАСТЬ 4
АРХИТЕКТУРНАЯ СЕМАНТИКА
Information technology. Open Distributed Processing.
Reference Model. Part 4. Architectural semantics
ГОСТ Р ИСО/МЭК 10746-4-2004
Группа П85
ОКС 35.080;
ОКСТУ 4002
Дата введения
1 января 2005 года
Предисловие
1. Разработан Государственным научно-исследовательским и конструкторско-технологическим институтом "ТЕСТ" Министерства Российской Федерации по связи и информатизации.
Внесен Министерством Российской Федерации по связи и информатизации.
2. Утвержден и введен в действие Постановлением Госстандарта России от 4 февраля 2004 г. N 51-ст.
3. Настоящий стандарт идентичен международному стандарту ИСО/МЭК 10746-4-98 "Информационная технология. Открытая распределенная обработка. Базовая модель. Часть 4. Архитектурная семантика".
4. Введен впервые.
1. Область применения
Прогресс в области распределенной обработки привел к необходимости координации стандартов по открытой распределенной обработке (ОРО). Базовая модель ОРО предоставляет необходимый для этого каркас, а также устанавливает архитектуру, в которой могут быть скоординированы поддержка распределения, взаимодействия, совместимости и переносимости.
Базовая модель открытой распределенной обработки (БМ-ОРО) основана на строгих понятиях, полученных из анализа современных разработок распределенной обработки, и, насколько возможно, на методах формального описания для спецификации архитектуры.
БМ-ОРО состоит из:
- ГОСТ Р ИСО/МЭК 10746-1, который содержит обзор основных причин создания ОРО, описывает область действия, обосновывает и объясняет ключевые понятия и очерчивает архитектуру ОРО. Эта часть не является нормативной;
- ГОСТ Р ИСО/МЭК 10746-2, который содержит определения понятий, аналитический каркас и обозначения для нормализованного описания (произвольных) систем распределенной обработки. Уровень подробности достаточен для обеспечения ГОСТ Р ИСО/МЭК 10746-3 и установления требований к новым методам спецификации. Эта часть является нормативной;
- ГОСТ Р ИСО/МЭК 10746-3, который содержит спецификацию обязательных характеристик, позволяющих квалифицировать распределенную обработку как открытую, а также устанавливает ограничения, которым должны соответствовать стандарты ОРО, и использует методы описания по ГОСТ Р ИСО/МЭК 10746-2. Эта часть является нормативной;
- настоящего стандарта, который содержит формализацию моделирующих понятий, определенных в ГОСТ Р ИСО/МЭК 10746-2, разделы 8 и 9, и формализацию языков точек зрения, определенных в ГОСТ Р ИСО/МЭК 10746-3. Формализация достигается путем интерпретации каждого понятия в терминах конструкций различных стандартизованных методов формального описания. Эта часть является нормативной.
Целью настоящего стандарта является установление архитектурной семантики ОРО. Она имеет вид интерпретации основных моделирующих и специфицирующих понятий ГОСТ Р ИСО/МЭК 10746-2 и языков точек зрения ГОСТ Р ИСО/МЭК 10746-3 с использованием различных средств различных языков формальных спецификаций. Архитектурная семантика разработана для четырех языков формальных спецификаций: LOTOS, ESTELLE, SDL и Z. Результатом разработки является формализация архитектуры ОРО. В стандарте показана согласованность с ГОСТ Р ИСО/МЭК 10746-2.
Архитектурная семантика дает дополнительные преимущества за счет:
- содействия точной и единообразной разработке формальных описаний систем ОРО;
- возможности единообразного и согласованного сравнения формальных описаний одного и того же стандарта на разных языках формальных спецификаций.
Особое внимание в настоящем стандарте обращается на отображение самых основных (но не всех) понятий ГОСТ Р ИСО/МЭК 10746-2. Семантика архитектурных понятий высших уровней устанавливается косвенно, через их определения в терминах основных понятий ОРО.
Примеры использования некоторых языков формальных описаний приведены в ИСО/МЭК ТО 10167.
В последующих разделах понятия нумеруются в соответствии со схемой, использованной в ГОСТ Р ИСО/МЭК 10746-2.
Настоящий стандарт устанавливает архитектурную семантику ОРО, необходимую:
- для обеспечения формализации моделирующих понятий ОРО;
- для содействия точной и единообразной разработке формальных описаний в стандартах по распределенным системам;
- для связи между моделирующими понятиями ОРО и семантическими моделями языков спецификаций LOTOS, ESTELLE, SDL и Z;
- для возможности единообразного и согласованного сравнения формальных описаний одного и того же стандарта на разных языках формальных спецификаций, которые использовались для разработки архитектурной семантики.
Настоящий стандарт является нормативным.
2. Нормативные ссылки
В настоящем стандарте использованы ссылки на следующие стандарты:
ГОСТ Р ИСО/МЭК 10746-1-2004. Информационная технология. Открытая распределенная обработка. Базовая модель. Часть 1. Основные положения
ГОСТ Р ИСО/МЭК 10746-2-2000. Информационная технология. Открытая распределенная обработка. Базовая модель. Часть 2. Модель
ГОСТ Р ИСО/МЭК 10746-3-2001. Информационная технология. Открытая распределенная обработка. Базовая модель. Часть 3. Архитектура
ИСО/МЭК 8807-89 <*>. Системы обработки информации. Открытая распределенная обработка. LOTOS - метод формального описания, основанный на временном упорядочении наблюдаемого поведения
ИСО/МЭК 9074-97 <*>. Информационная технология. Открытая распределенная обработка. ESTELLE - метод формального описания, основанный на расширенной модели переходов между состояниями
ИСО/МЭК ТО 10167-91 <*>. Информационная технология. Открытая распределенная обработка. Руководство по применению ESTELLE, LOTOS и SDL
Рекомендация МСЭ-Т Z.100 (1999). Язык спецификации и описаний (SDL)
Рекомендация МСЭ-Т Z.105 (1999). Комбинация SDL с модулями АСН.1
Рекомендация МСЭ-Т Z.120 (1999). Диаграмма последовательности сообщений (MSC).
--------------------------------
<*> Международные стандарты - во ВНИИКИ Госстандарта России.
3. Определения
3.1. Определения по ИСО/МЭК 8807
В настоящем стандарте применены следующие термины:
обозначение действия, актуализация параметров, выражение поведения, выбор, соответствие, запрещение, разрешение, обогащение, уравнение, событие, расширение, список формальных ворот, список формальных параметров, ворота, сокрытие ворот, предохранитель, реализация, перекрытие, внутреннее событие, наблюдаемое событие, операция, параллельная композиция, определение параметризованного типа, определение процесса, уменьшение, предикат выбора, сортировка, синхронизация, определение типа, список значений параметров.
3.2. Определения по Рекомендации МСЭ-Т Z.100
В настоящем стандарте применены следующие термины:
предложение действия, блок (тип), вызов, канал, параметр содержимого, непрерывный сигнал, разрешающее условие, экспорт, экспортированная процедура, экспортированная переменная, конечный, ворота, импорт, импортированная переменная, ввод, вывод, процедура, процесс (тип), предоставленный, переопределенный, удаленная процедура, переустановка, возврат, обнаруженная переменная, услуга (тип), множество, сигнал, сигнальный путь, стоп, система (тип), задача, время, таймер, переход, вид, видимая переменная, виртуальный.
3.3. Определения Z
В настоящем стандарте применены следующие термины:
аксиоматическое описание, сопряжение, уточнение данных, инвариант, уточнение операции, перезапись, постусловие, предусловие, схема (операции, состояний, кадрирования), вычисление схемы, композиция схем.
3.4. Определения по ИСО/МЭК 9074
В настоящем стандарте применены следующие термины:
деятельность, предложение присваивания, присоединение, канал, определение канала, соединение, состояние контроля, раздел-DELAY, отсоединение, рассоединение, экспортированная переменная, внешняя точка взаимодействия, раздел-FROM, функция, реализация, взаимодействие, точка взаимодействия, определение тела модуля, определение заголовка модуля, экземпляр модуля, вывод, родительский экземпляр, примитивная процедура, процедура, раздел-PROVIDED, освобождение, роль, раздел-ТО, переход, блок переходов, раздел переходов, раздел-WHEN.
3.5. Сокращения
В настоящем стандарте применены следующие сокращения:
АСН.1 - абстрактная синтаксическая нотация версии 1;
БМ-ОРО - базовая модель ОРО;
ДЗП - диаграмма записи последовательностей;
ИСО - Международная организация по стандартизации;
ОРО - открытая распределенная обработка;
ПК - подкомитет;
РГ - рабочая группа;
ЯФС - язык формальных спецификаций;
SDL - Specification and Description Language (язык спецификаций и описаний).
4. Интерпретация моделирующих понятий
Для просмотра документа целиком скачайте его >>>
