Describir: Loosening the notions of compliance and sub-behaviour in client/server systems