Language Of Temporal Ordering Specification
De Wikipedia, l'encyclopédie encyclopedia
Language Of Temporal Ordering Specification (LOTOS) est un langage de spécification formel basé sur l'ordre temporel des événements. LOTOS est utilisé pour la spécification des protocoles dans les standards ISO OSI.
LOTOS est un langage algébrique qui consiste en deux parties : une partie de description des données et des opérations, basé sur des types abstraits de données, et une partie pour la description des processus concurrents, basé sur l'algèbre de processus.
Le travail sur le standard a été terminé en 1988, et publié sous la norme ISO 8807 en 1989. Entre 1993 et 2001, un comité ISO travailla pour définir une version révisée du standard LOTOS, qui a été publiée en 2001 sous l’appellation E-LOTOS.