La presente Recomendaci�n | Norma Internacional forma parte integrante del modelo de referencia del procesamiento distribuido abierto (ODP). Contiene una formalizaci�n de los conceptos de modelado del ODP definidos en las cl�usulas 8 y 9 de la Rec. UIT-T X.902 | ISO/CEI 10746‑2. La formalizaci�n se consigue interpretando cada concepto en base a las construcciones de las diferentes t�cnicas de descripci�n formal normalizada.