GitLab

The current implementation of the model composition step (see edu.kit.ipd.descartes.solving.tailoring.TailoredModelComposition) may 'truncate' requested probes.

For example: If the default service behavior abstraction level is set to black box, and there is a service with two service behavior abstractions (fine- or) coarse-grained and black box, the black box behavior will get selected even if there were, e.g., some resource utilization probes that would have been affected by the (fine- or) coarse-grained behavior, but are not affected by the black box behavior.

See Fabian's PhD for a model composition algorithm, that takes such potential conflicts into account.