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 |
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)
Southampton (UK) meeting, July 21st-27th, 1994
Six improvements to the process part of LOTOS
On the introduction of gate typing in E-LOTOS
Minutes of the Southampton meeting
Paris (France) meeting, February 6th-8th, 1995
Six improvements to the process part of LOTOS
On the introduction of gate typing in E-LOTOS
Minutes of the Paris meeting
Ottawa (Canada) meeting, July, 20th-26th, 1995
Six improvements to the process part of LOTOS
Defect report concerning IS8807 and proposal for a correct flattening of LOTOS parameterized types
Contribution to the design of data types in E-LOTOS
Towards a proposal for data types in E-LOTOS
On the introduction of gate typing in E-LOTOS
Minutes of the Ottawa meeting
Liège (Belgium) meeting, December 18th-21st, 1995
Defect report concerning IS8807 and proposal for a correct flattening of LOTOS parameterized types
Application of the proposed E-LOTOS data type language to the description of OSI and ODP standards
French-Romanian comments regarding some proposed features for E-LOTOS data types
A Proposal for the data type part of E-LOTOS applicable to the formal description of OSI and ODP standards
A wish list for the behaviour part of E-LOTOS
Minutes of the Liege meeting
Kansas City (USA) meeting, May 13th-17th, 1996
Position statement regarding E-LOTOS user language
French-Romanian integrated proposal for the user language of E-LOTOS
French-Romanian proposal for capture of requirements and expression of properties in E-LOTOS modules
E-LOTOS user language
Minutes of the Kansas City meeting
Grenoble (France) meeting, December 9th-11th, 1996
On the definition of Modular E-LOTOS
A proposal for co-routines and suspend/resume
Position statement regarding E-LOTOS progression of work
Minutes of the Grenoble meeting
Helsinki (Finland) meeting, July 14th-18th, 1997
AFNOR Comments on the E-LOTOS Committee Draft (June 1997)
RSI Comments on the E-LOTOS Committee Draft (June 1997)
A proposal for coroutines in E-LOTOS
Minutes of the Helsinki meeting
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)
Romanian Expert Comments on the E-LOTOS Final Committee Draft (September 1998, unofficial)
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
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