Updates based on discussion on 10/8/2021

ge-high-assurance · Oct 12, 2021 · d9b4f39 · d9b4f39
1 parent 53bf867
commit d9b4f39
Show file tree

Hide file tree

Showing 4 changed files with 43 additions and 39 deletions.
diff --git a/Boeing-Ontology/ontology/Boeing.sadl b/Boeing-Ontology/ontology/Boeing.sadl
@@ -14,15 +14,15 @@ import "http://arcos.rack/SYSTEM".
 import "http://arcos.rack/TESTING".
 // import "http://common/DO-178C".
 
-PIDS_Req (note "A Requirement identified in the Prime Item Development Specification")is a type of REQUIREMENT.
+PIDS_Req (note "A Requirement identified in the Prime Item Development Specification") is a type of REQUIREMENT.
 
 CSID_Req (note "A Requirement identified in the Crew Systems Interface Document") is a type of REQUIREMENT.
 
-SRS_Req (note "A Requirement identified in the Software Requirements Specification")is a type of REQUIREMENT.
+SRS_Req (note "A Requirement identified in the Software Requirements Specification") is a type of REQUIREMENT.
 //satisfies of SRS_Req only has values of type {PIDS_Req or CSID_Req}.
 
-SubDD_Req (note "A Requirement identified in the Subsystem Design Document")is a type of REQUIREMENT.
-Rq:satisfies of SubDD_Req only has values of type SRS_Req.
+SubDD_Req (note "A Requirement identified in the Subsystem Design Document") is a type of REQUIREMENT. 
+Rq:satisfies of SubDD_Req only has values of type SRS_Req. //AM move this and why warning marker
 
 SBVT_Test (note "A test identified in the Software Baseline Verification Tests") is a type of TEST.
 //verifies of SBVT_Test only has values of type {SRS_Req or SubDD_Req}.
@@ -39,6 +39,7 @@ confirms of SBVT_Result only has values of type SBVT_Test.
 //AM: see comment on line 55
 //AM: can RequirementSet "governs" more than just SYSTEM? (line 65): maybe we need a hierarchy for SYSTEM; maybe the restriction should be on REQUIREMENT
 //AM: should Requirement Sets be named collection?
+//AM reorder this file so PIDS etc. are moved lower; what is CSID related to?
 
      DevelopSystemConOps is a type of ACTIVITY.
        wasAssociatedWith of DevelopSystemConOps only has values of type AGENT.
@@ -57,46 +58,38 @@ confirms of SBVT_Result only has values of type SBVT_Test.
        isArchitectureOf describes SystemArchitecture with values of type SYSTEM.
        isArchitectureOf is a type of wasImpactedBy.
 
-      SystemRequirementsDefinition is a type of REQUIREMENT_DEVELOPMENT. 
-        wasInformedBy of SystemRequirementsDefinition only has values of type DevelopSystemConOps. 
-
-	 RequirementSet is a type of COLLECTION. //AM introduced this and made various "sets" be sub class of these and so can inherit properties
-	   content of RequirementSet only has values of type REQUIREMENT.
-       governs of RequirementSet only has values of type SYSTEM. 
+     SystemRequirementsDefinition is a type of REQUIREMENT_DEVELOPMENT. 
+       wasInformedBy of SystemRequirementsDefinition only has values of type DevelopSystemConOps. 
 
-      SystemRequirementSet is a type of RequirementSet. 
-       content of SystemRequirementSet only has values of type SystemRequirement.
-       wasGeneratedBy of SystemRequirementSet only has values of type SystemRequirementsDefinition. 
-
-      SystemRequirement is a type of REQUIREMENT. //AM   is this not just PIDS?
-        wasGeneratedBy of SystemRequirement only has values of type SystemRequirementsDefinition.
+      PIDS_Doc is a type of DOCUMENT. 
+       content of PIDS_Doc only has values of type PIDS_Req. //AM only?
+       wasGeneratedBy of PIDS_Doc only has values of type SystemRequirementsDefinition. 
 
       SoftwareHighLevelRequirementsDefinition is a type of REQUIREMENT_DEVELOPMENT. 
 		wasInformedBy of SoftwareHighLevelRequirementsDefinition only has values of type {SystemRequirementsDefinition or DevelopSystemArchitecture}.
-        Rq:governedBy of SoftwareHighLevelRequirementsDefinition only has values of type {SystemRequirementSet or SystemArchitecture}.
+        Rq:governedBy of SoftwareHighLevelRequirementsDefinition only has values of type {PIDS_Doc or SystemArchitecture}.
 
