Split DMM construction of CIF relations away from multilevel synthesis
Currently, the first step in multi-level synthesis is to compute a DSM that contains relevant plant and requirement elements of a CIF specification. Next, it uses the DSM and decomposes the CIF specification into multiple parts.
I have been asked to unglue the DSM computation from the CIF multilevel application. I think it's a good idea. It becomes easier to do other experiments with distributed synthesis approaches at the very least.
Concretely, it boils down to
-
Make a new CIF application that takes a CIF specification and produces 3 DMMs (plant-elements / plant-groups, requirement-elements / requirement-groups, and plant-groups / requirement-groups). Current working name is CIF relations, but other names could be used instead. -
Move the DMM creation code to the new application.
Edited by Dennis Hendriks