Language Of Temporal Ordering Specification
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.
Références
- ISO/IEC international standard 8807:1989. Information Processing Systems - Open Systems Interconnection - LOTOS: A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. Geneva, September 1989.
- The Formal Description Technique LOTOS, P.H.J. van Eijk et al., editors, North-Holland, 1989.
- LOTOSphere: Software Development with LOTOS, Tommaso Bolognesi, Jeroen van de Lagemaat, and Chris Vissers, editors, Kluwer Academic Publishers, 1995.
- Hubert Garavel, Frédéric Lang, and Wendelin Serwe, From LOTOS to LNT. In Joost-Pieter Katoen, Rom Langerak, and Arend Rensink, editors, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol. 10500 of Lecture Notes in Computer Science, pages 3-26, Springer International Publishing, October 2017, doi 10.1007/978-3-319-68270-9_1.
Liens externes
Sources
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Language Of Temporal Ordering Specification » (voir la liste des auteurs).
- (en) Cet article contient des extraits de la Free On-line Dictionary of Computing qui autorise l'utilisation de son contenu sous licence GFDL.
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.