I think that the OCL tools you mentionned would be good exemplary tools
for MDDi. According to ModelBus specification, your OCL tools could
connect the ModelBus and receive modelling events exchanged through the
ModelBus notification service to select the constraints that need to be
checked.
Your tools will require that an OCL engine is connected to the ModelBus.
At this step no OCL evaluation tools is yet foreseen to be adapted to
ModelBus. Anyway, providing an adapter to connect OCL engines to the
ModelBus should be difficult. Which OCL engine do you currently use with
your OCL tools ?
We will be glad to help you provide a ModelBus adapter for your tools and
for an OCL engine as soon as ModelBus first versions is released.