Compositional Model Repositories

The aDPCSPs discussed in the previous section provide the foundation for the development of the compositional model repositories. This section specifies the problem that a compositional model repository is built to solve and shows how it can be translated into an aDPCSP, and hence be resolved using the proposed aDPCSP solution algorithm.