Esta Recomendación︱Norma Internacional especifica una semántica arquitectónica para ODP. Esto es necesario para:
——proporcionar formalización de los conceptos de modelado ODP;
——contribuir al desarrollo sólido y uniforme de descripciones formales de estándares para sistemas distribuidos;
——actuar como puente entre los conceptos de modelado ODP y los modelos semánticos de los lenguajes de especificación: LOTOS, SDL, ESTELLE y Z;
——proporcionar una base para una comparación uniforme y consistente entre descripciones formales del mismo estándar en lenguajes de especificación que se utilizan para desarrollar una semántica arquitectónica.
ITU-T X.904 SPANISH-1997 Documento de referencia
ISO/IEC 13568 Tecnología de la información. Notación de especificación formal Z. Sintaxis, sistema de tipos y semántica. Corrigendum técnico 1.*, 2007-07-11 Actualizar
ISO/IEC 9074:1997 Tecnología de la información - Interconexión de sistemas abiertos - Estelle: una técnica de descripción formal basada en un modelo de transición de estado extendido*, 1997-12-01 Actualizar
ITU-T Z.100-1993 Lenguaje de especificación y descripción (SDL) del CCITT - Lenguajes de programación (Grupo de estudio X) 244 págs.