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 stavuSysté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žíváním.

Operační smlouvy obecně nejsou vytvořeny pro každou operaci v rámci programového modelu.Místo toho jsou vyhrazeny 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é provozní smlouvy a mají způsoby, jak si představit, jak se stav programu může změnit po provedení operace.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.To může zahrnovat vyžadování načtení určitých proměnných s vhodnými hodnotami, nebo to může vyžadovat, aby určité čá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é.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 mohou být modelovány a upraveny před zahájením skutečné implementace.