contract operation 承包经营
operation contracts are formal constraints defined over software operations.These are created during the domain-modeling phase.