Данная Рекомендация︱Международный стандарт определяет архитектурную семантику ODP. Это необходимо для:
——обеспечения формализации концепций моделирования ОРО;
——способствовать обоснованной и единообразной разработке формальных описаний стандартов для распределенных систем;
——выступать в качестве моста между концепциями моделирования ODP и семантическими моделями языков спецификации: LOTOS, SDL, ESTELLE и Z;
——обеспечить основу для единообразного и последовательного сравнения формальных описаний одного и того же стандарта на языках спецификаций, которые используются для разработки архитектурной семантики.
ITU-T X.904 SPANISH-1997 Ссылочный документ
ISO/IEC 13568 Информационные технологии. Нотация формальной спецификации Z. Синтаксис, система типов и семантика. Техническое исправление 1.*, 2007-07-11 Обновление
ISO/IEC 9074:1997 Информационные технологии - Взаимосвязь открытых систем - Эстель: метод формального описания, основанный на расширенной модели перехода состояний.*, 1997-12-01 Обновление
ITU-T Z.100-1993 Язык спецификации и описания CCITT (SDL) - Языки программирования (Исследовательская группа X) 244 стр.