E-LOTOS

In computer science E-LOTOS (Enhanced LOTOS) is a formal specification language designed between 1993 and 1999, and standardized by International Organization for Standardization (ISO) in 2001.[1]

E-LOTOS was initially intended to be a revision of the LOTOS language standardized by ISO 8807 in 1989, but the revision turned out to be profound, leading to a new specification language.

The starting point for the revision of LOTOS was the PhD thesis[2] of Ed Brinksma, who had been the Rapporteur at ISO of the LOTOS standard.

In 1993, the initial goals of the definition of E-LOTOS were stated in ISO/IEC JTC1/N2802 announcement.[3]

In 1997, when the language definition reached the maturity level of an ISO Committee Draft, an announcement was posted describing the main features of E-LOTOS.[4]

The following document[5] recalls the milestones of E-LOTOS definition project.

E-LOTOS has inspired descendent languages,[6] among which LOTOS NT[7] and LNT.[8]

See also

References

  1. ^ ISO/IEC international standard 15437:2001. Information technology – Enhancements to LOTOS (E-LOTOS). Geneva, September 2001.
  2. ^ Ed Brinksma. On the Design of Extended LOTOS - A Specification Language for Open Distributed Systems, PhD thesis, University of Twente, Nov. 1988.
  3. ^ ISO/IEC JTC1/N2802, Proposal for a New Work Item on "Enhancements to LOTOS. December 16, 1993. Available from ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-93.txt
  4. ^ Juan Quemada. E-LOTOS has born, February 18, 1997. Available from ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-97.txt
  5. ^ Juan Quemada. Description of the E-LOTOS New Work Item. June 16, 1998. Available from ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-98.txt
  6. ^ Hubert Garavel, Frédéric Lang, and Wendelin Serwe, From LOTOS to LNT. In Joost-Pieter Katoen, Rom Langerak, and Arend Rensink, editors, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol. 10500 of Lecture Notes in Computer Science, pages 3-26, Springer International Publishing, October 2017, doi 10.1007/978-3-319-68270-9_1
  7. ^ Mihaela Sighireanu (with updates by Alban Catry, David Champelovier, Hubert Garavel, Frédéric Lang, Guillaume Schaeffer, Wendelin Serwe, and Jan Stöcker). LOTOS NT User's Manual (Version 2.7). Technical Report INRIA Rhône-Alpes/VASY, November 2012, 107 pages. Available from http://vasy.inria.fr/traian/manual.html
  8. ^ David Champelovier, Xavier Clerc, Hubert Garavel, Yves Guerte, Frédéric Lang, Christine McKinty, Vincent Powazny, Wendelin Serwe, and Gideon Smeding. Reference Manual of the LNT to LOTOS Translator. Technical Report INRIA Rhône-Alpes/CONVECS, 2015, 125 pages. Available from http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html


Stub icon

This programming-language-related article is a stub. You can help Wikipedia by adding missing information.

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.