https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Language_of_Temporal_Ordering_Specification Language of Temporal Ordering Specification - Versionsgeschichte 2026-05-20T18:11:57Z Versionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale Kopie MediaWiki 1.43.8 https://wiki-de.moshellshocker.dns64.de/index.php?title=Language_of_Temporal_Ordering_Specification&diff=25347&oldid=prev imported>Thomas Dresler: Kommasetzung 2026-01-05T22:37:02Z <p>Kommasetzung</p> <p><b>Neue Seite</b></p><div>&#039;&#039;&#039;Language of Temporal Ordering Specification&#039;&#039;&#039;, kurz &#039;&#039;&#039;LOTOS&#039;&#039;&#039;, ist eine [[formale Beschreibungstechnik]], welche im [[International Organization for Standardization|ISO]]-Standard &#039;&#039;ISO 8807&#039;&#039; definiert ist. LOTOS ist ein Vertreter der [[Algebraische Beschreibungstechnik|algebraischen Beschreibungstechniken]] und basiert auf dem [[Calculus of Communicating Systems|CCS]]-[[Kalkül]] von [[Robin Milner]].<br /> <br /> LOTOS wird verwendet, um die Reihenfolge von Interaktionen, ausgedrückt durch &#039;&#039;Aktionen&#039;&#039;, zwischen kommunizierenden &#039;&#039;Prozessen&#039;&#039;, in Form von &#039;&#039;Verhaltensausdrücken&#039;&#039; zu spezifizieren.<br /> <br /> Entworfen wurde LOTOS ursprünglich für die formale Dienst- und [[Netzwerkprotokoll|Protokoll]]-Spezifikation der [[Schichtenmodell|Schichten]] des [[OSI-Modell]]s, es ist aber generell für alle [[Nebenläufigkeit|nebenläufige]] und [[Verteiltes System|verteilte Systeme]] anwendbar. Heute liegt das Einsatzgebiet von LOTOS hauptsächlich in der theoretischen Forschung und dort vorrangig in der [[Verifikation#Informatik|Protokollverifikation]], der Leistungsvoraussage und der [[Testtheorie]].<br /> <br /> Die Sprache LOTOS besteht aus zwei Teilen. Die &#039;&#039;Verhaltensbeschreibung&#039;&#039; dient zur Darstellung des Kontrollflusses und wird auch als &#039;&#039;&#039;Basic LOTOS&#039;&#039;&#039; bezeichnet. Die &#039;&#039;Datenbeschreibung&#039;&#039; stellt den Datenfluss in der algebraischen Beschreibungssprache [[ACT ONE]] dar.<br /> <br /> == Weblinks ==<br /> * [https://www.cs.stir.ac.uk/~kjt/research/lotos-stir.html Links zu einem Tutorial und ein Online-Buch] (englisch)<br /> <br /> [[Kategorie:Beschreibungssprache]]</div> imported>Thomas Dresler