-      SoftwareHighLevelRequirement is a type of REQUIREMENT. //AM: is this not just SRS 
+      SoftwareHighLevelRequirement is a type of REQUIREMENT. 
         wasGeneratedBy of SoftwareHighLevelRequirement only has values of type SoftwareHighLevelRequirementsDefinition.
 
-      SoftwareHighLevelRequirementSet is a type of RequirementSet. 
-       content of SoftwareHighLevelRequirementSet only has values of type SoftwareHighLevelRequirement.
-       createdBy of SoftwareHighLevelRequirementSet only has values of type SoftwareHighLevelRequirementsDefinition.
-       governs of SoftwareHighLevelRequirementSet only has values of type SWCOMPONENT. 
+     SRS_Doc is a type of DOCUMENT. 
+       content of SRS_Doc only has values of type SRS_Req. //AM only?
+       createdBy of SRS_Doc only has values of type SoftwareHighLevelRequirementsDefinition.
 
-       SoftwareLowLevelRequirementSet is a type of RequirementSet. 
-       content of SoftwareLowLevelRequirementSet only has values of type SoftwareLowLevelRequirement.
-       createdBy of SoftwareLowLevelRequirementSet only has values of type SoftwareDesign. 
-       governs of SoftwareLowLevelRequirementSet only has values of type SWCOMPONENT.
-       governs describes SoftwareLowLevelRequirementSet with at most 1 value.
+     SubDD_Doc is a type of DOCUMENT. 
+       content of SubDD_Doc only has values of type SoftwareLowLevelRequirement. //AM only?
+       createdBy of SubDD_Doc only has values of type SoftwareDesign. 
+       governs of SubDD_Doc only has values of type SWCOMPONENT.
+       governs describes SubDD_Doc with at most 1 value.
 
-       SoftwareDesign is a type of REQUIREMENT_DEVELOPMENT.
+     SoftwareDesign is a type of REQUIREMENT_DEVELOPMENT.
 		wasInformedBy of SoftwareDesign only has values of type {SoftwareHighLevelRequirementsDefinition or DevelopSystemArchitecture}.
-        Rq:governedBy of SoftwareDesign only has values of type {SoftwareHighLevelRequirementSet or SystemArchitecture}.
+        Rq:governedBy of SoftwareDesign only has values of type {SRS_Doc or SystemArchitecture}.
 
-      SoftwareLowLevelRequirement is a type of REQUIREMENT. //AM: is this not SubDD
+     SoftwareLowLevelRequirement is a type of REQUIREMENT.
         wasGeneratedBy of SoftwareLowLevelRequirement only has values of type SoftwareDesign.
 
-      SoftwareCoding is a type of CODE_DEVELOPMENT. 
+     SoftwareCoding is a type of CODE_DEVELOPMENT. 
         wasInformedBy of SoftwareCoding only has values of type SoftwareDesign.        
 
       SoftwareIntegration is a type of COMPILE.

diff --git a/RACK-Ontology/ontology/ANALYSIS.sadl b/RACK-Ontology/ontology/ANALYSIS.sadl
@@ -22,6 +22,7 @@
 
 uri "http://arcos.rack/ANALYSIS" alias ^An.
 import "http://arcos.rack/PROV-S".
+//import "http://arcos.rack/PROCESS".
 
 ANALYSIS
 	(note "ACTIVITY of running some analysis, and as a result creating some ANALYSIS_OUTPUT")
@@ -38,6 +39,9 @@ ANALYSIS
 
     analysisConfiguration (note "Parameters/options etc. for the tool used.") describes ANALYSIS with values of type ENTITY.
     analysisConfiguration is a type of used.
+
+    goal (note "Objective of an ANALYSIS") describes ANALYSIS with values of type ENTITY.
+    goal is a type of used.
 
 ANALYSIS_OUTPUT
     (note "Output of an ANALYSIS")

diff --git a/RACK-Ontology/ontology/PROCESS.sadl b/RACK-Ontology/ontology/PROCESS.sadl
@@ -13,6 +13,13 @@
 uri "http://arcos.rack/PROCESS" alias Pr.
 import "http://arcos.rack/PROV-S".
 
+OBJECTIVE 
+	(note "An OBJECTIVE identifies tasks from a process for which evidence must be provided to show that the task has been completed. ") 
+	is a type of ENTITY.
+
+	satisfiedBy (note "An ACTIVITY that demonstrates that the OBJECTIVE has been satisfied.") describes OBJECTIVE with values of type THING.
+
+PROPERTY 
+	(note "A general property that holds on the basis of some ANALYSIS") 
+	is a type of OBJECTIVE. 
 
