浏览代码

added sample process model for a complete language design iteration

Lucas Heer 7 年之前
父节点
当前提交
8977d78ac0
共有 1 个文件被更改,包括 77 次插入7 次删除
  1. 77 7
      models/sketching/process_model.mvc

+ 77 - 7
models/sketching/process_model.mvc

@@ -1,18 +1,88 @@
 Start start {}
 Finish finish {}
 
-Exec an_activity {
-    name = "graph_ops/new_example_model"
+Exec new_exm {
+    name = "process/new_exm"
 }
 
-Data new_exm {
+Exec edit_exm {
+    name = "process/edit_exm"
+}
+
+Exec query_another_exm {
+    name = "process/query_another_exm"
+}
+
+Exec new_im {
+    name = "process/new_im"
+}
+
+Exec edit_im {
+    name = "process/edit_im"
+}
+
+Exec query_revise_lang {
+    name = "process/query_revise"
+}
+
+Data exm {
     name = "models/example/ex1"
     type = "formalisms/graphMM"
 }
 
-Next(start, an_activity) {}
-Next(an_activity, finish) {}
+Data im {
+    name = "models/instance/im1"
+    type = "formalisms/graphMM"
+}
+
+Data consyn {
+    name = "models/consyn/cs1"
+    type = "formalisms/consynMM"
+}
+
+Decision another_exm {}
+Decision revise_lang {}
+
+Next(start, new_exm) {}
+Next(edit_exm, query_another_exm) {}
+Next(query_another_exm, another_exm) {}
+Then(another_exm, new_exm) {}
+Next(new_exm, edit_exm) {}
+Else(another_exm, new_im) {}
+Next(new_im, edit_im) {}
+Next(edit_im, query_revise_lang) {}
+Next(query_revise_lang, revise_lang) {}
+Then(revise_lang, edit_exm) {}
+Else(revise_lang, finish) {}
+
+Produces(new_exm, exm) {
+    name = "example_model"
+}
+
+Consumes(edit_exm, exm) {
+    name = "example_model"
+}
+
+Produces(edit_exm, exm) {
+    name = "example_model"
+}
+
+Produces(edit_exm, consyn) {
+    name = "concrete_syntax"
+}
+
+Produces(new_im, im) {
+    name = "instance_model"
+}
+
+Consumes(edit_im, im) {
+    name = "instance_model"
+}
+
+Consumes(edit_im, consyn) {
+    name = "concrete_syntax"
+}
 
-Produces(an_activity, new_exm) {
-    name = "output"
+Produces(edit_im, im) {
+    name = "instance_model"
 }