Norme internationale
ISO 8807:1989
Systèmes de traitement de l'information — Interconnexion de systèmes ouverts — LOTOS — Technique de description formelle basée sur l'organisation temporelle de comportement observationnel
Numéro de référence
ISO 8807:1989
ISO 8807:1989
Edition 1
1989-02
1989-02
© ISO 2024
Norme internationale
p
ISO 8807:1989
16258
Indisponible en français
Publiée
(Edition 1, 1989)
Cette norme a été révisée et confirmée pour la dernière fois en 2019.
Cette édition reste donc d’actualité.
Résumé
Defines the syntax and semantics of the Formal Description Technique LOTOS used for the formal description of distributed, concurrent information processing systems. LOTOS can be used to describe formally the service definitions and protocol specifications of the layers of Open Systems Interconnection (OSI) architecture described in ISO 7498, and related standards, and conformance tests for implementations of OSI protocols and/or OSI functions. It can also be applied for the formal description of other distributed systems, such as telephone switching networks. References: ISO 7498; CCITT Recommendation Z. 100, SDL.
Informations générales
-
État actuel: PubliéeDate de publication: 1989-02Stade: Norme internationale confirmée [90.93]
-
Edition: 1
-
Comité technique :ISO/IEC JTC 1/SC 7
- RSS mises à jour
Cycle de vie
Vous avez une question?
Consulter notre FAQ
Service à la clientèle
+41 22 749 08 88
Horaires d’ouverture:
De lundi à vendredi - 09:00-12:00, 14:00-17:00 (UTC+1)