From d9b4f39bdbdc66d4cd2ae2993050066b4df28e94 Mon Sep 17 00:00:00 2001 From: AbhaMoitra Date: Tue, 12 Oct 2021 13:47:36 -0400 Subject: [PATCH] Updates based on discussion on 10/8/2021 --- Boeing-Ontology/ontology/Boeing.sadl | 55 ++++++++++++---------------- RACK-Ontology/ontology/ANALYSIS.sadl | 4 ++ RACK-Ontology/ontology/PROCESS.sadl | 11 +++++- SRI-Ontology/ontology/SRI.sadl | 12 +++--- 4 files changed, 43 insertions(+), 39 deletions(-) diff --git a/Boeing-Ontology/ontology/Boeing.sadl b/Boeing-Ontology/ontology/Boeing.sadl index 380a8768..aabf117a 100644 --- 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 index 538e51d8..2b738c8d 100644 --- 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 index f28833e0..9118c484 100644 --- 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 index d3680384..bd5c230e 100644 --- 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