In UML modeling, a specialised realisation relationship in which the the realising classifier must conform to the contract that the provided interface specifies. See also realises relationship.