Hợp đồng hoạt động là gì?

Trong lĩnh vực lập trình máy tính và khoa học máy tính, các hợp đồng vận hành là một cách để chỉ định hoặc ghi lại cách một chức năng cụ thể sẽ thay đổi các yếu tố khác nhau trong một chương trình.Không giống như giao diện lập trình trừu tượng (API) hoặc tài liệu kiểm soát giao diện, các hợp đồng hoạt động được sử dụng để giúp trong giai đoạn phát triển và mô hình hóa việc tạo ứng dụng hoặc hệ thống máy tính.Ở cấp độ cơ bản nhất, hợp đồng xác định bốn tính năng của hoạt động, cụ thể là tên của hoạt động, bất kỳ tài liệu tham khảo nào về hoạt động trong các lĩnh vực khác của thiết kế, bất kỳ yêu cầu nào về đầu vào hoặc trạng thái trước khi hoạt động được thực hiện và trạng thái củaHệ thống hoặc biến sau khi hoạt động đã được thực hiện.Hợp đồng không xác định bất cứ điều gì cụ thể về cách hoạt động hoạt động trong nội bộ và thay vào đó chỉ liên quan đến cách tình trạng của chương trình bị ảnh hưởng bởi việc sử dụng nó. Các hợp đồng hoạt động, nói chung, không được xây dựng cho mọi hoạt động trong mô hình chương trình.Thay vào đó, chúng được dành riêng cho các hoạt động đặc biệt phức tạp hoặc khó theo dõi.Một số ngôn ngữ mô hình hóa máy tính, chẳng hạn như Ngôn ngữ mô hình hóa hợp nhất (UML), Hỗ trợ Hợp đồng hoạt động và có cách giúp hình dung cách trạng thái của chương trình có thể thay đổi sau khi hoạt động được thực hiện.là tên của hoạt động, có thể là bất cứ điều gì, và bất kỳ tham chiếu chéo nào.Tham chiếu chéo là danh sách các hoạt động hoặc khu vực khác của mô hình chương trình sử dụng hoạt động được xác định hoặc hoạt động sẽ sử dụng trong quá trình xử lý của nó.Điều này hỗ trợ trong việc xem cách một thiết kế tổng thể tương tác và đặc biệt hữu ích trong việc xem các thay đổi đối với một lĩnh vực của mô hình sẽ ảnh hưởng đến các khu vực khác. Hợp đồng hoạt động tiếp theo xác định các điều kiện tiên quyết cần thiết để chạy hoạt động.Điều này có thể liên quan đến việc yêu cầu các biến nhất định được tải với các giá trị phù hợp hoặc nó có thể yêu cầu một số phần nhất định của chương trình ở một trạng thái cụ thể.Nếu các điều kiện tiên quyết không được đáp ứng khi hoạt động được thực thi, thì thao tác sẽ không diễn ra hoặc có thể thất bại hoàn toàn.Hợp đồng được sử dụng như một công cụ trừu tượng, vì vậy các điều kiện tiên quyết thường khá chung chung và liên quan nhiều hơn đến trạng thái của chương trình hơn là các biến cụ thể. Phần cuối cùng của các hợp đồng hoạt động xác định bất kỳ điều kiện nào.Các điều kiện sau là một danh sách các mục trong mô hình chương trình đã được thay đổi do thực hiện hoạt động.Điều này có thể chỉ định các thay đổi đối với cấu trúc dữ liệu hoặc sửa đổi đối với trạng thái của chương trình, chẳng hạn như chuyển kiểm soát sang một mô -đun riêng.Thông qua việc sử dụng các hợp đồng hoạt động được xác định rõ, các chương trình có thể được mô hình hóa và sửa đổi hiệu quả trước khi bắt đầu thực hiện thực tế.