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:
- Constraints UI layer which interacts with the user - I think already done
- Constraints layer which interacts with the constraints UI
- 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.
- An evidence interface
- Result should contain evidence
(from redmine: issue id 3409, created on 2018-05-16, closed on 2019-05-29)