Indisponible en français

Résumé

 Preview

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ée
    Date de publication
     : 1989-02
  • Edition
     : 1
  • Comité technique
     : ISO/IEC JTC 1/SC 7 Ingénierie du logiciel et des systèmes
  • ICS
     :
    35.060 Langages utilisés dans les technologies de l'information
    35.100.01 Interconnexion des systèmes ouverts en général

Objectifs de développement durable

Cette norme contribue à l'Objectif de développement durable suivant :

9
Industrie, innovation et infrastructure

Acheter cette norme

Format Langue
PDF
Papier
  • CHF208

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)

Suivez l'actualité de l'ISO

Inscrivez-vous à notre Newsletter (en anglais) pour suivre nos actualités, points de vue et informations sur nos produits.

  2. Store
  3. Catalogue de normes
  4. ICS
  5. 35
  6. 35.060
  7. ISO 8807:1989