-OBJECTIVE (note "An OBJECTIVE identifies tasks from a process for which evidence must be provided to show that the task has been completed. ") is a type of ENTITY.
-	satisfiedBy (note "An ACTIVITY that demonstrates that the OBJECTIVE has been satisfied.")describes OBJECTIVE with values of type ACTIVITY.
diff --git a/SRI-Ontology/ontology/SRI.sadl b/SRI-Ontology/ontology/SRI.sadl
@@ -95,12 +95,12 @@ ToolQualificationData
 //AM introducing a subClass of ANALYSIS_OUTPUT and moving properties to the new subClass; rename the subClass
 xx is a type of ANALYSIS_OUTPUT.      
       analysisDiagnostics (note "counter examples, other diagnostics") describes xx with values of type string.  
-      goalProperty (note "SpecificProperty or GenericProperty that is the objective of analysis") describes xx with values of type GenericProperty.
+      goal of xx only has values of type GenericProperty. //AM 10/12
 
       // Note: base RACK ontology class ANALYSIS_ANNOTATION is not used since we capture the property independently and not as part of ANALYSIS_OUTPUT
 
 //AM changed range of GenericProperty from ENTITY to OBJECTIVE      
-      GenericProperty is a type of OBJECTIVE. //ENTITY.
+      GenericProperty is a type of PROPERTY. //ENTITY.
         propertyScope (note "entity(ies) over which this property must hold; e.g., a model, a requirement set, code, etc.") describes GenericProperty with values of type ENTITY.
         propertyScope is a type of wasImpactedBy.
         DesCert:mitigates (note "a hazard (if any) the property mitigates; GenericProperty typically doesn't mitigate any specific hazard") describes GenericProperty with values of type HAZARD.
@@ -202,7 +202,7 @@ ConfigurationString is a type of ENTITY.
 //        analyzedWith  describes SallyTransitionSystemModelGeneration with a single value of type TOOL.
 //        runBy describes SallyTransitionSystemModelGeneration with values of type AGENT.
 //AM changed "used" to analysisInput
-	    analysisInput of SallyTransitionSystemModelGeneration only has values of type SoftwareHighLevelRequirementSet.       
+	    analysisInput of SallyTransitionSystemModelGeneration only has values of type SRS_Doc.       
 
 
       SallyModelChecking is a type of ANALYSIS.  //AM 9/27/2021 should this be an ACTIVITY instead?
@@ -243,7 +243,7 @@ ConfigurationString is a type of ENTITY.
 //AM redid "used"
 //		used describes ClearTestAndOracleGeneration with values of type ENTITY.
 //        used of ClearTestAndOracleGeneration must be one of {SoftwareHighLevelRequirementSet, SoftwareLowLevelRequirementSet, DataDictionary}.
-		used of ClearTestAndOracleGeneration only has values of type {SoftwareHighLevelRequirementSet or SoftwareLowLevelRequirementSet or DataDictionary}.
+		used of ClearTestAndOracleGeneration only has values of type {SRS_Doc or SubDD_Doc or DataDictionary}.
 
        ClearTestingTheory is a type of ENTITY. 
           testingTheoryDoc describes ClearTestingTheory with values of type DOCUMENT. 
@@ -280,7 +280,7 @@ ConfigurationString is a type of ENTITY.
 //AM corrected propertyScope
 //	   propertyScope describes ClearGenericProperty with values of type ENTITY.
 //        propertyScope of ClearGenericProperty must be one of {SoftwareHighLevelRequirementSet, SoftwareLowLevelRequirementSet, DataDictionary}.
-	   propertyScope of ClearGenericProperty only has values of type {SoftwareHighLevelRequirementSet or SoftwareLowLevelRequirementSet or DataDictionary}. 
+	   propertyScope of ClearGenericProperty only has values of type {SRS_Doc or SubDD_Doc or DataDictionary}. 
 
        RequirementAnalysis is a type of ANALYSIS.
         // Inherited properties from ANALYSIS
@@ -292,7 +292,7 @@ ConfigurationString is a type of ENTITY.
 //AM replaced "used" with analysisInput and corrected constraint
 //        used describes RequirementAnalysis with values of type ENTITY.
 //        used of RequirementAnalysis must be one of {SoftwareHighLevelRequirementSet, SoftwareLowLevelRequirementSet, DataDictionary, ClearGenericProperty}.
- analysisInput of RequirementAnalysis must be one of {SoftwareHighLevelRequirementSet, SoftwareLowLevelRequirementSet, DataDictionary, ClearGenericProperty}.
+ analysisInput of RequirementAnalysis must be one of {SRS_Doc, SubDD_Doc, DataDictionary, ClearGenericProperty}.
 
        ////////////////////////////////
        // Test generation by Randoop tool