# Copyright (c) 2020, Galois, Inc. # # All Rights Reserved # # This material is based upon work supported by the Defense Advanced Research # Projects Agency (DARPA) under Contract No. FA8750-20-C-0203. # # Any opinions, findings and conclusions or recommendations expressed in this # material are those of the author(s) and do not necessarily reflect the views # of the Defense Advanced Research Projects Agency (DARPA). from migration_helpers.name_space import rack from ontology_changes import Commit, RenameProperty AGENTS = rack("AGENTS") PROV_S = rack("PROV-S") commit: Commit = { "number": "d69285ee059a6c2c2b3ec793aa4abe71bce79189", "changes": [ # AGENTS.sadl RenameProperty( from_name_space=AGENTS, from_name="name", to_name_space=PROV_S, to_name="agentName", ), # AddedProperty toolVersion? ], }
# Projects Agency (DARPA) under Contract No. FA8750-20-C-0203. # # Any opinions, findings and conclusions or recommendations expressed in this # material are those of the author(s) and do not necessarily reflect the views # of the Defense Advanced Research Projects Agency (DARPA). from migration_helpers.name_space import rack from ontology_changes import ( AtMost, ChangeCardinality, ChangePropertyIsATypeOf, Commit, RemoveIsATypeOf, ) HAZARD = rack("HAZARD") PROV_S = rack("PROV-S") commit = Commit( number="05a03cd687e3bdce425794763e0957d3ccaf8ff0", changes=[ # HAZARD.sadl ChangeCardinality( name_space=HAZARD, class_id="HAZARD", property_id="definition", to_cardinality=AtMost(1), ), RemoveIsATypeOf( name_space=HAZARD, class_id="HAZARD",
# Copyright (c) 2020, Galois, Inc. # # All Rights Reserved # # This material is based upon work supported by the Defense Advanced Research # Projects Agency (DARPA) under Contract No. FA8750-20-C-0203. # # Any opinions, findings and conclusions or recommendations expressed in this # material are those of the author(s) and do not necessarily reflect the views # of the Defense Advanced Research Projects Agency (DARPA). from migration_helpers.name_space import rack from ontology_changes import Commit, RenameProperty PROV_S = rack("PROV-S") REQUIREMENTS = rack("REQUIREMENTS") commit: Commit = { "number": "13ed266ba5730cebe75c0c48f6ba83af69429122", "changes": [ # REQUIREMENTS.sadl RenameProperty( from_name_space=REQUIREMENTS, from_name="text", to_name_space=PROV_S, to_name="description", ), RenameProperty( from_name_space=REQUIREMENTS, from_name="text",
# Copyright (c) 2021, Galois, Inc. # # All Rights Reserved # # This material is based upon work supported by the Defense Advanced Research # Projects Agency (DARPA) under Contract No. FA8750-20-C-0203. # # Any opinions, findings and conclusions or recommendations expressed in this # material are those of the author(s) and do not necessarily reflect the views # of the Defense Advanced Research Projects Agency (DARPA). from migration_helpers.name_space import rack from ontology_changes import AtMost, ChangeCardinality, Commit, RenameProperty PROV_S = rack("PROV-S") commit = Commit( number="833ef18f5024fee255f77887de2c8e9bc136e56d", changes=[ # PROV-S.sadl ChangeCardinality( name_space=PROV_S, class_id="THING", property_id="identifier", to_cardinality=AtMost(1), ), ChangeCardinality( name_space=PROV_S, class_id="THING", property_id="title", to_cardinality=AtMost(1),
# Copyright (c) 2021, Galois, Inc. # # All Rights Reserved # # This material is based upon work supported by the Defense Advanced Research # Projects Agency (DARPA) under Contract No. FA8750-20-C-0203. # # Any opinions, findings and conclusions or recommendations expressed in this # material are those of the author(s) and do not necessarily reflect the views # of the Defense Advanced Research Projects Agency (DARPA). from migration_helpers.name_space import rack from ontology_changes import ChangeCardinality, Commit, Unconstrained REQUIREMENTS = rack("REQUIREMENTS") commit = Commit( number="ff31a28051a5e348fd2474fce5360195999ddb3a", changes=[ ChangeCardinality( name_space=REQUIREMENTS, class_id="REQUIREMENT", property_id="givenText", to_cardinality=Unconstrained(), ), ChangeCardinality( name_space=REQUIREMENTS, class_id="REQUIREMENT", property_id="ifText", to_cardinality=Unconstrained(), ),
# Copyright (c) 2021, Galois, Inc. # # All Rights Reserved # # This material is based upon work supported by the Defense Advanced Research # Projects Agency (DARPA) under Contract No. FA8750-20-C-0203. # # Any opinions, findings and conclusions or recommendations expressed in this # material are those of the author(s) and do not necessarily reflect the views # of the Defense Advanced Research Projects Agency (DARPA). from migration_helpers.name_space import rack from ontology_changes import ChangeCardinality, Commit, Unconstrained REVIEW = rack("REVIEW") commit = Commit( number="b721c16f0f7420a8ccd92bda0d98a96c16dc62b8", changes=[ ChangeCardinality( name_space=REVIEW, class_id="REVIEW", property_id="author", to_cardinality=Unconstrained(), ), ], )
# Copyright (c) 2020, Galois, Inc. # # All Rights Reserved # # This material is based upon work supported by the Defense Advanced Research # Projects Agency (DARPA) under Contract No. FA8750-20-C-0203. # # Any opinions, findings and conclusions or recommendations expressed in this # material are those of the author(s) and do not necessarily reflect the views # of the Defense Advanced Research Projects Agency (DARPA). from migration_helpers.name_space import rack from ontology_changes import Commit, RenameProperty SYSTEM = rack("SYSTEM") commit: Commit = { "number": "49db2186193711fa5d2609af0c6c30f56ea6ebbd", "changes": [ # SYSTEM.sadl RenameProperty( from_name_space=SYSTEM, from_name="functionalityOverview", to_name_space=SYSTEM, to_name="function", ) ], }
# Copyright (c) 2021, Galois, Inc. # # All Rights Reserved # # This material is based upon work supported by the Defense Advanced Research # Projects Agency (DARPA) under Contract No. FA8750-20-C-0203. # # Any opinions, findings and conclusions or recommendations expressed in this # material are those of the author(s) and do not necessarily reflect the views # of the Defense Advanced Research Projects Agency (DARPA). from migration_helpers.name_space import rack from ontology_changes import Commit, ChangePropertyIsATypeOf, DeleteClass CONFIDENCE = rack("CONFIDENCE") PROV_S = rack("PROV-S") commit = Commit( number="fa603aad886439eb6a94e44e2c6f4851af16c9a3", changes=[ # CONFIDENCE.sadl ChangePropertyIsATypeOf( name_space=CONFIDENCE, class_id="CONFIDENCE_ASSESSMENT", property_id="assesses", from_name_space=PROV_S, from_property_id="wasDerivedFrom", to_name_space=PROV_S, to_property_id="wasImpactedBy", ), DeleteClass(
# Copyright (c) 2021, Galois, Inc. # # All Rights Reserved # # This material is based upon work supported by the Defense Advanced Research # Projects Agency (DARPA) under Contract No. FA8750-20-C-0203. # # Any opinions, findings and conclusions or recommendations expressed in this # material are those of the author(s) and do not necessarily reflect the views # of the Defense Advanced Research Projects Agency (DARPA). from migration_helpers.name_space import rack from ontology_changes import Commit, CreateClass, RenameProperty DOCUMENT = rack("DOCUMENT") PROV_S = rack("PROV-S") commit = Commit( number="10da69db606ebdc721fd3f8e003ef2099a5fdc43", changes=[ # DOCUMENT.sadl CreateClass( name_space=DOCUMENT, class_id="DOCUMENT", ), # DOCUMENT#DESCRIPTION RenameProperty( from_name_space=DOCUMENT, from_class="DESCRIPTION", from_name="dateOfIssue", to_name_space=DOCUMENT,
from migration_helpers.name_space import rack from ontology_changes import ( AddPropertyIsATypeOf, AtMost, ChangeCardinality, ChangePropertyIsATypeOf, ChangePropertyRange, Commit, CreateProperty, DeleteProperty, RenameClass, RenameProperty, RemoveIsATypeOf, ) PROV_S = rack("PROV-S") SOFTWARE = rack("SOFTWARE") SYSTEM = rack("SYSTEM") commit = Commit( number="bdfef3d7ea9b3c9fc085defa8e26256f646097d9", changes=[ # SOFTWARE.sadl ChangePropertyIsATypeOf( name_space=SOFTWARE, class_id="COMPILE", property_id="compiledBy", from_name_space=PROV_S, from_property_id="used", to_name_space=PROV_S, to_property_id="wasAssociatedWith",
# Copyright (c) 2020, Galois, Inc. # # All Rights Reserved # # This material is based upon work supported by the Defense Advanced Research # Projects Agency (DARPA) under Contract No. FA8750-20-C-0203. # # Any opinions, findings and conclusions or recommendations expressed in this # material are those of the author(s) and do not necessarily reflect the views # of the Defense Advanced Research Projects Agency (DARPA). from migration_helpers.name_space import rack from ontology_changes import ChangeIsATypeOf, Commit, RenameClass ANALYSIS = rack("ANALYSIS") commit: Commit = { "number": "90f2d4f55668786ffa01bba2a646c7468849c97d", "changes": [ # ANALYSIS.sadl RenameClass( from_name_space=ANALYSIS, from_name="ANALYSIS_REPORT", to_name_space=ANALYSIS, to_name="ANALYSIS_OUTPUT", ), ChangeIsATypeOf( class_id="ANALYSIS_OUTPUT", property_id="analyzes", from_property_id="wasDerivedFrom",
# All Rights Reserved # # This material is based upon work supported by the Defense Advanced Research # Projects Agency (DARPA) under Contract No. FA8750-20-C-0203. # # Any opinions, findings and conclusions or recommendations expressed in this # material are those of the author(s) and do not necessarily reflect the views # of the Defense Advanced Research Projects Agency (DARPA). from migration_helpers.name_space import rack from ontology_changes import ( ChangePropertyRange, Commit, ) PROV_S = rack("PROV-S") SYSTEM = rack("SYSTEM") commit: Commit = { "number": "404e3e78ff5f554d8edbc4238f64bd3797d8829f", "changes": [ # SYSTEM.sadl ChangePropertyRange( prop_name_space=SYSTEM, prop_name="producedBy", from_name_space=SYSTEM, from_range="SYSTEM_DEVELOPMENT", to_name_space=PROV_S, to_range="ACTIVITY", ),
# Copyright (c) 2020, Galois, Inc. # # All Rights Reserved # # This material is based upon work supported by the Defense Advanced Research # Projects Agency (DARPA) under Contract No. FA8750-20-C-0203. # # Any opinions, findings and conclusions or recommendations expressed in this # material are those of the author(s) and do not necessarily reflect the views # of the Defense Advanced Research Projects Agency (DARPA). from migration_helpers.name_space import rack from ontology_changes import ChangeIsATypeOf, ChangePropertyRange, Commit PROV_S = rack("PROV-S") TESTING = rack("TESTING") commit: Commit = { "number": "1c25a1b83e76eb9ca94b86402bcd335f79f80528", "changes": [ # TESTING.sadl ChangeIsATypeOf( class_id="TEST", property_id="verifies", from_property_id="wasDerivedFrom", to_property_id="wasImpactedBy", ), ChangePropertyRange( prop_name_space=TESTING, prop_name="confirms", from_name_space=PROV_S,
# # Any opinions, findings and conclusions or recommendations expressed in this # material are those of the author(s) and do not necessarily reflect the views # of the Defense Advanced Research Projects Agency (DARPA). from migration_helpers.name_space import rack from ontology_changes import ( AtMost, Commit, ChangeCardinality, ChangePropertyIsATypeOf, RenameClass, SingleValue, ) ANALYSIS = rack("ANALYSIS") PROV_S = rack("PROV-S") commit = Commit( number="90f2d4f55668786ffa01bba2a646c7468849c97d", changes=[ # ANALYSIS.sadl RenameClass( from_name_space=ANALYSIS, from_name="ANALYSIS_REPORT", to_name_space=ANALYSIS, to_name="ANALYSIS_OUTPUT", ), ChangeCardinality( name_space=ANALYSIS, class_id="ANALYSIS_OUTPUT",
# Copyright (c) 2021, Galois, Inc. # # All Rights Reserved # # This material is based upon work supported by the Defense Advanced Research # Projects Agency (DARPA) under Contract No. FA8750-20-C-0203. # # Any opinions, findings and conclusions or recommendations expressed in this # material are those of the author(s) and do not necessarily reflect the views # of the Defense Advanced Research Projects Agency (DARPA). from migration_helpers.name_space import rack from ontology_changes import AddClass, Commit, DeleteProperty MODEL = rack("MODEL") REQUIREMENTS = rack("REQUIREMENTS") commit = Commit( number="b25d07626e4693cd370a2070e17f6baa825a1d43", changes=[ # MODEL.sadl AddClass( name_space=MODEL, class_id="MODEL", ), # REQUIREMENTS.sadl DeleteProperty(name_space=REQUIREMENTS, property_id="givenText"), DeleteProperty(name_space=REQUIREMENTS, property_id="ifText"), DeleteProperty(name_space=REQUIREMENTS, property_id="thenText"), ], )
# Copyright (c) 2020, Galois, Inc. # # All Rights Reserved # # This material is based upon work supported by the Defense Advanced Research # Projects Agency (DARPA) under Contract No. FA8750-20-C-0203. # # Any opinions, findings and conclusions or recommendations expressed in this # material are those of the author(s) and do not necessarily reflect the views # of the Defense Advanced Research Projects Agency (DARPA). from migration_helpers.name_space import rack from ontology_changes import Commit, RenameClass SOFTWARE = rack("SOFTWARE") commit: Commit = { "number": "6d141fa6699de1aa48b8ccd55f6942f791872ff0", "changes": [ # SOFTWARE.sadl RenameClass( from_name_space=SOFTWARE, from_name="SOURCE_FUNCTION", to_name_space=SOFTWARE, to_name="SourceFunction", ), RenameClass( from_name_space=SOFTWARE, from_name="BINARY_FUNCTION", to_name_space=SOFTWARE, to_name="BinaryFunction",
# Any opinions, findings and conclusions or recommendations expressed in this # material are those of the author(s) and do not necessarily reflect the views # of the Defense Advanced Research Projects Agency (DARPA). from migration_helpers.name_space import rack from ontology_changes import ( AtMost, ChangeCardinality, ChangePropertyIsATypeOf, ChangePropertyRange, Commit, RenameProperty, SingleValue, ) FILE = rack("FILE") PROV_S = rack("PROV-S") SOFTWARE = rack("SOFTWARE") commit = Commit( number="643839e7d8036731ba1da767942c8e74c2876e2e", changes=[ # FILE.sadl ChangeCardinality( name_space=FILE, class_id="FILE", property_id="filename", to_cardinality=SingleValue(), ), RenameProperty( from_name_space=FILE,
# This material is based upon work supported by the Defense Advanced Research # Projects Agency (DARPA) under Contract No. FA8750-20-C-0203. # # Any opinions, findings and conclusions or recommendations expressed in this # material are those of the author(s) and do not necessarily reflect the views # of the Defense Advanced Research Projects Agency (DARPA). from migration_helpers.name_space import rack from ontology_changes import ( ChangeIsATypeOf, ChangePropertyRange, Commit, RenameProperty, ) PROV_S = rack("PROV-S") SYSTEM = rack("SYSTEM") commit: Commit = { "number": "7d88c0285a32107a18e439242b9ba326d6a02210", "changes": [ # SYSTEM.sadl ChangePropertyRange( prop_name_space=SYSTEM, prop_name="partOf", from_name_space=PROV_S, from_range="ENTITY", to_name_space=SYSTEM, to_range="SYSTEM", ),
# Copyright (c) 2021, Galois, Inc. # # All Rights Reserved # # This material is based upon work supported by the Defense Advanced Research # Projects Agency (DARPA) under Contract No. FA8750-20-C-0203. # # Any opinions, findings and conclusions or recommendations expressed in this # material are those of the author(s) and do not necessarily reflect the views # of the Defense Advanced Research Projects Agency (DARPA). from migration_helpers.name_space import rack from ontology_changes import ChangeClassIsATypeOf, Commit DOCUMENT = rack("DOCUMENT") PROV_S = rack("PROV-S") REVIEW = rack("REVIEW") commit = Commit( number="581f1820855eee2445d9e8bfdbb639e169e9391e", changes=[ # REVIEW.sadl ChangeClassIsATypeOf( name_space=REVIEW, class_id="REVIEW_LOG", from_name_space=DOCUMENT, from_class_id="REPORT", to_name_space=PROV_S, to_class_id="ENTITY", ), ],
# Copyright (c) 2021, Galois, Inc. # # All Rights Reserved # # This material is based upon work supported by the Defense Advanced Research # Projects Agency (DARPA) under Contract No. FA8750-20-C-0203. # # Any opinions, findings and conclusions or recommendations expressed in this # material are those of the author(s) and do not necessarily reflect the views # of the Defense Advanced Research Projects Agency (DARPA). from migration_helpers.name_space import rack from ontology_changes import AtMost, ChangeCardinality, Commit HAZARD = rack("HAZARD") SYSTEM = rack("SYSTEM") commit = Commit( number="09b79d6c0e7f72b533a3ad21e776b200a973698a", changes=[ # HAZARD.sadl ChangeCardinality( name_space=HAZARD, class_id="HAZARD", property_id="effect", to_cardinality=AtMost(1), ), ChangeCardinality( name_space=HAZARD, class_id="HAZARD",