BH GSO ISO 8807:2012 Sistemas de procesamiento de información - Interconexión de sistemas abiertos - - LOTOS - Una técnica de descripción formal basada en el ordenamiento temporal del comportamiento observacional.
Kingdom of Bahrain Testing and Metrology Directorate
Ultima versión
BH GSO ISO 8807:2012
Introducción
Este documento técnico proporciona una descripción formal basada en la secuencia temporal de comportamientos observables para el lenguaje LOTOS (Language Of Temporal Orders Specification) utilizado en los sistemas de procesamiento de información y en el intercambio abierto entre sistemas. El estándar establece las reglas y especificaciones necesarias para una descripción precisa y consistente del comportamiento temporal de estos sistemas, permitiendo así un análisis detallado y la verificación formal de propiedades esenciales.
*** Tenga en cuenta: esta descripción puede no ser precisa; consulte la documentación oficial.
BH GSO ISO 8807:2012 Historia
2012BH GSO ISO 8807:2012 Sistemas de procesamiento de información - Interconexión de sistemas abiertos - - LOTOS - Una técnica de descripción formal basada en el ordenamiento temporal del comportamiento observacional.