SWK | Learn flashcards online

All main topics / Informatik / Softwarekonstruktion

SWK (68 Cards)

Foliensatz 3.3
Algebraische Spezifikation
Generierende Operationen

●Definition: Menge O von Operationen heisst „generierend“ für Menge X, wenn alle Elemente in X durch sukzessive Anwendung der Operationen erzeugt werden können.
●Bemerkung: Insbesondere kann Menge 0-null-stellige Operationen (= Konstanten) enthalten.

Frage:
- Was ist generierende Menge von Operationen der Booleschen
Algebra ?

Antwort:zum Beispiel {false, not}

- Was ist generierende Menge von Operationen der Algebra der
positiven, ganzen Zahlen ?

Antwort:zum Beispiel {zero, succ}

Tags: algebraische, spezifikation
Source:

54
Cardlink

Foliensatz 3.3
Ziele Wiederverwendbarkeit: algebraische Spezifikation

Teil 1: Wichtiges Ziel:Wiederverwendbarkeit von Software-Komponenten.

Frage:Wie können Ansätze, die auf algebraischer Spezifikation basieren, dieses Ziel unterstützen ?

Antwort:
Für gegebene algebraische Spezifikation S einer Software-Komponente kann ich eine Alt-Komponente C wiederverwenden, sofern sie Spezifikation S erfüllt.

Frage:Was tun, wenn Alt-Komponente C gegen (etwas) abweichenden algebraischen Spezifikation S' entwickelt wurde ?

Antwort:
Definiere Abbildung h zwischen algebraischen Spezifikationen S und S',
die wesentlichen gewünschten Eigenschaften
bewahrt (genannt „Homomorphismus“
bzw. „Isomorphismus“)