Revised SRI ontology

Added analysisConfiguration to ANALYSIS.sadl, revised SRI.sadl and SRI.sadl has original comments as well as lot of comments "//AM" that describe the changes and reasons for the changes.
ge-high-assurance · Oct 8, 2021 · 40d2b5e · 40d2b5e
1 parent 7e479b6
commit 40d2b5e
Show file tree

Hide file tree

Showing 2 changed files with 181 additions and 34 deletions.
diff --git a/RACK-Ontology/ontology/ANALYSIS.sadl b/RACK-Ontology/ontology/ANALYSIS.sadl
@@ -36,6 +36,9 @@ ANALYSIS
     analysisInput (note "Entities targetted by the analysis.") describes ANALYSIS with values of type ENTITY.
     analysisInput is a type of used.
 
+    analysisConfiguration (note "Parameters/options etc. for the tool used.") describes ANALYSIS with values of type ENTITY.
+    analysisConfiguration is a type of used.
+
 ANALYSIS_OUTPUT
     (note "Output of an ANALYSIS")
     is a type of ENTITY.