Operation contract of Software Engineering

The operation contract is used to define system behaviors and describe system behaviors in detail based on object state changes in the domain model;

A use case is a model describing system behavior. If the use case is not clearly described, it is added to the operation contract.

Generally, one use case has multiple operations, and one operation requires an operation contract,For example:

SSD has several arrows to the right, and several operation contracts are required.

 

No contract is required for each operation. You only need to clear operations that may change or are unclear;

Operation contract template

Operation: namecross reference: the name of the case to which this operation belongs. precondition: the State of the object of the domain model before this operation is executed. postcondition: the State of the object changes. postcondition can be written as follows: (1) instance creation; (2) Association formation; (3) Attribute Modification;