Arvutiprogrammeerimise ja arvutiteaduse valdkonnas on operatsioonilepingud viis täpsustada või dokumenteerida, kuidas konkreetne funktsioon muudab programmi erinevaid elemente. Erinevalt abstraktsest programmeerimisliidest (API) või liidese juhtimisdokumendist kasutatakse arvutirakenduse või -süsteemi loomise arendus- ja modelleerimisfaasis abiks töölepinguid. Kõige elementaarsemal tasemel määratleb leping toimingu neli tunnust, täpsemalt toimingu nime, mis tahes viiteid toimingule projekteerimise muudes valdkondades, mis tahes nõuded sisendile või olekule enne toimingu sooritamist ja toimingu olekut. süsteem või muutujad pärast toimingu sooritamist. Leping ei määratle midagi konkreetset selle kohta, kuidas toiming sisemiselt toimib, vaid käsitletakse ainult seda, kuidas programmi olek selle kasutamine mõjutab.
Operatsioonilepinguid ei koostata üldiselt iga programmimudeli toimingu jaoks. Selle asemel on need reserveeritud toimingute jaoks, mis on eriti keerulised või raskesti jälgitavad. Mitmed arvutimodelleerimiskeeled, nagu Unified Modeling Language (UML) toetavad operatsioonilepinguid ja neil on viise, mis aitavad visualiseerida, kuidas programmi olek võib pärast toimingu sooritamist muutuda.
Esimesed kaks määratlust, mis on vajalikud operatsioonilepingute loomiseks, on toimingu nimi, mis võib olla ükskõik milline, ja mis tahes ristviited. Ristviide on loend muudest programmimudeli operatsioonidest või piirkondadest, mis kasutavad määratletavat toimingut või mida toiming oma töötlemisel kasutab. See aitab näha, kuidas üldine disain toimib, ja on eriti kasulik näha, kuidas mudeli ühe piirkonna muudatused mõjutavad teisi valdkondi.
Operatsioonilepingud määratlevad järgmiseks operatsiooni läbiviimiseks vajalikud eeltingimused. See võib hõlmata nõuet, et teatud muutujad laaditaks sobivate väärtustega või et teatud programmiosad oleksid kindlas olekus. Kui toimingu sooritamisel eeltingimused ei ole täidetud, siis toimingut ei toimu või võib see täielikult ebaõnnestuda. Lepingut kasutatakse abstraktse vahendina, mistõttu on eeldused tavaliselt üsna üldised ja hõlmavad rohkem programmi olekut kui konkreetseid muutujaid.
Operatsioonilepingute viimane osa määratleb kõik järeltingimused. Järeltingimused on programmimudeli üksuste loend, mida on toimingu täitmise tõttu muudetud. See võib määrata muudatusi andmestruktuuris või programmi oleku muudatusi, näiteks juhtimise nihutamist eraldi moodulisse. Täpselt määratletud töölepingute abil saab programme enne tegeliku rakendamise algust tõhusalt modelleerida ja muuta.