Resumen

La enmienda 1 a la Rec. UIT-T X.904 | ISO/CEI 10746-4 refina y amplía la semántica arquitectural del procesamiento distribuido abierto (ODP) con una formulación del lenguaje computacional del modelo de referencia para ODP (RM‑ODP). El lenguaje computacional del RM-ODP proporciona una descripción de sistemas ODP como colecciones de objetos que interactúan. Esta enmienda formaliza los conceptos y reglas del lenguaje computacional ODP utilizando diferentes técnicas de descripción formal (LOTOS, SDL, Z y Estelle).