Co jsou provozní smlouvy?
V oblasti počítačového programování a informatiky jsou provozní smlouvy způsob, jak určit nebo dokumentovat, jak konkrétní funkce změní různé prvky v rámci programu. Na rozdíl od abstraktního programovacího rozhraní (API) nebo dokumentu pro řízení rozhraní se provozní smlouvy používají k pomoci 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, jakékoli odkazy na operaci v jiných oblastech návrhu, jakékoli požadavky na vstup nebo stav před provedením operace a stav systému nebo proměnných 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žíváním. Provozní smlouvy
obecně nejsou vytvořeny pro každou operaci v rámci programového modelu. InsTead, jsou vyhrazeni pro operace, které jsou obzvláště složité nebo obtížně sledovatelné. Několik jazyků pro modelování počítačového modelování, jako je jazyk Unified Modeling Language (UML), podpůrné operační smlouvy a mají způsoby, jak pomoci vizualizovat, jak se stav programu může změnit po provedení operace.
První dvě definice potřebné k vytvoření provozních smluv jsou název operace, což může být cokoli, a jakékoli křížové odkazy. Cross-Reference je seznam dalších operací nebo oblastí programového modelu, které používají definovanou operaci nebo že operace bude používat při jeho zpracování. To pomáhá vidět, jak celkový design interaguje a je zvláště užitečný při zjištění, jak změny v jedné oblasti modelu ovlivní jiné oblasti.
Provozní smlouvy dále definují předpoklady nezbytné pro provoz operace. To může zahrnovat vyžadování určitých proměnnýchbýt načten příslušnými hodnotami, nebo to může vyžadovat, aby některé části programu byly v konkrétním stavu. Pokud nejsou předvolby splněny po provedení operace, operace nebude probíhat nebo může úplně selhat. Smlouva se používá jako abstraktní nástroj, takže předpoklady jsou obvykle poměrně obecné a více zahrnují stav programu než specifické proměnné.
Závěrečná část provozních smluv definuje jakékoli post-kondice. Posminářství 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 struktury dat nebo úpravy stavu programu, jako je přesun ovládání na samostatný modul. Programy pomocí dobře definovaných provozních smluv lze pomocí dobře definovaných provozních smluv efektivně modelovat a upravit před začátkem skutečné implementace.