From 7d88c0285a32107a18e439242b9ba326d6a02210 Mon Sep 17 00:00:00 2001 From: Eric Mertens Date: Tue, 22 Dec 2020 16:43:10 -0800 Subject: [PATCH] Incorporate ontology review for SYSTEM --- RACK-Ontology/OwlModels/SYSTEM.owl | 76 +++++++++++++++++++----------- RACK-Ontology/ontology/SYSTEM.sadl | 51 ++++++++++---------- 2 files changed, 74 insertions(+), 53 deletions(-) diff --git a/RACK-Ontology/OwlModels/SYSTEM.owl b/RACK-Ontology/OwlModels/SYSTEM.owl index 1af02f20..a158796a 100644 --- a/RACK-Ontology/OwlModels/SYSTEM.owl +++ b/RACK-Ontology/OwlModels/SYSTEM.owl @@ -40,11 +40,38 @@ + + + 1 + + + + + + + + 1 + + + + + SYSTEMs classify logical parts of the whole system being developed - INTERFACEs describe directed connections between an ENTITY (e.g. SYSTEM) providing what another ENTITY (e.g. SYSTEM) requires + + + 1 + + + + + + INTERFACEs describe directed connections between a SYSTEM providing what another SYSTEM requires @@ -52,69 +79,62 @@ - List of entities that this SYSTEM provides to others - + - Used to define a relationship to a higher level system - - - - - - functionality / capability of a SYSTEM - + - - - ENTITY (e.g. SYSTEM) that provides what the INTERFACE offers - + + SYSTEM that provides what the INTERFACE offers + - + ACTIVITY(s) participating in developing this SYSTEM - + - allows for decomposition of functionality - List of entities that this SYSTEM requires from others - + + Organization that is responsible for producing a system - ACTIVITY out of which this INTERFACE was identified - - - ENTITY (e.g. SYSTEM) that requires what the INTERFACE offers - + + SYSTEM that requires what the INTERFACE offers + - - describes environmental constraints on system operations + + functionality / capability of a SYSTEM - + + + + the thing conveyed by the interface + + diff --git a/RACK-Ontology/ontology/SYSTEM.sadl b/RACK-Ontology/ontology/SYSTEM.sadl index 30ccb32b..ce24733a 100644 --- a/RACK-Ontology/ontology/SYSTEM.sadl +++ b/RACK-Ontology/ontology/SYSTEM.sadl @@ -10,45 +10,50 @@ * of the Defense Advanced Research Projects Agency (DARPA). */ +/************** edit history ***************** + * + * dwa - 11 Nov 2020 - removed incorrect usages of relationships + * dwa - 11 Nov 2020 - added that developedBy is a type of wasAssociatedWith + * + *********************************************/ + uri "http://arcos.rack/SYSTEM" alias sys. import "http://arcos.rack/PROV-S". import "http://arcos.rack/DOCUMENT". -// Do we want to add MTBF, type (software, hybrid etc.,) to SYSTEM? They would be needed in an assurance case. - SYSTEM (note "SYSTEMs classify logical parts of the whole system being developed") is a type of ENTITY. - partOf (note "Used to define a relationship to a higher level system") describes SYSTEM with values of type ENTITY. - partOf is a type of wasDerivedFrom. + partOf (note "Used to define a relationship to a higher level system") describes SYSTEM with values of type SYSTEM. - producedBy (note "ACTIVITY(s) participating in developing this SYSTEM") describes SYSTEM with values of type ACTIVITY. + producedBy (note "ACTIVITY(s) participating in developing this SYSTEM") describes SYSTEM with values of type SYSTEM_DEVELOPMENT. + producedBy describes SYSTEM with at most 1 value. producedBy is a type of wasGeneratedBy. - provides (note "List of entities that this SYSTEM provides to others") describes SYSTEM with values of type ENTITY. - provides is a type of wasDerivedFrom. + provides (note "List of entities that this SYSTEM provides to others") describes SYSTEM with values of type FUNCTION. - requires (note "List of entities that this SYSTEM requires from others") describes SYSTEM with values of type ENTITY. - requires is a type of wasDerivedFrom. + requires (note "List of entities that this SYSTEM requires from others") describes SYSTEM with values of type FUNCTION. - function (note "functionality / capability of a SYSTEM") describes SYSTEM with values of type FUNCTION. - function is a type of wasDerivedFrom. + functionalityOverview (note "functionality / capability of a SYSTEM") describes SYSTEM with values of type string. + functionalityOverview describes SYSTEM with at most 1 value. INTERFACE - (note "INTERFACEs describe directed connections between an ENTITY (e.g. SYSTEM) providing what another ENTITY (e.g. SYSTEM) requires") + (note "INTERFACEs describe directed connections between a SYSTEM providing what another SYSTEM requires") is a type of ENTITY. - source (note "ENTITY (e.g. SYSTEM) that provides what the INTERFACE offers") describes INTERFACE with values of type ENTITY. - source is the inverse of provides. - source is a type of wasDerivedFrom. + commodity (note "the thing conveyed by the interface") describes INTERFACE with values of type string. + commodity describes INTERFACE with at most 1 value. - destination (note "ENTITY (e.g. SYSTEM) that requires what the INTERFACE offers") describes INTERFACE with values of type ENTITY. - destination is the inverse of requires. - destination is a type of wasDerivedFrom. + source (note "SYSTEM that provides what the INTERFACE offers") describes INTERFACE with values of type SYSTEM. + // source is the inverse of sink. + source is a type of wasImpactedBy. + + destination (note "SYSTEM that requires what the INTERFACE offers") describes INTERFACE with values of type SYSTEM. + // sink is the inverse of source. + destination is a type of wasImpactedBy. identifiedBy (note "ACTIVITY out of which this INTERFACE was identified") describes INTERFACE with values of type ACTIVITY. - identifiedBy is a type of wasGeneratedBy. SYSTEM_DEVELOPMENT @@ -56,21 +61,17 @@ SYSTEM_DEVELOPMENT is a type of ACTIVITY. developedBy (note "Organization that is responsible for producing a system") describes SYSTEM_DEVELOPMENT with values of type AGENT. + developedBy is a type of wasAssociatedWith. FUNCTION (note "defines functionality / capability") is a type of ENTITY. - // If we introduce "parent" property for THING, then we could drop parentFunction. - parentFunction (note "allows for decomposition of functionality") describes FUNCTION with a single value of type FUNCTION. - parentFunction is a type of wasDerivedFrom. + parentFunction (note "allows for decomposition of functionality") describes FUNCTION with a single value of type FUNCTION. -// Later we could add more structure to OP_ENV. OP_ENV (note "defines the operating environment assumptions and constraints") is a type of THING. // should this be an ENTITY? - - envConstraint (note "describes environmental constraints on system operations") describes OP_ENV with values of type string. OP_PROCEDURE (note "system operational procedures employed, e.g. going through a checklist, limiting people near runways, etc.")