French-Romanian Contributions to the Definition of E-LOTOS

ISO/IEC International Standard 15437:2001

(formerly known as: ISO/IEC JTC1/SC21/WG7 project 1.21.20.2.3 and ISO/IEC JTC1/SC7/WG19 project 07.20.02.03)

AFNOR   RSI
11, avenue Francis de Pressensé   13, bd Jean-Louis Calderon
93571 Saint-Denis La Plaine cedex   70201 Bucarest
France   Romania

Version 2.30 - Date 2016/10/28 16:58:25

What is E-LOTOS?


Proposal for a New Work Item: Enhancements to Lotos (December 16, 1993)


E-LOTOS has born (February 18, 1997)


Description of the E-LOTOS New Work Item (June 16, 1998)


E-Lotos: A new standard for asynchronous timed systems (March 2002)
    E-Lotos: Une nouvelle norme pour les systèmes asynchrones et temporisés (Mars 2002)

Southampton (UK) meeting, July 21st-27th, 1994


Six improvements to the process part of LOTOS
H. Garavel
Input document [SOU3] to the ISO/IEC JTC1/SC21/WG1 Meeting on Enhancements to LOTOS (1.21.20.2.3)
PDF or PostScript

On the introduction of gate typing in E-LOTOS
H. Garavel
Annex D of ISO/IEC JTC1/SC21/WG1 N1314 Revised Draft on Enhancements to LOTOS
PDF or PostScript

Minutes of the Southampton meeting
PDF or PostScript

Paris (France) meeting, February 6th-8th, 1995


Six improvements to the process part of LOTOS
H. Garavel
Annex K of ISO/IEC JTC1/SC21/WG1 N1349 Working Draft on Enhancements to LOTOS
PDF or PostScript

On the introduction of gate typing in E-LOTOS
H. Garavel
Annex C of ISO/IEC JTC1/SC21/WG1 N1349 Working Draft on Enhancements to LOTOS
PDF or PostScript

Minutes of the Paris meeting
Text

Ottawa (Canada) meeting, July, 20th-26th, 1995


Six improvements to the process part of LOTOS
H. Garavel
Annex G of ISO/IEC JTC1/SC21/WG7 N1001 Revised Working Draft on Enhancements to LOTOS
PDF or PostScript

Defect report concerning IS8807 and proposal for a correct flattening of LOTOS parameterized types
H. Garavel and M. Sighireanu

  • The first version of this document is the input document [OTT6] to the ISO/IEC JTC1/SC21/WG7 Meeting on Enhancements to LOTOS (1.21.20.2.3), Ottawa meeting.
    PDF or PostScript

  • The second version of this document is the input document [LG1] to the ISO/IEC JTC1/SC21/WG7 Meeting on Enhancements to LOTOS (1.21.20.2.3), Liège meeting.
    PDF or PostScript

Contribution to the design of data types in E-LOTOS
H. Garavel
Input document [OTT7] to the ISO/IEC JTC1/SC21/WG7 Meeting on Enhancements to LOTOS (1.21.20.2.3)
PDF or PostScript

Towards a proposal for data types in E-LOTOS
A. Jeffrey, H. Garavel, G. Leduc, C. Pecheur, and M. Sighireanu
Annex A of ISO/IEC JTC1/SC21/WG1 N10108 Revised Working Draft (V2) on Enhancements to LOTOS (Liège meeting)
PDF or PostScript

On the introduction of gate typing in E-LOTOS
H. Garavel
Annex B.1 of ISO/IEC JTC1/SC21/WG7 N1001 Working Draft on Enhancements to LOTOS
PDF or PostScript

Minutes of the Ottawa meeting
PDF or PostScript

Liège (Belgium) meeting, December 18th-21st, 1995


Defect report concerning IS8807 and proposal for a correct flattening of LOTOS parameterized types
H. Garavel and M. Sighireanu
Input document [LG1] to the ISO/IEC JTC1/SC21/WG7 Meeting on Enhancements to LOTOS (1.21.20.2.3)
PDF or PostScript

Application of the proposed E-LOTOS data type language to the description of OSI and ODP standards
H. Garavel and M. Sighireanu
Input document [LG2] to the ISO/IEC JTC1/SC21/WG7 Meeting on Enhancements to LOTOS (1.21.20.2.3)
PDF or PostScript

French-Romanian comments regarding some proposed features for E-LOTOS data types
H. Garavel and M. Sighireanu
Input document [LG3] to the ISO/IEC JTC1/SC21/WG7 Meeting on Enhancements to LOTOS (1.21.20.2.3)
PDF or PostScript

