Add traceability links

examples/FTG_generate.py

@@ -20,6 +20,10 @@ model_add("formalisms/Architecture", "formalisms/SimpleClassDiagrams", open("mod
 model_add("models/pm_powerwindow", "formalisms/ProcessModel", open("models/PowerWindow/PM_analyze.mvc", 'r').read())
 model_add("formalisms/FormalismTransformationGraph", "formalisms/SimpleClassDiagrams", open("models/FTGPM/metamodels/FTG_MM.mvc", 'r').read())
 
-transformation_add_MT({"PM": "formalisms/ProcessModel"}, {"FTG": "formalisms/FormalismTransformationGraph"}, "models/generate_FTG", open("models/FTGPM/transformations/PM_to_FTG.mvc", 'r').read())
+def add_traceability(model):
+    instantiate(model, "Association", edge=("PM/Exec", "FTG/Activity"), ID="activity_link")
+    instantiate(model, "Association", edge=("PM/Data", "FTG/Formalism"), ID="formalism_link")
+
+transformation_add_MT({"PM": "formalisms/ProcessModel"}, {"FTG": "formalisms/FormalismTransformationGraph"}, "models/generate_FTG", open("models/FTGPM/transformations/PM_to_FTG.mvc", 'r').read(), add_traceability)
 
 transformation_execute_MT("models/generate_FTG", {"PM": "models/pm_powerwindow"}, {"FTG": "models/ftg_powerwindow"})

models/FTGPM/transformations/PM_to_FTG.mvc

@@ -2,3 +2,22 @@
 // TODO for each formalism, we make the type
 // TODO for each link, we make the consume/produce link
 // TODO ignore the control links and control elements
+
+include "primitives.alh"
+include "modelling.alh"
+include "object_operations.alh"
+
+Composite schedule {
+    {Contains} Failure failure {}
+    {Contains} Success success {}
+}
+
+// Initial (schedule, translate_activity) {}
+
+// OnSuccess (translate_activity, translate_formalism) {}
+// OnFailure (translate_activity, translate_formalism) {}
+
+translate_activity
+translate_formalism
+translate_consume
+translate_produce