MOMENTAN AUSVERKAUFT

Komposition temporallogischer Spezifikationen von Adrianna Alexander (2006, Taschenbuch)

Über dieses Produkt

Produktinformation

In dieser Arbeit entwickeln wir eine neue Temporale Logik, die Temporal Logic of Distributed Actions, kurz TLDA genannt. TLDA dient zur kompositionalen Spezifikation und Verifikation verteilter Systeme. Syntaktisch stammt TLDA von einer bereits etablierten Temporalen Logik, TLA, ab. Im Gegenteil zu TLA und anderen bekannten kompositionalen Temporalen Logiken basiert aber TLDA auf einer halbgeordneten semantischen Struktur, einem verteilten Ablauf. Dadurch werden, im Vergleich zu TLA, die Ausdrucksmöglichkeiten der Logik erweitert. Sowohl das System als auch seine Eigenschaften werden in einem Formalismus beschrieben: Beide werden jeweils als eine Menge von verteilten Abläufen repräsentiert und durch eine temporallogische Formel in TLDA spezifiziert. Somit reduziert sich die Verifikation eines Systems auf den Nachweis, dass die Systemspezifikation die Eigenschaftenspezifikation impliziert. Dafür stellen wir eine Reihe von Beweisregeln zur Verfügung. Wir zeigen, dass die Komposition von Systemen als Konjunktion der Spezifikationen der Komponenten und, in der Regel, der Spezifikation der Interaktion zwischen den Komponenten spezifiziert wird. Folglich kann die Spezifikation eines komponierten Systems aus den Spezifikationen seiner Komponenten gewonnen werden. Die Eigenschaften der Komponenten bleiben im komponierten System erhalten. Demzufolge kann ein zusammengesetztes System komponentenweise verifiziert werden, was eine Aufwandsersparnis bringt. Angepasst an verteilte Abläufe entwickeln wir ein semantisches Kriterium für TLDA-Formeln, die Umgebungsinvarianz, und zeigen, dass Formeln, die das Kriterium erfüllen, insbesondere zur Spezifikation der Komponenten eines Systems geeignet sind. Wir weisen nach, dass die umgebungsinvarianten Formeln aufgrund ihrer Eigenschaften eine schrittweise kompositionale Spezifikation ermöglichen.

Produktkennzeichnungen

ISBN-10
3865378137
ISBN-13
9783865378132
eBay Product ID (ePID)
216080831

Produkt Hauptmerkmale

Produktart
Lehrbuch
Sprache
Deutsch
Anzahl der Seiten
Vi Seiten
Verlag
Cuvillier Verlag
Publikationsname
Komposition Temporallogischer Spezifikationen
Autor
Adrianna Alexander
Format
Taschenbuch
Erscheinungsjahr
2006

Zusätzliche Produkteigenschaften

Hörbuch
No
Item Length
21cm
Item Height
1cm
Item Width
14cm
Item Weight
375g

Meistverkauft in Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Meistverkauft in Studium & Erwachsenenbildung

Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)
4.3 von 5 Sternen in 4 Produktbewertungen
EUR 19,90 Neu
EUR 17,69 Gebraucht
Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)
4.5 von 5 Sternen in 2 Produktbewertungen
EUR 12,00 Neu
EUR 9,49 Gebraucht

Hier sparen: Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Hier sparen: Studium & Erwachsenenbildung

Tangram Metalldose Schmidt Spiel Solospiel Kinderspiel Chinesisches #5003796
EUR 5,90
Preistendenz: EUR 6,92
Schneider-Bautabellen für Ingenieure, 25.Auflage, Berechnungshinweise/Beispiele
EUR 45,00
Preistendenz: EUR 54,29
Carissa Broadbent / The Serpent and the Wings of Night (Crowns ...9783551585516
EUR 18,00
Preistendenz: EUR 18,24
Brian W. Kernighan (u. a.) | The C Programming Language | Taschenbuch | Englisch
EUR 39,95
Preistendenz: EUR 47,54
Einfaches Kassenbuch | Einnahmen und Ausgaben
EUR 4,99
Preistendenz: EUR 6,43
Toni's Mealprep Küche ~ Antonia Elena Zimmermann ~ 9783949458910
EUR 25,00
Preistendenz: EUR 25,31

Auch interessant

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Auch interessant

Stöbern in Kategorien

Komposition temporallogischer Spezifikationen von Adrianna Alexander (2006, Taschenbuch)

Über dieses Produkt

Produktinformation

Produktkennzeichnungen

Produkt Hauptmerkmale

Zusätzliche Produkteigenschaften

Meistverkauft in Studium & Erwachsenenbildung

Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)

Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)

Hier sparen: Studium & Erwachsenenbildung

Tangram Metalldose Schmidt Spiel Solospiel Kinderspiel Chinesisches #5003796

Schneider-Bautabellen für Ingenieure, 25.Auflage, Berechnungshinweise/Beispiele

Carissa Broadbent / The Serpent and the Wings of Night (Crowns ...9783551585516

Brian W. Kernighan (u. a.) | The C Programming Language | Taschenbuch | Englisch

Einfaches Kassenbuch | Einnahmen und Ausgaben

Toni's Mealprep Küche ~ Antonia Elena Zimmermann ~ 9783949458910

Auch interessant

Alexander-Kent-Taschenbuch-Sachbuch Bücher

Alexander-Kent-Taschenbuch-Abenteuer - Belletristik-Bücher

Alexander-Kent-Taschenbuch-Belletristik - Bücher auf Deutsch

Alexander Kent Belletristik-Bücher im Taschenbuch-Format

Alexander-McCall-Smith-Taschenbuch - Belletristik-Bücher

Alexander-Kent-Taschenbuch-Historische - Literatur-Belletristik-Bücher auf Deutsch