Abstraktion in ereignisbasierten Modellen verteilter Systeme . Ein Beitrag zum formalen Entwurf verteilter Systeme
7 Angebote vergleichen

Der Entwurf und die Verifikation verteilter Systeme stellen den Entwicklungsingenieur immer noch vor große Probleme. Das komplexe parallele Verhalten solcher Systeme entzieht sich wegen der Nicht-Determiniertheit der zeitliche Abläufe der menschlichen Vorstellungskraft. Der korrekte Entwurf bzw. die Verifikation des Entwurfes lassen sich deshalb nur auf der Grundlage formaler, mathematischer Methoden lösen. Grundlage jeder formalen Entwurfsmethode ist zunächst eine Modellbildung für das Verhalten verteilter Systeme. Als Grundlage der Untersuchung dienen daher ereignisbasierte Modelle parallelen Verhaltens. Ereignisbasierte Modelle sind eine neuere und inzwischen gut untersuchte Theorie zur Modellierung des parallelen Verhaltens verteilter Systeme. Die bestehende Theorie ereignisbasierter Modelle wird in dieser Arbeit ergänzt um die Begriffe der Spezifikation und der Implementierung. Diese Begriffe erhalten dabei eine exakte mathematische Festlegung. Untersucht wird dann, welche Eigenschaften einer Spezifikation beweisbar auch in der Implementierung gelten. Die gefundenen Aussagen bilden die Grundlage für einen mathematisch korrekten Entwurf oder eine a posteriori Verifikation von verteilten Systemen. Es ist ein Anliegen des Buches eine Brücke zwischen Theorie und Praxis zu schlagen. Die Anwendung der Resultate wird an Entwurfsbeispielen aus der Praxis, z.B. Teilen des ISDN-Protokolls, aufgezeigt. Viele ausführliche Erläuterungen und eine gründliche Motivation der theoretische Konzepte anhand von kleinen Fallbeispielen und mit Hilfe von anschaulichen Graphiken machen den Text leicht lesbar und vereinfachen das Verständnis der zugrunde liegenden Theorie. Alle wichtigen mathematischen Grundlagen sind aus der Spezialliteratur zusammengetragen und in einfacher und einheitlicher Form präsentiert. Das Buch ist dadurch inhaltlich in sich vollständig und eignet sich wegen der didaktisch gelungenen Präsentation der Grundlagen auch als ein Einstieg in die Theorie der verteilten Systeme. Das Buch wird abgerundet durch eine Diskussion verwandter Forschung. Die Zusammenhänge zu anderen relevanten Gebieten der Informatik werden ebenfalls aufgezeigt.

Von Händler/Antiquariat, Verlag Dr. Kovac GmbH [56043471], Hamburg, Germany.
Forschungsergebnisse zur Informatik, Band 18 153 pages. Der Entwurf und die Verifikation verteilter Systeme stellen den Entwicklungsingenieur immer noch vor große Probleme. Das komplexe parallele Verhalten solcher Systeme entzieht sich wegen der Nicht-Determiniertheit der zeitliche Abläufe der menschlichen Vorstellungskraft. Der korrekte Entwurf bzw. die Verifikation des Entwurfes lassen sich deshalb nur auf der Grundlage formaler, mathematischer Methoden lösen. Grundlage jeder formalen Entwurfsmethode ist zunächst eine Modellbildung für das Verhalten verteilter Systeme. Als Grundlage der Untersuchung dienen daher ereignisbasierte Modelle parallelen Verhaltens. Ereignisbasierte Modelle sind eine neuere und inzwischen gut untersuchte Theorie zur Modellierung des parallelen Verhaltens verteilter Systeme. Die bestehende Theorie ereignisbasierter Modelle wird in dieser Arbeit ergänzt um die Begriffe der Spezifikation und der Implementierung. Diese Begriffe erhalten dabei eine exakte mathematische Festlegung. Untersucht wird dann, welche Eigenschaften einer Spezifikation beweisbar auch in der Implementierung gelten. Die gefundenen Aussagen bilden die Grundlage für einen mathematisch korrekten Entwurf oder eine a posteriori Verifikation von verteilten Systemen. Es ist ein Anliegen des Buches eine Brücke zwischen Theorie und Praxis zu schlagen. Die Anwendung der Resultate wird an Entwurfsbeispielen aus der Praxis, z.B. Teilen des ISDN-Protokolls, aufgezeigt. Viele ausführliche Erläuterungen und eine gründliche Motivation der theoretische Konzepte anhand von kleinen Fallbeispielen und mit Hilfe von anschaulichen Graphiken machen den Text leicht lesbar und vereinfachen das Verständnis der zugrunde liegenden Theorie. Alle wichtigen mathematischen Grundlagen sind aus der Spezialliteratur zusammengetragen und in einfacher und einheitlicher Form präsentiert. Das Buch ist dadurch inhaltlich in sich vollständig und eignet sich wegen der didaktisch gelungenen Präsentation der Grundlagen auch als ein Einstieg in die Theorie der verteilten Systeme. Das Buch wird abgerundet durch eine Diskussion verwandter Forschung. Die Zusammenhänge zu anderen relevanten Gebieten der Informatik werden ebenfalls aufgezeigt.

Von Händler/Antiquariat, Antiq. Bookfarm/ Sebastian Seckfort [54905055], Leipzig, Germany.
153 Seiten Ehem. Bibliotheksex. m. Stempel und Rückensign. Vereinzelte kleinere Anstreichungen und Marginalien möglich. Gutes Arbeitsexemplar. 9783860643235 Sprache: Deutsch Gewicht in Gramm: 230, Books.

Lieferung aus: Deutschland, Versandkosten nach: Deutschland.
Von Händler/Antiquariat, Antiquariat Bookfarm, [3962379].
153 Seiten Softcover Ehem. Bibliotheksex. m. Stempel und Rückensign. Vereinzelte kleinere Anstreichungen und Marginalien möglich. Gutes Arbeitsexemplar. 9783860643235, 1995. gebraucht mittelmäßig, 230g, 1. Aufl. Internationaler Versand, PayPal, Offene Rechnung.

Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, verlagdrkovac.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen

Lieferung aus: Deutschland, Auf Lager. Versandkostenfrei. Tatsächliche Versandkosten können abweichen.
Von Händler/Antiquariat, Antiquariat Bookfarm.
Verlag Dr. Kovac, Broschiert, Ausgabe: 1. Aufl. Publiziert: 1995T, Produktgruppe: Book.

Lieferung aus: Deutschland, Versandkosten nach: Deutschland.
Von Händler/Antiquariat, InternetBuchhandlung A. Bell, [3194875].
Gebunden, Neuware, Internationaler Versand, PayPal, Banküberweisung.