From LOTOS to LNT

Hubert Garavel 1 Frédéric Lang 1 Wendelin Serwe 1
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : We revisit the early publications of Ed Brinksma devoted, on the one hand, to the definition of the formal description technique LOTOS (ISO International Standard 8807:1989) for specifying communication protocols and distributed systems, and, on the other hand, to two proposals (Extended LOTOS and Modular LOTOS) for making LOTOS a simpler and more expressive language. We examine how this scientific agenda has been dealt with during the last decades. We review the successive enhancements of LOTOS that led to the definition of three languages: E-LOTOS (ISO International Standard 15437:2001), then LOTOS NT, and finally LNT. We present the software implementations (compilers and translators) developed for these new languages and report about their use in various application domains.
Type de document :
Chapitre d'ouvrage
Joost-Pieter Katoen; Rom Langerak; Arend Rensink. ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, 10500, Springer, pp.3 - 26, 2017, Lecture Notes in Computer Science, 978-3-319-68270-9. 〈10.1007/978-3-319-68270-9_1〉
Liste complète des métadonnées

Littérature citée [97 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01621670
Contributeur : Hubert Garavel <>
Soumis le : lundi 23 octobre 2017 - 16:53:53
Dernière modification le : jeudi 6 décembre 2018 - 15:43:23

Fichier

Garavel-Lang-Serwe-17.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Hubert Garavel, Frédéric Lang, Wendelin Serwe. From LOTOS to LNT. Joost-Pieter Katoen; Rom Langerak; Arend Rensink. ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, 10500, Springer, pp.3 - 26, 2017, Lecture Notes in Computer Science, 978-3-319-68270-9. 〈10.1007/978-3-319-68270-9_1〉. 〈hal-01621670〉

Partager

Métriques

Consultations de la notice

249

Téléchargements de fichiers

288