Add vocabularies for traceability models

examples/oml/SystemDesignOntology2Layers/src/oml/ua.be/sdo2l/description/artifacts/my_trace.oml

@@ -5,58 +5,71 @@
 
 description <http://ua.be/sdo2l/description/artifacts/my_trace#> as my_trace {
 
+  uses <http://ua.be/sdo2l/vocabulary/formalisms/cs_as#> as cs_as
   uses <http://ua.be/sdo2l/vocabulary/formalisms/object_diagram#> as object_diagram
 
   extends <http://ua.be/sdo2l/description/artifacts/my_drawio#> as my_drawio
   extends <http://ua.be/sdo2l/description/artifacts/my_pm#> as my_pm
 
-  ri trace_drawio_CvR4PfVCJDiI6bvIUUvl-1_initial : object_diagram:Link [
+  ci model : cs_as:CorrespondenceModel []
+
+  ri trace_drawio_CvR4PfVCJDiI6bvIUUvl-1_initial : cs_as:CS_AS_Link [
     from my_drawio:p0_cell_CvR4PfVCJDiI6bvIUUvl-1
     to my_pm:initial
+    object_diagram:inModel model
   ]
 
-  ri trace_drawio_CvR4PfVCJDiI6bvIUUvl-3_final : object_diagram:Link [
+  ri trace_drawio_CvR4PfVCJDiI6bvIUUvl-3_final : cs_as:CS_AS_Link [
     from my_drawio:p0_cell_CvR4PfVCJDiI6bvIUUvl-3
     to my_pm:final
+    object_diagram:inModel model
   ]
 
-  ri trace_drawio_CvR4PfVCJDiI6bvIUUvl-2_activity_0 : object_diagram:Link [
+  ri trace_drawio_CvR4PfVCJDiI6bvIUUvl-2_activity_0 : cs_as:CS_AS_Link [
     from my_drawio:p0_cell_CvR4PfVCJDiI6bvIUUvl-2
     to my_pm:activity_0
+    object_diagram:inModel model
   ]
 
-  ri trace_drawio_CvR4PfVCJDiI6bvIUUvl-17_activity_1 : object_diagram:Link [
+  ri trace_drawio_CvR4PfVCJDiI6bvIUUvl-17_activity_1 : cs_as:CS_AS_Link [
     from my_drawio:p0_cell_CvR4PfVCJDiI6bvIUUvl-17
     to my_pm:activity_1
+    object_diagram:inModel model
   ]
 
-  ri trace_drawio_CvR4PfVCJDiI6bvIUUvl-33_artifact_0 : object_diagram:Link [
+  ri trace_drawio_CvR4PfVCJDiI6bvIUUvl-33_artifact_0 : cs_as:CS_AS_Link [
     from my_drawio:p0_cell_CvR4PfVCJDiI6bvIUUvl-33
     to my_pm:artifact_0
+    object_diagram:inModel model
   ]
 
-  ri trace_drawio_CvR4PfVCJDiI6bvIUUvl-6_ctrl_flow_0 : object_diagram:Link [
+  ri trace_drawio_CvR4PfVCJDiI6bvIUUvl-6_ctrl_flow_0 : cs_as:CS_AS_Link [
     from my_drawio:p0_cell_CvR4PfVCJDiI6bvIUUvl-6
     to my_pm:ctrl_flow_0
+    object_diagram:inModel model
   ]
 
-  ri trace_drawio_CvR4PfVCJDiI6bvIUUvl-7_ctrl_flow_1 : object_diagram:Link [
+  ri trace_drawio_CvR4PfVCJDiI6bvIUUvl-7_ctrl_flow_1 : cs_as:CS_AS_Link [
     from my_drawio:p0_cell_CvR4PfVCJDiI6bvIUUvl-7
     to my_pm:ctrl_flow_1
+    object_diagram:inModel model
   ]
 
-  ri trace_drawio_CvR4PfVCJDiI6bvIUUvl-20_ctrl_flow_2 : object_diagram:Link [
+  ri trace_drawio_CvR4PfVCJDiI6bvIUUvl-20_ctrl_flow_2 : cs_as:CS_AS_Link [
     from my_drawio:p0_cell_CvR4PfVCJDiI6bvIUUvl-20
     to my_pm:ctrl_flow_2
+    object_diagram:inModel model
   ]
 
-  ri trace_drawio_CvR4PfVCJDiI6bvIUUvl-32_data_flow_0 : object_diagram:Link [
+  ri trace_drawio_CvR4PfVCJDiI6bvIUUvl-32_data_flow_0 : cs_as:CS_AS_Link [
     from my_drawio:p0_cell_CvR4PfVCJDiI6bvIUUvl-32
     to my_pm:data_flow_0
+    object_diagram:inModel model
   ]
 
-  ri trace_drawio_CvR4PfVCJDiI6bvIUUvl-28_data_flow_1 : object_diagram:Link [
+  ri trace_drawio_CvR4PfVCJDiI6bvIUUvl-28_data_flow_1 : cs_as:CS_AS_Link [
     from my_drawio:p0_cell_CvR4PfVCJDiI6bvIUUvl-28
     to my_pm:data_flow_1
+    object_diagram:inModel model
   ]
 }

examples/oml/SystemDesignOntology2Layers/src/oml/ua.be/sdo2l/vocabulary/formalisms/cs_as.oml

@@ -0,0 +1,19 @@
+vocabulary <http://ua.be/sdo2l/vocabulary/formalisms/cs_as#> as cs_as {
+	
+	extends <http://ua.be/sdo2l/vocabulary/formalisms/traceability_model#> as traceability_model
+	extends <http://ua.be/sdo2l/vocabulary/formalisms/object_diagram#> as object_diagram
+	
+	relation entity CS_AS_Link :> traceability_model:TraceabilityLink [
+		from object_diagram:Object
+		to object_diagram:Object
+		forward parsedAs
+		reverse renderedAs
+		functional // Assuming that CS contains at least the same amount of the information as AS, there is only one way to parse something
+		asymmetric
+		irreflexive
+	]
+	
+	concept CorrespondenceModel :> traceability_model:TraceabilityModel [
+		restricts all relation object_diagram:hasObject to CS_AS_Link
+	]
+}

examples/oml/SystemDesignOntology2Layers/src/oml/ua.be/sdo2l/vocabulary/formalisms/traceability_model.oml

@@ -0,0 +1,15 @@
+vocabulary <http://ua.be/sdo2l/vocabulary/formalisms/traceability_model#> as traceability_model {
+	extends <http://ua.be/sdo2l/vocabulary/formalisms/object_diagram#> as object_diagram
+		
+	// A traceability link is just a link :)
+	relation entity TraceabilityLink :> object_diagram:Link [
+		from object_diagram:Object
+		to object_diagram:Object
+		asymmetric
+		irreflexive
+	]
+	
+	concept TraceabilityModel :> object_diagram:Model [
+		restricts all relation object_diagram:hasObject to TraceabilityLink
+	]
+}