Rethink the FV design and align with CBMD
Some modifications should be made to the current FV design to align it with the CBMD.
ATM I can think of the following:
1) Constraints UI layer which interacts with the user - I think already done
2) Constraints layer which interacts with the constraints UI
3) Analysis layer which contains the relevant transformation and runs the tool and returns the result to the Constraints layer. There should be a common interface for this layer containing: specification and result.
4) An evidence interface
5) Result should contain evidence