Co jsou smlouvy o provozu?

V oblasti počítačového programování a informatiky jsou smlouvy o provozu způsob, jak určit nebo dokumentovat, jak konkrétní funkce změní různé prvky v programu. Na rozdíl od abstraktního programovacího rozhraní (API) nebo dokumentu pro ovládání rozhraní jsou provozní smlouvy používány k tomu, aby pomohly během fáze vývoje a modelování vytváření počítačové aplikace nebo systému. Na nejzákladnější úrovni smlouva definuje čtyři rysy operace, konkrétně název operace, veškeré odkazy na provoz v jiných oblastech návrhu, veškeré požadavky na vstup nebo stav před provedením operace a stav systém nebo proměnné po provedení operace. Smlouva nedefinuje nic konkrétního o tom, jak operace funguje interně, a místo toho se zabývá pouze tím, jak je stav programu ovlivněn jeho použitím.

Provozní smlouvy obecně nejsou vytvářeny pro každou operaci v rámci programového modelu. Místo toho jsou vyhrazeny pro operace, které jsou zvláště složité nebo obtížně sledovatelné. Několik jazyků počítačového modelování, například Unified Modeling Language (UML), podporuje smlouvy o provozu a má způsoby, jak pomoci vizualizovat, jak se stav programu může změnit, jakmile je operace provedena.

První dvě definice potřebné k vytvoření smluv o provozu jsou název operace, což může být cokoli, a případné křížové odkazy. Křížový odkaz je seznam dalších operací nebo oblastí programového modelu, které používají definovanou operaci nebo které operace použije při jejím zpracování. To pomáhá sledovat, jak celkový design interaguje, a je zvláště užitečné při sledování toho, jak změny v jedné oblasti modelu ovlivní jiné oblasti.

Operační smlouvy dále definují předpoklady nezbytné pro spuštění operace. To může vyžadovat, aby byly určité proměnné načteny s příslušnými hodnotami, nebo to může vyžadovat, aby určité části programu byly v určitém stavu. Pokud nejsou při provádění operace splněny předpoklady, operace se neuskuteční nebo může zcela selhat. Smlouva se používá jako abstraktní nástroj, takže předpoklady jsou obvykle celkem obecné a více zahrnují stav programu než specifické proměnné.

Poslední část smluv o provozu definuje jakékoli podmínky. Dodatkové podmínky jsou seznam položek v rámci programového modelu, které byly změněny kvůli provedení operace. To může specifikovat změny ve struktuře dat nebo změny stavu programu, jako je přesunutí řízení na samostatný modul. Pomocí dobře definovaných provozních smluv lze programy modelovat a upravovat efektivně před zahájením skutečné implementace.