Tutorials for CADP and LOTOS
This page gathers information about tools and languages for LOTOS, E-LOTOS, and LOTOS NT. Its contents are divided into the following sections:
1. Tutorials for CADP

What is CADP?

CADP is a software package offering a wide range of functionalities for the construction and analysis of distributed processes.

Articles and reports

Videos
Related Web sites

2. Tutorials for LOTOS

What is LOTOS?

To explain LOTOS in a nutshell, we could not do better than quoting the excellent definition of LOTOS given by the Research Unit in Networking of the University of Liège:

LOTOS is a Formal Description Technique (FDT) standardized by ISO for the design of distributed systems, and in particular for OSI services and protocols. Experts of the ISO FDT group developed LOTOS from 1981 to 1988; it has now the status of International Standard (ISO 8807:1989).

Unlike FDTs based on the state representation of a system, LOTOS describes a system by defining the temporal relations between externally observable events at so-called event gates.

LOTOS is composed of two parts : a process algebraic part based on Milner's Calculus of Communicating Systems (CCS) and on Hoare's Communicating Sequential Processes (CSP), and a data algebraic part based on the abstract data type language (ACT ONE). These two aspects of LOTOS are complementary and independent : the process algebra is used to model dynamic behaviours of systems, and ACT ONE is used to model data structures and value expressions.

LOTOS has been widely used for the specification of large data communication systems. It is mathematically well-defined and expressive: it allows the description of concurrency, nondeterminism, synchronous and asynchronous communications. It supports various levels of abstraction and provides several specification styles. Good tools (e.g. the EUCALYPTUS toolset) exist to support specification, verification and code generation. Finally, LOTOS is one of the few process algebras to have moved out of the theoretical community.


Reference definition
Books
Articles and reports
Comparative surveys
Slide shows
Language leaflets
Related Web sites

3. Tutorials for E-LOTOS and LOTOS NT

E-LOTOS is an ISO/IEC international standard. LOTOS NT (or LNT, for short) is a simplified variant of E-LOTOS supported by software tools developed at INRIA Grenoble Rhône-Alpes.

E-LOTOS

LOTOS NT

There are two versions of LOTOS NT, which are supported by different tools and serve different purposes:

  1. The version of LOTOS NT that is translated into LOTOS by the LNT2LOTOS / LNT.OPEN / LPP tools. This approach supports both the data and control parts of LOTOS NT (but not time, which is absent from LOTOS). It is intensively used for specifying and verifying concurrent systems using CADP, in which LOTOS NT is progressively replacing LOTOS as a high-level modelling language.

  2. The version of LOTOS NT that is directly translated into C by the TRAIAN compiler. This approach only supports the data type part of LOTOS NT and is primarily used to build compilers and translators.

Version 1.35 last updated on 2012/09/05 14:12:01

Back to the CADP Home Page