the assessment of three referees for each paper. The p- ceedings also include the text of the invited talk by Elaine Weyuker, Philippe Cousin, and Ana Cavalli.

1m Februar 1991 wurde ein Arbeitskreis "Formale Beschreibungstechniken fUr verteilte Systeme" am Rande der Fachtagung "Kommunikation in verteilten Systemen" in Mann- heim in der GI/ITG Fachgruppe 3.3.1/4.4 "Kommunikation und verteilte Systeme" gegrundet. Der Arbeitskreis wurde mit dem Ziel gegrundet, einen regelmassigen wissenschaftlichen Gedankenaustausch in organisierter Form zu ermoglichen. Die folgenden Themen wurden als Interessensschwerpunkte im Arbeitskreis erkannt: FDT-basierte Werkzeuge zur Unterstutzung des Systementwurfs Konformitatstesten basierend auf formalen Beschreibungen...

Das Buch gibt eine Einfuhrung in die Spezifikationssprachen Estelle, LOTOS und SDL. Die Sprachen sind Standardsprachen der ISO (Estelle, LOTOS) und des CCITT (SDL) zur Spezifikation von Diensten und Protokollen in Kommunikationssystemen. Insbesondere im Zusammenhang mit der Idee und den Konzepten von OSI (Open Systems Interconnection) gewinnen die drei Sprachen zunehmend an Bedeutung - innerhalb und ausserhalb der Normung. Das Buch stellt die drei Sprachen weitgehend anhand von durchgangigen Beispielen vor, bei denen es sich um Dienste und Protokolle handelt, die den OSI-Konzepten folgen. Das...