Migrated source code from Simantics SVN

[simantics/platform.git] / bundles / org.simantics.project / src / org / simantics / project / management / UseCases.txt

diff --git a/bundles/org.simantics.project/src/org/simantics/project/management/UseCases.txt b/bundles/org.simantics.project/src/org/simantics/project/management/UseCases.txt
new file mode 100644 (file)
index 0000000..d37a35d
--- /dev/null
+++ b/bundles/org.simantics.project/src/org/simantics/project/management/UseCases.txt
@@ -0,0 +1,53 @@
+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