Systèmes de traitement de l'information - Interconnexion de systèmes ouverts - LOTOS - Une technique de description formelle basée sur l'ordonnancement temporel du comportement d'observation
Porté:
La présente Norme internationale définit la syntaxe et la sémantique de la technique de description formelle LOTOS. LOTOS est en général utilisé pour la description formelle des systèmes de traitement de l'information répartis et simultanés. En particulier, LOTOS peut être utilisé pour décrire formellement les définitions de service et les spécifications de protocole des couches de l'architecture d'interconnexion de systèmes ouverts (OSI) décrites dans l'ISO 7498, et les normes associées, et les tests de conformité pour les implémentations des protocoles OSI et/ou des fonctions OSI. Il peut également être appliqué pour la description formelle d'autres systèmes distribués, tels que les réseaux de commutation téléphonique.
Raison d’être du projet
Note : L’information ci-dessus a été recueillie et est diffusée par le Conseil canadien des normes (CCN) pour les besoins de son système de notification centralisé et transparent pour l’élaboration de nouvelles normes. Le système permet aux organismes d’élaboration de normes (OEN) accrédités par le CCN et aux membres du public d’être informés des nouveaux travaux d’élaboration de normes au Canada. Il donne aussi aux OEN accrédités la possibilité de repérer et de résoudre les cas de doubles emplois éventuels dans les normes et les travaux de normalisation.
Les OEN sont eux-mêmes responsables du contenu et de l’exactitude de l’information présentée ici. Cette information n’existe que dans la langue dans laquelle elle a été fournie au CCN.