Added outline of new Core Modelverse Formalism

core/core_formalism.mvc

@@ -0,0 +1,50 @@
+import models/SimpleClassDiagrams as SimpleClassDiagrams
+
+SimpleClassDiagrams CoreFormalism {
+    Class String {
+        $
+            if (bool_not(is_physical_string(self))):
+                return "String has no string value"!
+            else:
+                return "OK"!
+        $
+    }
+
+    Class Permissions {
+        $
+            if (bool_not(is_physical_string(self))):
+                return "Permissions has no string value"!
+            else:
+                return "OK"!
+        $
+    }
+
+    Class User {
+        name : String
+    }
+
+    Class Group {
+        name : String
+    }
+
+    Association ownedBy (Group, User) {}
+
+    Class Model {
+        name : String
+        location : String
+        permissions : Permissions
+    }
+
+    Class Transformation {
+        name : String
+        location : String
+    }
+
+    Class ModelTransformation : Transformation {
+    }
+
+    Class ActionLanguage : Transformation {
+    }
+}
+
+export CoreFormalism to models/CoreFormalism