Pre-conditions and post-conditions of API calls would be a rough analogy - although fairly inaccurate. Ie it's not just the interface that matters, but rules a

Pre-conditions and post-conditions of API calls would be a rough analogy - although fairly inaccurate. Ie it's not just the interface that matters, but rules about the implementation.