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