[RACK-Ontology] add some missing notes to object definitions.

ge-high-assurance · Jan 21, 2022 · 07cef67 · 07cef67
1 parent 4891767
commit 07cef67
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/RACK-Ontology/ontology/HARDWARE.sadl b/RACK-Ontology/ontology/HARDWARE.sadl
@@ -13,7 +13,7 @@
 uri "http://arcos.rack/HARDWARE" alias hw.
 import "http://arcos.rack/PROV-S".
 
-HWCOMPONENT is a type of ENTITY.
+HWCOMPONENT (note "A generic physical hardware component") is a type of ENTITY.
     instantiates (note "What logical component (system) does this physical component instantiate or implement?")
         describes HWCOMPONENT with values of type ENTITY.
     componentType (note "Type of component")

diff --git a/RACK-Ontology/ontology/SECURITY.sadl b/RACK-Ontology/ontology/SECURITY.sadl
@@ -48,7 +48,7 @@ THREAT_IDENTIFICATION
 	Sec:author (note "AGENT(s) who work on this ACTIVITY") describes THREAT_IDENTIFICATION with values of type AGENT.
 	Sec:author is a type of wasAssociatedWith.
 
-SECURITY_LABEL is a type of THING.
+SECURITY_LABEL (note "A label to help categorize the associated SECURITY concern") is a type of THING.
 
 // A few common instances: additional ones could be Authorization, Non-repudiation, Privacy, etc.
 Confidentiality is a SECURITY_LABEL 
@@ -63,7 +63,7 @@ Availability is a SECURITY_LABEL
 
 CONTROL (note "CONTROLs mitigate THREATs") is a type of ENTITY.
 
-CONTROLSET is a type of COLLECTION.
+CONTROLSET (note "A set of CONTROLs that combine to mitigate a THREAT") is a type of COLLECTION.
     content of CONTROLSET only has values of type CONTROL.
 
     // A THREAT can be mitigated by a set of CONTROLs etc., mitigation by CONTROL is defined in CONTROL.sadl.