Advertisement

Lotos

Chapter
  • 20 Downloads
Part of the Springer Compass book series (SC)

Zusammenfassung

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  1. 1.Fachbereich InformatikUniversität HamburgGermany

Personalised recommendations