LOTOS NT (where "NT" stands for "New Technology") is a computer language that belongs to a family of languages originating from LOTOS; other languages in this family are E-LOTOS and LNT. For detailed information about LOTOS, E-LOTOS, and LNT, read this article and the tutorial page of CADP.
Formal methods are often advocated as suitable formalisms for the specification of telecommunication protocols and distributed systems. The definition of LOTOS (ISO/IEC International Standard 8807) in 1989 was a major attempt at standardizing a formal method based on process calculi and algebraic data types.
The definition of LOTOS NT at INRIA Rhône-Alpes was undertaken as a side activity of the work initiated in 1992 by the ISO/IEC Committee for producing a revision of the LOTOS standard, which led to the adoption of E-LOTOS (Enhanced LOTOS, ISO/IEC International Standard 15437) in 2001.
LOTOS NT, which can be seen as a subset of E-LOTOS, is a second generation Formal Description Technique that combines strong theoretical foundations with language features suitable for a wider acceptance by industry.
At INRIA Rhône-Alpes, LOTOS NT is intensively used for
compiler
construction. Thirteen compilers and translators (AAL, ATLANTIF, CHP2LOTOS,
CTRL2BLK, EXP.OPEN, FSP2LOTOS, GRL2LNT, LNT2LOTOS, MCL_EXPAND, NTIF, PIC2LNT,
SVL, and TRAIAN) have been written in LOTOS NT.
TRAIAN is a compiler for LOTOS NT developed at INRIA Grenoble Rhône-Alpes, initially by the VASY team, then by the CONVECS team.
The name TRAIAN was chosen in honor of the Roman emperor (a successor of CAESAR) who funded Romania.
Until version 2.9, TRAIAN was developed using SYNTAX and FNC-2, two compiler generation tools designed at INRIA Rocquencourt.
Since version 3.0, TRAIAN is developed using SYNTAX and most of its source code (72% of 31,600 lines) is written in LOTOS NT itself, meaning that TRAIAN compiles itself by bootstrapping. It performs the following tasks:
2. The TRAIAN compiler
3. Release notes for TRAIAN
4. Download the latest version of TRAIAN
TRAIAN is not part of the CADP toolbox and must be installed separately.
The current version of the TRAIAN compiler is version 3.12 released on December 29, 2023.
The following computer architectures and operating systems are currently supported by TRAIAN:
TRAIAN is available for download from the VASY FTP server:
2cb654d318291a1618650bd3e103db3cb41a824a83adf0dcb92e85f205fd2a66 traian.tar.gzand the SHA256 checksum of the zipped package is
2312eacf6c8112a0d1aee94f6e2104af9a9f74a37efe5ede3bdf2f1c94230c3a traian.zip
Please contact cadp@inria.fr for any question or comment about TRAIAN.
LOTOS NT User's Manual (Version 3.12)
From LOTOS to LNT
Compiler Construction using LOTOS NT
Towards a Second Generation of Formal Description Techniques - Rationale for the Design of E-LOTOS
Etude et réalisation d'un compilateur E-LOTOS à l'aide du générateur de compilateurs SYNTAX/FNC-2 Until version 2.9, TRAIAN has been written by
Mihaela Sighireanu,
Xavier Bouchoux,
David Champelovier,
Claude Chaudet,
Nicolas Descoubes,
Hubert Garavel,
Yves Guerte,
Marc Herbert,
Rémi Hérilier,
Alain Kaufmann,
Frédéric Lang,
Vincent Powazny,
Wendelin Serwe, and
Bruno Vivien.
Acknowledgements are also due to Fabrice Baray, Estelle Dumas, Radu Mateescu, Gwen Salaün, Damien Thivolle, and Sai-Srikar Kasi for their valuable remarks about TRAIAN.
Since version 3.0, TRAIAN is being developed by
Hubert Garavel,
Frédéric Lang, and
Wendelin Serwe.
5. Related publications
Mihaela Sighireanu (with updates by Alban Catry, David Champelovier, Hubert Garavel, Frédéric Lang, Guillaume Schaeffer, Wendelin Serwe, and Jan Stöcker)
December 2023, 88 pages.
Hubert Garavel, Frédéric Lang, and Wendelin Serwe
October 2017, 29 pages.
Hubert Garavel, Frédéric Lang, and Radu Mateescu
April 2002, 5 pages.
Hubert Garavel and Mihaela Sighireanu.
May 1998, 28 pages.
Bruno Vivien
December 1997, in French, 150 pages.
6. Credits
Back to the VASY Home Page