ISO 8807

ISO 8807

LOTOS (engl. Language of Temporal Ordering Specification) ist eine formale Beschreibungstechnik, welche im ISO Standard [ISO 8807] definiert ist. LOTOS ist ein Vertreter der algebraischen Beschreibungstechniken und basiert auf dem CCS-Kalkül von Robin Milner.

LOTOS wird verwendet um die Reihenfolge von Interaktionen, ausgedrückt durch Aktionen, zwischen kommunizierenden Prozessen, in Form von Verhaltensausdrücken zu spezifizieren.

Entworfen wurde LOTOS ursprünglich für die formale Dienst- und Protokoll-Spezifikation der Schichten des OSI-Modells, es ist aber generell für alle nebenläufige und verteilte Systeme anwendbar. Heute liegt das Einsatzgebiet von LOTOS hauptsächlich in der theoretischen Forschung und dort vorrangig in der Protokollverifikation, der Leistungsvoraussage und der Testtheorie.

Die Sprache LOTOS besteht aus zwei Teilen. Die Verhaltensbeschreibung dient zur Darstellung des Kontrollflusses, und wird auch als Basic LOTOS bezeichnet. Die Datenbeschreibung stellt den Datenfluss in der algebraischen Beschreibungssprache ACT ONE dar.

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • ISO 8807:1989 — изд.1 XB JTC 1/SC 7 Системы обработки информации. Взаимосвязь открытых систем. LOTOS. Техника формального описания, основанная на временном упорядочении наблюдаемого поведения разделы 35.060, 35.100.01 …   Стандарты Международной организации по стандартизации (ИСО)

  • ISO 4145:1986 — изд.2 F TC 5/SC 5 Фитинги с резьбой по ISO 7 1 из нелегированной стали раздел 23.040.40 …   Стандарты Международной организации по стандартизации (ИСО)

  • Iso 216 — Dimensions ISO 216 (mm × mm) Séries A A0 841 × 1189 A1 594 × 841 A2 420 × 594 A3 297 × 420 A4 210 × 297 A5 148 × 210 A6 …   Wikipédia en Français

  • ISO 3166-1 — ISO 3166 1  часть стандарта ISO 3166, содержащая коды названий стран и подчинённых территорий. Впервые опубликована в 1974 году. Определяет три разных кода для каждой страны: ISO 3166 1 alpha 2 (англ.)русск., двухбуквенная система …   Википедия

  • ISO/CEI 8859 — ISO 8859 ISO 8859, également appelée plus formellement ISO/CEI 8859, est une norme commune de l ISO et de la CEI de codage de caractères sur 8 bits pour le traitement informatique du texte. Le standard est divisé en parties numérotées publiées… …   Wikipédia en Français

  • ISO/IEC 8859 — ISO 8859 ISO 8859, également appelée plus formellement ISO/CEI 8859, est une norme commune de l ISO et de la CEI de codage de caractères sur 8 bits pour le traitement informatique du texte. Le standard est divisé en parties numérotées publiées… …   Wikipédia en Français

  • Iso 8859 — ISO 8859, également appelée plus formellement ISO/CEI 8859, est une norme commune de l ISO et de la CEI de codage de caractères sur 8 bits pour le traitement informatique du texte. Le standard est divisé en parties numérotées publiées séparément …   Wikipédia en Français

  • ISO 4217 — (ИСО 4217) Коды для представления валют и фондов Codes for the representation of currencies and funds  (англ.) Codes pour la représentation des monnaies et types de fonds  (фр.) …   Википедия

  • ISO 9000 — ISO 9000  серия международных стандартов, описывающих требования к системе менеджмента качества организаций и предприятий. Серия стандартов ISO 9000 разработана Техническим комитетом 176 (ТК 176) Международной организации по стандартизации.… …   Википедия

  • ISO 3166 — is a standard published by the International Organization for Standardization (ISO). It defines codes for the names of countries, dependent territories, special areas of geographical interest, and their principal subdivisions (e.g., provinces or… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”