# 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 ontology_changes import Commit
commit = Commit(
number="a9210534a2ceb9ea5595df9eb5cd02df3abe3cb3",
tag="v4.0",
changes=[
# no ontology change, just here for the tag
],
)
# 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(),
),
],
)
# 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 ontology_changes import Commit
commit = Commit(
number="e18de6ebaa298881aab7e8e69580905ffb97e0c4",
changes=[
# note change
],
)
#
# 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"),
],
)
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),
),
ChangeCardinality(
name_space=PROV_S,
class_id="THING",
property_id="description",
to_cardinality=AtMost(1),
),
ChangeCardinality(
name_space=PROV_S,
class_id="THING",
property_id="dataInsertedBy",
to_cardinality=AtMost(1),
),
ChangeCardinality(
name_space=PROV_S,
class_id="ENTITY",
property_id="wasGeneratedBy",
to_cardinality=AtMost(1),
),
ChangeCardinality(
name_space=PROV_S,
class_id="ENTITY",
property_id="generatedAtTime",
to_cardinality=AtMost(1),
),
ChangeCardinality(
name_space=PROV_S,
class_id="ENTITY",
property_id="invalidatedAtTime",
to_cardinality=AtMost(1),
),
ChangeCardinality(
name_space=PROV_S,
class_id="ACTIVITY",
property_id="startedAtTime",
to_cardinality=AtMost(1),
),
ChangeCardinality(
name_space=PROV_S,
class_id="ACTIVITY",
property_id="endedAtTime",
to_cardinality=AtMost(1),
),
RenameProperty(
from_name_space=PROV_S,
from_class="AGENT",
from_name="agentName",
to_name_space=PROV_S,
to_class="THING",
to_name="title",
),
],
)
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",
property_id="identified",
range_id="wasGeneratedBy",
),
# 'severity' range changed
# 'likelihood' range changed
ChangePropertyIsATypeOf(
name_space=HAZARD,
class_id="HAZARD",
property_id="source", # H:source?
from_name_space=PROV_S,
from_property_id="wasDerivedFrom",
to_name_space=PROV_S,
to_property_id="wasImpactedBy",
),
RemoveIsATypeOf(
name_space=HAZARD,
class_id="HAZARD",
property_id="identified",
range_id="wasGeneratedBy",
),
# Technically the range of 'severity' and 'likelihood' have changed, if
# we ever track that.
],
)
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",
property_id="result",
to_cardinality=AtMost(1),
),
ChangePropertyIsATypeOf(
name_space=ANALYSIS,
class_id="ANALYSIS_OUTPUT",
property_id="analyzes",
from_name_space=PROV_S,
from_property_id="wasDerivedFrom",
to_name_space=PROV_S,
to_property_id="wasImpactedBy",
),
ChangeCardinality(
name_space=ANALYSIS,
class_id="ANALYSIS_ANNOTATION",
property_id="fromReport",
to_cardinality=SingleValue(),
),
ChangeCardinality(
name_space=ANALYSIS,
class_id="ANALYSIS_ANNOTATION",
property_id="annotationType",
to_cardinality=SingleValue(),
),
],
)
commit = Commit(
number="9af9030fe191d564875c067f6e0319ca6b52b798",
changes=[
# AGENTS.sadl
ChangeCardinality(
name_space=AGENTS,
class_id="PERSON",
property_id="employedBy",
to_cardinality=AtMost(1),
),
RenameProperty(
from_name_space=AGENTS,
from_class="ORGANIZATION",
from_name="name",
to_name_space=PROV_S,
to_class="AGENT",
to_name="agentName",
),
RenameProperty(
from_name_space=AGENTS,
from_class="PERSON",
from_name="name",
to_name_space=PROV_S,
to_class="AGENT",
to_name="agentName",
),
DeleteClass(
name_space=AGENTS,
class_id="SOFTWAREAGENT",
),
CreateProperty(
name_space=AGENTS,
class_id="TOOL",
property_id="toolVersion",
),
# PROV-S.sadl
CreateProperty(
name_space=PROV_S,
class_id="AGENT",
property_id="agentName",
),
],
)
# 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_class="REQUIREMENT",
from_name="text",
to_name_space=PROV_S,
to_class="THING",
to_name="description",
),
RenameProperty(
from_name_space=REQUIREMENTS,
from_class="DATA_DICTIONARY",
from_name="text",
to_name_space=PROV_S,
to_class="THING",
to_name="description",
),
],
)
# 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 ontology_changes import Commit
commit = Commit(
number="44da44c6877c881240c418d084ecb17de9443373",
tag="v5.0",
changes=[
# no ontology change, just here for the tag
],
)
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",
property_id="severity",
to_cardinality=AtMost(1),
),
ChangeCardinality(
name_space=HAZARD,
class_id="HAZARD",
property_id="likelihood",
to_cardinality=AtMost(1),
),
# SYSTEM.sadl
ChangeCardinality(
name_space=SYSTEM,
class_id="FUNCTION",
property_id="parentFunction",
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 ontology_changes import Commit
commit = Commit(
number="e5e8a35322fab104a42cc0f46d16c27ffc10adbb",
tag="v4.1",
changes=[
# no ontology change, just here for the tag
],
)
# 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 ontology_changes import Commit
commit = Commit(
number="c6692fed3e150e7df53d4a2a8f8c84f760087420",
changes=[
# makes domain and range more explicit, don't think it changes?
],
)
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,
to_class="DOCUMENT",
to_name="dateOfIssue",
),
RenameProperty(
from_name_space=DOCUMENT,
from_class="DESCRIPTION",
from_name="status",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="status",
),
RenameProperty(
from_name_space=DOCUMENT,
from_class="DESCRIPTION",
from_name="issuingOrganization",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="issuingOrganization",
),
RenameProperty(
from_name_space=DOCUMENT,
from_class="DESCRIPTION",
from_name="references",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="references",
),
# DOCUMENT#PLAN
RenameProperty(
from_name_space=DOCUMENT,
from_class="PLAN",
from_name="dateOfIssue",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="dateOfIssue",
),
RenameProperty(
from_name_space=DOCUMENT,
from_class="PLAN",
from_name="status",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="status",
),
RenameProperty(
from_name_space=DOCUMENT,
from_class="PLAN",
from_name="issuingOrganization",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="issuingOrganization",
),
RenameProperty(
from_name_space=DOCUMENT,
from_class="PLAN",
from_name="approvalAuthority",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="approvalAuthority",
),
RenameProperty(
from_name_space=DOCUMENT,
from_class="PLAN",
from_name="references",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="references",
),
# DOCUMENT#PROCEDURE
RenameProperty(
from_name_space=DOCUMENT,
from_class="PROCEDURE",
from_name="dateOfIssue",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="dateOfIssue",
),
RenameProperty(
from_name_space=DOCUMENT,
from_class="PROCEDURE",
from_name="status",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="status",
),
RenameProperty(
from_name_space=DOCUMENT,
from_class="PROCEDURE",
from_name="issuingOrganization",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="issuingOrganization",
),
RenameProperty(
from_name_space=DOCUMENT,
from_class="PROCEDURE",
from_name="approvalAuthority",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="approvalAuthority",
),
# DOCUMENT#REPORT
RenameProperty(
from_name_space=DOCUMENT,
from_class="REPORT",
from_name="dateOfIssue",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="dateOfIssue",
),
RenameProperty(
from_name_space=DOCUMENT,
from_class="REPORT",
from_name="status",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="status",
),
RenameProperty(
from_name_space=DOCUMENT,
from_class="REPORT",
from_name="issuingOrganization",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="issuingOrganization",
),
# DOCUMENT#REQUEST
RenameProperty(
from_name_space=DOCUMENT,
from_class="REQUEST",
from_name="dateOfInitiation",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="dateOfIssue",
),
RenameProperty(
from_name_space=DOCUMENT,
from_class="REQUEST",
from_name="status",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="status",
),
RenameProperty(
from_name_space=DOCUMENT,
from_class="REQUEST",
from_name="originatorOfRequest",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="issuingOrganization",
),
# DOCUMENT#SPECIFICATION
RenameProperty(
from_name_space=DOCUMENT,
from_class="SPECIFICATION",
from_name="dateOfIssue",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="dateOfIssue",
),
RenameProperty(
from_name_space=DOCUMENT,
from_class="SPECIFICATION",
from_name="status",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="status",
),
RenameProperty(
from_name_space=DOCUMENT,
from_class="SPECIFICATION",
from_name="issuingOrganization",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="issuingOrganization",
),
RenameProperty(
from_name_space=DOCUMENT,
from_class="SPECIFICATION",
from_name="approvalAuthority",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="approvalAuthority",
),
RenameProperty(
from_name_space=DOCUMENT,
from_class="SPECIFICATION",
from_name="references",
to_name_space=DOCUMENT,
to_class="DOCUMENT",
to_name="references",
),
# DOCUMENT#SECTION
RenameProperty(
from_name_space=DOCUMENT,
from_class="SECTION",
from_name="title",
to_name_space=PROV_S,
to_class="THING",
to_name="title",
),
],
)
commit = Commit(
number="78eaae3db5ed184c90f4f14d34a4fc000f04bdac",
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",
),
RenameClass(
from_name_space=SOFTWARE,
from_name="SOURCE_GLOBAL_VARIABLE",
to_name_space=SOFTWARE,
to_name="SourceGlobalVariable",
),
RenameClass(
from_name_space=SOFTWARE,
from_name="BINARY_GLOBAL_VARIABLE",
to_name_space=SOFTWARE,
to_name="BinaryGlobalVariable",
),
RenameClass(
from_name_space=SOFTWARE,
from_name="BINARY_BASIC_BLOCK",
to_name_space=SOFTWARE,
to_name="BinaryBasicBlock",
),
RenameClass(
from_name_space=SOFTWARE,
from_name="CLASS_DEFINITION",
to_name_space=SOFTWARE,
to_name="ClassDefinition",
),
RenameClass(
from_name_space=SOFTWARE,
from_name="CLASS_METHOD",
to_name_space=SOFTWARE,
to_name="ClassMethod",
),
RenameClass(
from_name_space=SOFTWARE,
from_name="CLASS_MEMBER_VARIABLE",
to_name_space=SOFTWARE,
to_name="ClassMemberVariable",
),
RenameClass(
from_name_space=SOFTWARE,
from_name="CLASS_CONSTRUCTOR",
to_name_space=SOFTWARE,
to_name="ClassConstructor",
),
RenameClass(
from_name_space=SOFTWARE,
from_name="MODULE",
to_name_space=SOFTWARE,
to_name="Module",
),
RenameClass(
from_name_space=SOFTWARE,
from_name="NAMESPACE",
to_name_space=SOFTWARE,
to_name="Namespace",
),
],
)
# 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, CreateProperty
PROV_S = rack("PROV-S")
commit = Commit(
number="ae0a7660b0afdd53ff334577fbdea7749abe6cf6",
changes=[
# PROV-S.sadl
CreateProperty(
name_space=PROV_S,
class_id="ENTITY",
property_id="wasRevisionOf",
),
CreateProperty(
name_space=PROV_S,
class_id="ENTITY",
property_id="wasImpactedBy",
),
],
)
# 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 ontology_changes import Commit
commit = Commit(
number="7202dbdb81274e521b0e2cdd3afedeb2a6204567",
changes=[
# note change
],
)
# 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(),
),
ChangeCardinality(
name_space=REQUIREMENTS,
class_id="REQUIREMENT",
property_id="thenText",
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 ontology_changes import Commit
commit = Commit(
number="389424cb974164f552b6b6bf8aab504d23bf079b",
tag="v5.1",
changes=[
# no ontology change, just here for the tag
],
)
# 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 ontology_changes import Commit
commit = Commit(
number="d48e208669c589d070c7c5fb7e3129ababbb9193",
changes=[
# note change only
],
)
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",
),
ChangePropertyIsATypeOf(
name_space=SOFTWARE,
class_id="PACKAGE",
property_id="packagedBy",
from_name_space=PROV_S,
from_property_id="used",
to_name_space=PROV_S,
to_property_id="wasAssociatedWith",
),
ChangePropertyRange(
prop_name_space=SOFTWARE,
prop_name="mentions",
from_name_space=PROV_S,
from_range="ENTITY",
to_name_space=SOFTWARE,
to_range="COMPONENT",
),
ChangePropertyRange(
prop_name_space=SOFTWARE,
prop_name="subcomponentOf",
from_name_space=PROV_S,
from_range="ENTITY",
to_name_space=SOFTWARE,
to_range="COMPONENT",
),
RenameProperty(
from_name_space=SOFTWARE,
from_class="COMPONENT",
from_name="name",
to_name_space=PROV_S,
to_class="THING",
to_name="title",
),
# NOTE: renaming class last so that the previous changes can be in terms
# of 'COMPONENT' rather than 'SWCOMPONENT'
RenameClass(
from_name_space=SOFTWARE,
from_name="COMPONENT",
to_name_space=SOFTWARE,
to_name="SWCOMPONENT",
),
DeleteProperty(
name_space=SOFTWARE,
property_id="requirements",
),
DeleteProperty(
name_space=SOFTWARE,
property_id="annotations",
),
DeleteProperty(
name_space=SOFTWARE,
property_id="controlFlowsToUnconditionally",
),
DeleteProperty(
name_space=SOFTWARE,
property_id="controlFlowsToConditionally",
),
# SYSTEM.sadl
RemoveIsATypeOf(
name_space=SYSTEM,
class_id="SYSTEM",
property_id="partOf",
range_id="wasDerivedFrom",
),
ChangeCardinality(
name_space=SYSTEM,
class_id="SYSTEM",
property_id="producedBy",
to_cardinality=AtMost(1),
),
RemoveIsATypeOf(
name_space=SYSTEM,
class_id="SYSTEM",
property_id="provides",
range_id="wasDerivedFrom",
),
RemoveIsATypeOf(
name_space=SYSTEM,
class_id="SYSTEM",
property_id="requires",
range_id="wasDerivedFrom",
),
ChangePropertyIsATypeOf(
name_space=SYSTEM,
class_id="SYSTEM",
property_id="function",
from_name_space=PROV_S,
from_property_id="wasDerivedFrom",
to_name_space=PROV_S,
to_property_id="wasImpactedBy",
),
CreateProperty(
name_space=SYSTEM,
class_id="INTERFACE",
property_id="commodity",
),
ChangePropertyIsATypeOf(
name_space=SYSTEM,
class_id="INTERFACE",
property_id="source",
from_name_space=PROV_S,
from_property_id="wasDerivedFrom",
to_name_space=PROV_S,
to_property_id="wasImpactedBy",
),
ChangePropertyRange(
prop_name_space=SYSTEM,
prop_name="destination",
from_name_space=PROV_S,
from_range="ENTITY",
to_name_space=SYSTEM,
to_range="SYSTEM",
),
ChangePropertyIsATypeOf(
name_space=SYSTEM,
class_id="INTERFACE",
property_id="destination",
from_name_space=PROV_S,
from_property_id="wasDerivedFrom",
to_name_space=PROV_S,
to_property_id="wasImpactedBy",
),
RemoveIsATypeOf(
name_space=SYSTEM,
class_id="INTERFACE",
property_id="identifiedBy",
range_id="wasGeneratedBy",
),
AddPropertyIsATypeOf(
name_space=SYSTEM,
class_id="SYSTEM_DEVELOPMENT",
property_id="developedBy",
range_name_space=PROV_S,
range="wasAssociatedWith",
),
RemoveIsATypeOf(
name_space=SYSTEM,
class_id="FUNCTION",
property_id="parentFunction",
range_id="wasDerivedFrom",
),
DeleteProperty(
name_space=SYSTEM,
property_id="envConstraint",
),
],
)
# 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, FreeformNotes
commit = Commit(
number="0a89f70ff929380269a79fe2fc82f5dde346ed8c",
changes=[
FreeformNotes(
text=
"SACM-S.sadl was removed from the RACK-Ontology and moved to LM-Ontology",
)
],
)
# 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(
name_space=CONFIDENCE,
class_id="Probability",
),
# Technically the ranges of belief, disbelief, uncertainty have changed.
],
)
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,
from_class="FILE",
from_name="fileParent",
to_name_space=FILE,
to_class="FILE",
to_name="definedIn",
),
ChangePropertyIsATypeOf(
name_space=FILE,
class_id="FILE",
property_id="satisfies",
from_name_space=PROV_S,
from_property_id="wasDerivedFrom",
to_name_space=PROV_S,
to_property_id="wasImpactedBy",
),
ChangeCardinality(
name_space=FILE,
class_id="FILE",
property_id="createBy",
to_cardinality=AtMost(1),
),
# FILE.sadl / SOFTWARE.sadl
RenameProperty(
from_name_space=SOFTWARE,
from_class="FILE",
from_name="definedIn",
to_name_space=FILE,
to_class="FILE",
to_name="definedIn",
),
ChangePropertyRange(
prop_name_space=FILE,
prop_name="definedIn",
from_name_space=PROV_S,
from_range="ENTITY",
to_name_space=FILE,
to_range="FILE",
),
],
)
commit = Commit(
number="44393cc30bb0ba7482acd21b2e68576b577179f9",
changes=[
# REVIEW.sadl
ChangeClassIsATypeOf(
name_space=REVIEW,
class_id="REVIEW_LOG",
from_name_space=PROV_S,
from_class_id="ENTITY",
to_name_space=DOCUMENT,
to_class_id="REPORT",
),
ChangePropertyIsATypeOf(
name_space=REVIEW,
class_id="REVIEW_LOG",
property_id="reviews",
from_name_space=PROV_S,
from_property_id="wasDerivedFrom",
to_name_space=PROV_S,
to_property_id="wasImpactedBy",
),
ChangeCardinality(
name_space=REVIEW,
class_id="REVIEW",
property_id="author",
to_cardinality=SingleValue(),
),
],
)
# 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 ontology_changes import Commit
commit = Commit(
number="4f9fce78e36a6dc75f1702ab50da6a4ac801dd5e",
changes=[
# note change only
],
)
# 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 ontology_changes import Commit
commit = Commit(
number="a95a46dec5162e65979d96ba140559dfb3013d23",
tag="v4.8",
changes=[
# no ontology change, just here for the tag
],
)
# 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
raise Exception(f"This is a template, implement me and remove this exception!")
# You can use the following command to see the relevant changes:
# <COMMAND>
# pylint: disable=unreachable
commit = Commit(
number="<COMMIT_ID>",
changes=[
# <FILE>.sadl
],
)
# 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 ontology_changes import Commit
commit = Commit(
number="76de25ee930683871febc1b4cc1e4386aca16d42",
tag="v6.0",
changes=[
# no ontology change, just here for the tag
],
)
