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

Acheter cette norme

Format Langue
PDF
Papier
  • CHF198

Cycle de vie

Les normes ISO sont réexaminées tous les cinq ans



Révision / Rectificatifs techniques

  • Actuellement confirmée
    ISO 8807:1989

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.