Sprache der zeitlichen Bestellspezifikation

In Informatik Sprache der zeitlichen Bestellspezifikation (LOTOS) ist ein formell Spezifikationssprache basierend auf der zeitlichen Ordnung von Ereignissen. Lotos wird für verwendet Kommunikationsprotokoll Spezifikation in Internationale Organisation für Standardisierung (ISO) Open Systems Interconnection Model (OSI) Standards.

Lotos ist eine algebraische Sprache, die aus zwei Teilen besteht: ein Teil für die Beschreibung von Daten und Operationen, basierend auf Abstrakte Datentypenund ein Teil für die Beschreibung der gleichzeitigen Prozesse basierend auf Prozesskalkül.

Die Arbeiten über den Standard wurden 1988 abgeschlossen und 1988 als ISO 8807 veröffentlicht. Zwischen 1993 und 2001 arbeitete ein ISO -Komitee daran, eine überarbeitete Version des Lotos Standards zu definieren, der 2001 als veröffentlicht wurde als E-Lotos.

Siehe auch

Verweise

  • ISO/IEC International Standard 8807: 1989. Informationsverarbeitungssysteme - Open Systems Interconnection - Lotos: Eine formale Beschreibungstechnik basiert auf der zeitlichen Reihenfolge des Beobachtungsverhaltens. Genf, September 1989.
  • Die formale Beschreibungstechnik lotos, P.H.J. Van Eijk et al., Herausgeber, North-Holland, 1989.
  • Lotosphäre: Softwareentwicklung mit Lotos, Tommaso Bolognesi, Jeroen van de Lagemaat und Chris Vissers, Herausgeber, Kluwer Academic Publishers, 1995.
  • Hubert Garavel, Frédéric Lang und Wendelin Serwe, Von Lotos bis Lnt. In Joost-Pieter Katoen, Rom Langerak und Arend Rensink, Herausgeber, Modelliert, getestet, vertrauenswürdig - Aufsätze, die Ed Brinksma anlässlich seines 60. Geburtstages gewidmet sind, vol. 10500 der Vorlesungen in Informatik, Seiten 3–26, Springer International Publishing, Oktober 2017, DOI 10.1007/978-3-319-68270-9_1.

Externe Links