An explicit agreement between components defining inputs, outputs, and behavior expectations during execution.