A Proposal for the data type part of E-LOTOS applicable to the formal description of OSI and ODP standards
H. Garavel and M. Sighireanu
Input document [LG4] to the ISO/IEC JTC1/SC21/WG7 Meeting on Enhancements to LOTOS (1.21.20.2.3), Liège
PDF or PostScript

A wish list for the behaviour part of E-LOTOS
H. Garavel
Input document [LG5] to the ISO/IEC JTC1/SC21/WG7 Meeting on Enhancements to LOTOS (1.21.20.2.3), Liège
PDF or PostScript

Minutes of the Liege meeting
PDF or PostScript

Kansas City (USA) meeting, May 13th-17th, 1996


Position statement regarding E-LOTOS user language
H. Garavel and M. Sighireanu
Input document [KC2] to the ISO/IEC JTC1/SC21/WG7 Meeting on Enhancements to LOTOS (1.21.20.2.3)
PDF or PostScript

French-Romanian integrated proposal for the user language of E-LOTOS
H. Garavel and M. Sighireanu
Input document [KC3] to the ISO/IEC JTC1/SC21/WG7 Meeting on Enhancements to LOTOS (1.21.20.2.3)
PDF or PostScript

French-Romanian proposal for capture of requirements and expression of properties in E-LOTOS modules
H. Garavel and R. Mateescu
Input document [KC4] to the ISO/IEC JTC1/SC21/WG7 Meeting on Enhancements to LOTOS (1.21.20.2.3)
PDF or PostScript

E-LOTOS user language
M. Sighireanu and H. Garavel
Chapter 2 in ISO/IEC JTC1/SC21 Third Working Draft on Enhancements to LOTOS (1.21.20.2.3) output document of the edition meeting
PDF or PostScript

Minutes of the Kansas City meeting
PDF or PostScript

Grenoble (France) meeting, December 9th-11th, 1996


On the definition of Modular E-LOTOS
M. Sighireanu and H. Garavel

  • The first version of this document was the input document [GR2] to the ISO/IEC JTC1/SC21/WG7 Meeting on Enhancements to LOTOS (1.21.20.2.3)
    PDF or PostScript

  • The second version of this document appeared in ISO/IEC JTC1/SC21 Commitee Draft Document on Enhancements to LOTOS (1.21.20.2.3)
    PDF or PostScript

A proposal for co-routines and suspend/resume
H. Garavel and M. Sighireanu
Input document [GR3] to the ISO/IEC JTC1/SC21/WG7 Meeting on Enhancements to LOTOS (1.21.20.2.3)
PDF or PostScript

Position statement regarding E-LOTOS progression of work
H. Garavel and M. Sighireanu
Input document [GR4] to the ISO/IEC JTC1/SC21/WG7 Meeting on Enhancements to LOTOS (1.21.20.2.3)
PDF or PostScript

Minutes of the Grenoble meeting
PDF or PostScript

Helsinki (Finland) meeting, July 14th-18th, 1997


AFNOR Comments on the E-LOTOS Committee Draft (June 1997)
PDF or PostScript

RSI Comments on the E-LOTOS Committee Draft (June 1997)
PDF or PostScript

A proposal for coroutines in E-LOTOS
H. Garavel and M. Sighireanu
PDF or PostScript

Minutes of the Helsinki meeting
PDF or PostScript

The E-LOTOS Final Committee Draft, February 1998


The E-LOTOS Final Committee Draft (FCD) dated February 1998 is available from Madrid or Grenoble.

The Letter Ballot Summary related to the E-LOTOS Final Committee Draft dated October 1998 is available from here.

AFNOR Comments on the E-LOTOS Final Committee Draft (October 1998)
PDF or PostScript

with their Technical Appendix
PDF or PostScript

Romanian Expert Comments on the E-LOTOS Final Committee Draft (September 1998, unofficial)
PDF or PostScript

The E-LOTOS Final Draft International Standard, July 2001

The E-LOTOS Final Draft International Standard (FDIS) submitted for balloting in July 2001 is available from here.

Annex A (pages 134-192 of the Final Draft International Standard) contains a user-friendly tutorial of E-LOTOS.


E-LOTOS adopted as an International Standard, September 2001

The definition of the E-LOTOS language can be purchased from ISO/IEC under the reference International Standard 15437:2001.

Annex A (page 122-179 of the International Standard) contains a user-friendly tutorial of E-LOTOS.


Some other E-LOTOS sites


University of Liège (Belgium)

University of Madrid (Spain)

University of Ottawa (Canada)

See also

TRAIAN Web Page at INRIA Rhône-Alpes

Papers about E-LOTOS and LOTOS NT at INRIA Rhône-Alpes




Back to the VASY Home Page