Requirements: * Installed Software (Client application) must be ontology compatible with the database it uses (Remote). Use Scenarions US1: Conflicting Features Setup: Ontology { X(1.0) } Project A uses X 1.0 Target Ontology { X(1.0) } Project A uses X 1.0 Project B uses X 1.1 Fixed Target 1 Ontology { X(1.1) } Project A uses X 1.0 Project B uses X 1.1 US2: Conflicting Features Setup: Ontology { X(1.0) } Project A uses X 1.0 Target Ontology { X(1.0) } Project A uses X 1.0 Project B uses X 2.0 Fixed Target 1 Ontology { X(2.0) } Project A uses X 2.0 Project B uses X 2.0 Fixed Target 2 Ontology { X(1.0) } Project A uses X 1.0 Project B uses X 1.0 Validator: Spec -> Errors Solver: 1 Error -> Action[] 1 ACtion -> (fixed) Spec Planner: Figures out all possible solution scenarios. Returns a list of valid scenarios sorted by feasibility. Spec -> Spec[]