Formale Methodik des Entwurfs verteilter objektorientierter Systeme (Informatik)

Bernhard Rumpe

ISBN 10: 3896751492 / ISBN 13: 9783896751492

Published by Herbert Utz Verlag, 1996

About this Item

Ancien livre de bibliothèque avec équipements. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.

Seller Inventory # G-986-654

Bibliographic Details

• Title: Formale Methodik des Entwurfs verteilter objektorientierter Systeme (Informatik)
• Publisher: Herbert Utz Verlag
• Publication Date: 1996
• Language: German
• ISBN 10: 3896751492
• ISBN 13: 9783896751492
• Condition: Très bon

About this title

Excerpt. © Reprinted by permission. All rights reserved.

In dieser Arbeit wird eine formale Grundlage für eine objektorientierte Methodik entwickelt. Zur Spezifikation von Struktur und Verhalten verteilter objektorientierter Systeme werden Beschreibungstechniken für Objektmodelle, Klassen und Transitionssysteme definiert.
Für die zustandsbasierte Beschreibung nichtdeterministischen Komponentenverhaltens wird die Theorie buchstabierender Automaten entwickelt. Es werden eine konkrete Darstellungsform, eine abstrakte Syntax, eine denotationelle und eine operationelle Semantik angegeben und gezeigt, daß beide Semantiken übereinstimmen.
Für buchstabierende Automaten wird ein Verfeinerungskalkül definiert, der zur Transformation von abstrakten in detaillierte Verhaltensbeschreibungen verwendet werden kann. Es wird gezeigt, daß dieser Kalkül bezüglich der Semantikdefinition korrekt ist. Der Kalkül wird für die Spezialisierung und die Vererbung von Verhaltensbeschreibungen in verteilten objektorientierten Systemen eingesetzt.
Ein Systemmodell charakterisiert eine Menge von verteilten objektorientierten Systemen, die aus asynchron kommunizierenden Agenten aufgebaut sind. Das Systemmodell dient als Basis für die Definition einer integrierten, formalen Semantik für die oben genannten Beschreibungstechniken.
Methodische Entwicklungsschritte erlauben die Verfeinerung von Dokumenten dieser Beschrei-bungs-techniken. Basierend auf der formalen Semantik der Verfeinerungsschritte werden präzise Aussagen über das Zusammenspiel der verwendeten Beschreibungstechniken definiert.
Die Verbindung graphischer Beschreibungstechniken mit einer integrierten, formalen Semantik nutzt Synergieeffekte formaler und praxisorientierter Ansätze der Softwaretechnik.