There are quite a few operations already where there are co-dependencies between what parameters can be present. For example, specify a business id, a resource reference or resource content but not more than one of those. It would be nice if this could be expressed in a computable way. One thing that would be useful to expose in the computational mechanism is the context of how the operation is invoked - at the instance level, the type level or at the base level as many co-dependencies will care about that.