Jakie są umowy operacyjne?

W dziedzinie programowania komputerowego i informatyki umowy operacyjne są sposobem na określenie lub udokumentowanie, w jaki sposób dana funkcja zmieni różne elementy w ramach programu.W przeciwieństwie do abstrakcyjnego interfejsu programowania (API) lub dokumentu kontroli interfejsu, umowy operacyjne są używane do pomocy w fazie tworzenia i modelowania tworzenia aplikacji lub systemu komputerowego.Na najbardziej podstawowym poziomie umowa określa cztery cechy operacji, w szczególności nazwa operacji, wszelkie odniesienia do operacji w innych obszarach projektu, wszelkie wymagania dotyczące wejścia lub stanu przed wykonaniem operacji oraz stansystem lub zmienne po przeprowadzeniu operacji.Umowa nie określa niczego szczególnego na temat funkcjonowania operacji wewnętrznie, a zamiast tego dotyczy tylko tego, w jaki sposób na stan programu wpływa jego użycie.

Umowy operacyjne, ogólnie, nie są budowane dla każdej operacji w ramach modelu programu.Zamiast tego są zarezerwowane dla operacji, które są szczególnie złożone lub trudne do śledzenia.Kilka języków modelowania komputerowego, takich jak Unified Modeling Language (UML), obsługuje umowy operacyjne i mają sposoby na wizualizację, w jaki sposób stan programu może się zmienić po przeprowadzeniu operacji.

Pierwsze dwie definicje wymagane do tworzenia umów operacyjnychto nazwa operacji, która może być wszystkim, i wszelkie odsyłacze.Odniesienie to lista innych operacji lub obszarów modelu programu, które wykorzystują zdefiniowaną operację lub że operacja będzie wykorzystywana w jego przetwarzaniu.Pomaga to zobaczyć, w jaki sposób ogólny projekt oddziałuje i jest szczególnie przydatny w dostrzeżeniu, w jaki sposób zmiany w jednym obszarze modelu wpłyną na inne obszary.

Umowy operacyjne Następnie zdefiniują warunki wstępne niezbędne do uruchomienia operacji.Może to obejmować wymaganie ładowania niektórych zmiennych odpowiednimi wartościami lub może wymagać, aby niektóre części programu były w określonym stanie.Jeśli warunki wstępne nie zostaną spełnione podczas wykonywania operacji, operacja nie nastąpi lub może całkowicie zawieść.Umowa jest używana jako narzędzie abstrakcyjne, więc warunki wstępne są zwykle dość ogólne, a bardziej obejmują stan programu niż określone zmienne.

Ostateczna część umów operacyjnych określa wszelkie po warunkach.Po warunkach to lista elementów w modelu programu, które zostały zmienione z powodu wykonywania operacji.Może to określić zmiany struktury danych lub modyfikacji stanu programu, takie jak przeniesienie kontroli na osobny moduł.Dzięki zastosowaniu dobrze zdefiniowanych umów operacyjnych programy można skutecznie modelować i modyfikować przed rozpoczęciem faktycznej wdrożenia.