Lotos

Die Historie von LOTOS ist eng verknüpft mit der von Estelle. Beide Sprachen entstanden aus dem Wunsch der ISO nach einer einheitlichen Beschreibungssprache für standardisierte Protokolle und Dienste. Während Estelle das Konzept der endlichen erweiterten Automaten zugrundeliegt, hat LOTOS seine Wurzeln in der Prozeßalgebra. Die Konzepte sind denen von CCS [44] sehr ähnlich, es wird also das beobachtbare Verhalten eines Systems beschrieben, ohne dazu explizit Internas wie Zustände zu benutzen. Hierin unterscheidet sich LOTOS wesentlich von Estelle und SDL.