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 Designs, alle Anforderungen an Eingaben oder Zustand, bevor der Betrieb durchgeführt wird, und der Status des Systems oder der Variablen nach der Durchführung des Betriebs. 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. InsTead, sie sind für Operationen reserviert, die besonders komplex oder schwer zu verfolgen sind. Mehrere Computermodellsprachen wie die Unified Modeling Language (UML), Support Operation Contracts und können Möglichkeiten haben, wie sich der Status eines Programms ändern kann, sobald der Betrieb durchgeführt wurde.
Die ersten beiden Definitionen, die zur Erstellung von Betriebsverträgen erforderlich sind, sind der Name des Betriebs, der 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 beim Sehen, wie ein Gesamtdesign interagiert und besonders nützlich ist, um zu sehen, wie sich die Änderungen in einem Bereich des Modells auf andere Bereiche auswirken.
Betriebsverträge definieren als nächstes die Voraussetzungen, die für die Ausführung des Betriebs erforderlich sind. Dies kann bedeuten, bestimmte Variablen zu verlangenmit geeigneten Werten geladen werden, oder es kann erfordern, dass bestimmte Teile des Programms in einem bestimmten Zustand sind. 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 normalerweise ziemlich allgemein sind und mehr den Zustand des Programms beinhalten als bestimmte Variablen.
Der letzte Teil der Betriebsverträge definiert nach Konditionen. Postkonditionen sind eine Liste von Elementen innerhalb des Programmmodells, die aufgrund der Ausführung des Vorgangs 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.