What are the operating contracts?

In the field of computer programming and computer science, the operating contracts are a way to determine or document how specific functions will change different elements within the program. Unlike the abstract programming interface (API) or document management, the operating contracts are used to help the development and modeling of the creation of a computer application or system. At the most basic level, the contract defines four features of the operation, namely the name of the operation, any links to operations in other design areas, any requirements for input or status before the operation and status of the system or variables after the operation. The contract does not define anything specific about how the operation works internally, and instead deals only with how the program status is influenced by its use. Operating contracts

are generally not created for each program model. Insides, they are reserved for operations that are particularly complex or difficult to follow. Several languages ​​for modelImplementing computer modeling, such as the Unified Modeling Language (UML), Supporting Operations Agreements, and have ways to help visualize, how the status of the program can change after surgery.

The first two definitions needed to create operating contracts are the name of the operation, which can be anything, and any cross reference. Cross-reference is a list of other operations or areas of the program model that uses a defined operation or that the operation will use it in its processing. This helps to see how the overall design interacts and is particularly useful in finding out how changes in one model will affect another area.

The

operating contracts are further defined by the prerequisites necessary for the operation of the operation. This may include requiring certain variables to load the relevant values, or it may require some parts of the program to be in a specific state. If the preferences are not met after theOperation, surgery will not take place or may fail. The contract is used as an abstract tool, so the prerequisites are usually relatively general and more include the status of the program than the specific variables.

The final part of the operating contracts defines any post-kontice. Pressions are a list of items within the program model that have been changed to perform the operation. This can specify data structure changes or editing program status, such as moving control to a separate module. Programs using well -defined operating contracts can be efficiently modeling and modified by well -defined operating contracts before the start of actual implementation.