How can I traverse the Java module graph in order to ensure dependents have their prerequisites satisfied?

Question

I have group of client-provided modules implementing a specific interface (inversion of control situation where one module manages this group) and all third-party d