2 * Installed Software (Client application) must be ontology compatible with the database it uses (Remote).
\r
7 US1: Conflicting Features
\r
11 Project A uses X 1.0
\r
15 Project A uses X 1.0
\r
16 Project B uses X 1.1
\r
20 Project A uses X 1.0
\r
21 Project B uses X 1.1
\r
23 US2: Conflicting Features
\r
27 Project A uses X 1.0
\r
31 Project A uses X 1.0
\r
32 Project B uses X 2.0
\r
36 Project A uses X 2.0
\r
37 Project B uses X 2.0
\r
41 Project A uses X 1.0
\r
42 Project B uses X 1.0
\r
44 Validator: Spec -> Errors
\r
46 Solver: 1 Error -> Action[]
\r
47 1 ACtion -> (fixed) Spec
\r
49 Planner: Figures out all possible solution scenarios. Returns a list of valid scenarios sorted by feasibility.
\r