Was sind Betriebsverträge?

Im Bereich der Computerprogrammierung und Informatik sind Betriebsverträge eine Möglichkeit, zu spezifizieren oder zu dokumentieren, wie eine bestimmte Funktion unterschiedliche Elemente innerhalb eines Programms ändert.Im Gegensatz zu einer abstrakten Programmierschnittstelle (API) oder einem Schnittstellensteuerungsdokument werden Betriebsverträge verwendet, um während der Entwicklungs- und Modellierungsphase der Erstellung einer Computeranwendung oder eines Computeranwalts zu helfen.Auf der grundlegendsten Ebene definiert der Vertrag vier Merkmale des Betriebs, insbesondere den Namen des Betriebs, alle Verweise auf den Betrieb in anderen Bereichen des Entwurfs, alle Anforderungen an Eingaben oder Zustand vor der Durchführung und des Zustands vonDas System oder die Variablen nach der Operation wurde durchgeführt.Der Vertrag definiert nichts Besonderes darüber, wie der Betrieb intern funktioniert, und befasst sich stattdessen nur damit, wie der Status eines Programms durch seine Verwendung beeinflusst wird.Stattdessen sind sie für Operationen reserviert, die besonders komplex oder schwer zu verfolgen sind.Mehrere Computermodellsprachen wie die Unified Modeling Language (UML), Support -Betriebsverträge und Möglichkeiten, um sich zu visualisieren, wie sich der Status eines Programms ändern kann, sobald der Betrieb durchgeführt wurde.sind der Name der Operation, die alles sein kann, und alle Querversicherungen.Eine Querverweise ist eine Liste anderer Vorgänge oder Bereiche eines Programmmodells, die den zu definierten Betrieb verwenden oder dass der Betrieb in seiner Verarbeitung verwendet wird.Dies hilft bei der Erkenntnis, wie ein Gesamtdesign interagiert und besonders nützlich ist, um festzustellen, wie sich die Änderungen an einem Bereich des Modells auf andere Bereiche auswirken.

Die Betriebsaufträge definieren als nächstes die für die Durchführung des Betriebs erforderlichen Voraussetzungen.Dies kann bedeuten, dass bestimmte Variablen mit geeigneten Werten geladen werden müssen, oder es kann erfordern, dass bestimmte Teile des Programms in einem bestimmten Zustand liegen.Wenn die Voraussetzungen bei der Ausführung der Operation nicht erfüllt sind, findet der Vorgang nicht statt oder kann vollständig ausfallen.Der Vertrag wird als abstraktes Instrument verwendet, sodass die Voraussetzungen in der Regel ziemlich allgemein sind und mehr den Zustand des Programms betreffen als spezifische Variablen.

Der letzte Teil der Betriebsverträge definiert nach den Konditionen.Postkonditionen sind eine Liste von Elementen innerhalb des Programmmodells, die aufgrund der Ausführung des Betriebs geändert wurden.Dies kann Änderungen an einer Datenstruktur oder Änderungen des Programmstaates festlegen, z. B. das Schalten der Steuerung in ein separates Modul.Durch die Verwendung gut definierter Betriebsverträge können Programme modelliert und effektiv modelliert werden, bevor die tatsächliche Implementierung beginnt.