还有循环契约要素条件不变式等等,但前置、后置条件和类不变式是基本要素。
There are also loop invariants and a few others, but pre contract element condit- and post-conditions and class invariants are really the basic fabric of contracts.
规范合成要素定义了一个服务消费者和服务提供者之间的契约,它从特定的提供者执行中减弱了它们。
A specification component defines a contract between service consumers and service providers that decouples them from particular provider implementations.
规范合成要素能够被许多具体的合成要素识别出来,这些要素以一种识别契约的方式提供服务,并且提供服务的可接受的质量。
The specification component can be realized by many concrete components that provide the services in a manner that realizes the contract and provides acceptable qualities of service.
应用推荐