ГОСТ Р ИСО/МЭК 10746-4-2004
Н А Ц И О Н А Л Ь Н Ы Й С Т А Н Д А Р ТР О С С И Й С К О Й Ф Е Д Е Р А Ц И И
Информационная технология
ОТКРЫТАЯ РАСПРЕДЕЛЕННАЯ ОБРАБОТКА
БАЗОВАЯ МОДЕЛЬ
Ч а с ть 4
Архитектурная семантика
Information technology. Open Distributed Processing. Reference Model. Part 4. Architectural semantics
Дата введения 2005—01—01
1 Область применения
Прогресс в области распределенной обработки привел к необходимости координации стандар
тов по открытой распределенной обработке (ОРО). Базовая модель ОРО предоставляет необходимый
для этого каркас, а также устанавливает архитектуру, в которой могут быть
скоординированы поддержка распределения, взаимодействия, совместимости и переносимости.
Базовая модель открытой распределенной обработки (БМ-ОРО) основана на строгих понятиях,
полученных изанализа современных разработок распределенной обработки, и, насколько возможно,
на методах формального описания для спецификации архитектуры.
БМ-ОРО состоит из:
- ГОСТ Р ИСО/МЭК 10746-1, который содержит обзор основных причин создания ОРО,
описывает область действия, обосновывает и объясняет ключевые понятия и очерчивает архитектуру
ОРО. Эта часть не является нормативной;
- ГОСТ Р ИСО/МЭК 10746-2, который содержит определения понятий, аналитический кар
кас и обозначения для нормализованного описания (произвольных) систем распределенной обра
ботки. Уровень подробности достаточен для обеспечения ГОСТ Р ИСО/МЭК 10746-3 it уста
новления требований к новым методам спецификации. Эта часть является нормативной;
- ГОСТ Р ИСО/МЭК 10746-3. который содержит спецификацию обязательных характерис
тик, позволяющих квалифицировать распределенную обработку как открытую, а также устанавли
вает ограничения, которым должны соответствовать стандарты ОРО. и использует методы описания
по ГОСТ Р ИСО/МЭК 10746-2. Эта часть является нормативной;
- настоящего стандарта, который содержит формализацию моделирующих понятий, опреде
ленных в ГОСТ Р ИСО/МЭК 10746-2, разделы К и 9, и формализацию языков точек зрения,
определенных в ГОСТ Р ИСО/МЭК 10746-3. Формализация достигается путем интерпретации каж дого
понятия в терминах конструкций различных стандартизованных методов формального описа ния.
Эта часть яатяется нормативной.
Целью настоящего стандарта является устанодление архитектурной семантики ОРО. Она имеет
видинтерпретацииосновныхмоделирующихиспецифицирующихпонятий
ГОСТ Р ИСО/МЭК 10746-2 и языков точек зрения ГОСТ Р ИСО/МЭК 10746-3 с использованием
различных средств различных языков формальных спецификаций. Архитектурная семантика разра
ботана для четырех языков формальных спецификаций: LOTOS. ESTELLE, SDL и Z. Результатом
разработки является формализация архитектуры ОРО. В стандарте показана согласованность с
ГОСТ Р ИСО/МЭК 10746-2.
Архитектурная семантика дает дополнительные преимущества за счет:
- содействия точной и единообразной разработке формальных описаний систем ОРО;
И
1
ланис официальное
I