Yes, I think that's a very good idea indeed. As far as BVAL-515 Open is concerned, we'll have a PoC implementation in the reference implementation (see HV-1122 Resolved ) in the first Alpha of HV 6. There it fits in naturally with the HV API for programmatic constraint declaration and definition; for BV, we'll have to think a bit more how to hook it into the API.