Blick ins Buch

Formale Beschreibungstechniken für verteilte Systeme

Dieter Hogrefe (Herausgeber)

Buch | Softcover

VIII, 228 Seiten

1992
Springer Berlin (Verlag)
978-3-540-55568-1 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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 Leistungsanalyse basierend auf formalen Beschreibungen Verifikation basierend auf formalen Beschreibungen Ergonomie des Arbeitens mit FDTs Anwendung von FDTs in der ODP-Standardisierung theoretische Modelle Datenmodellierung FDTs im System-Life-Cycle FDT-basierte Implementierung (ODP = Open Distributed Processing, Normungsaktivitat ISO) (FDT = Formal Description Technique) Die obige Liste ist selbstverstandlich offen fUr Veranderungen. Der vorliegende Band enthalt Arbeiten aus dem Themengebiet des Arbeitskreises. Einer seits sind dies Arbeiten, die anlasslich des ersten Fachgesprachs im Juni 1991 in Darm stadt vorgestellt wurden. Andererseits sind es Arbeiten, die nachtraglich von Autoren eingereicht wurden, denen es nicht moglich war, am Fachgesprach teilzunehmen. Unter den zahlreichen Arbeiten, die eingereicht wurden, ist hier nur eine Auswahl zusammen gestellt, die nach einem zweistufigen Begutachtungsprozess ubrig blieben: Begutachtung - Revision ausgewahlter Beitrage - erneute Begutachtung.

Toward the Integration of Formal Description Techniques with Performance Evaluation.- Generating Parallel Code from Estelle Specifications.- CDM - korrekter Entwurf von Kommunkationssoftware.- LOTOS Design Methodology Based on ODP-Viewpoints.- An introduction to compositional methods for concurrency and their application to real-time.- Rapid Prototyping von Estelle-Spezifikationen.- Formale Konzepte zur Lokalisierung von Funktionen in räumlich verteilten Systemen.- A Simple Toy Example of a Distributed System: On the Design of a Connecting Switch.- Testfallgenerierung aus Petri-Netzen - Probleme, Konzepte, Systeme.- Die Offene Petrinetz-Methode zur Analyse und Darstellung des funktionalen Verhaltens verteilter Systeme.- Differences between Estelle and LOTOS Descriptions of a Protocol.- Autorenverzeichnis.

Erscheint lt. Verlag	27.5.1992
Reihe/Serie	Informatik aktuell
Zusatzinfo	VIII, 228 S. 22 Abb.
Verlagsort	Berlin
Sprache	deutsch
Maße	170 x 242 mm
Gewicht	420 g
Themenwelt	Mathematik / Informatik ► Informatik ► Betriebssysteme / Server
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Schlagworte	Modellierung • Rechnernetzprotokolle • Softwareengineering • Spezifikationstechniken
ISBN-10	3-540-55568-4 / 3540555684
ISBN-13	978-3-540-55568-1 / 9783540555681
Zustand	Neuware