Python Commit Examples

Example #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="a9210534a2ceb9ea5595df9eb5cd02df3abe3cb3",
    tag="v4.0",
    changes=[
        # no ontology change, just here for the tag
    ],
)

Example #2

# 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(),
        ),
    ],
)

Example #3

File: commit581f1820855eee2445d9e8bfdbb639e169e9391e.py Project: ge-high-assurance/RACK

# 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",
        ),
    ],
)

Example #4

File: commite18de6ebaa298881aab7e8e69580905ffb97e0c4.py Project: ge-high-assurance/RACK

# 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
    ],
)

Example #5

#
# 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"),
    ],
)

Example #6

File: commit833ef18f5024fee255f77887de2c8e9bc136e56d.py Project: ge-high-assurance/RACK

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",
        ),
    ],
)

Example #7

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.
    ],
)

Example #8

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(),
        ),
    ],
)

Example #9

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",
        ),
    ],
)

Example #10

File: commit13ed266ba5730cebe75c0c48f6ba83af69429122.py Project: ge-high-assurance/RACK

# 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",
        ),
    ],
)

Example #11

# 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
    ],
)

Example #12

File: commit09b79d6c0e7f72b533a3ad21e776b200a973698a.py Project: ge-high-assurance/RACK

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),
        ),

    ],
)

Example #13

File: commite5e8a35322fab104a42cc0f46d16c27ffc10adbb.py Project: ge-high-assurance/RACK

# 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
    ],
)

Example #14

File: commitc6692fed3e150e7df53d4a2a8f8c84f760087420.py Project: ge-high-assurance/RACK

# 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?
    ],
)

Example #15

File: commit10da69db606ebdc721fd3f8e003ef2099a5fdc43.py Project: ge-high-assurance/RACK

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",
        ),
    ],
)

Example #16

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",
        ),
    ],
)

Example #17

# 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",
        ),
    ],
)

Example #18

File: commit7202dbdb81274e521b0e2cdd3afedeb2a6204567.py Project: ge-high-assurance/RACK

# 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
    ],
)

Example #19

# 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(),
        ),
    ],
)

Example #20

File: commit389424cb974164f552b6b6bf8aab504d23bf079b.py Project: ge-high-assurance/RACK

# 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
    ],
)

Example #21

File: commitd48e208669c589d070c7c5fb7e3129ababbb9193.py Project: ge-high-assurance/RACK

# 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
    ],
)

Example #22

File: commitbdfef3d7ea9b3c9fc085defa8e26256f646097d9.py Project: ge-high-assurance/RACK

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",
        ),
    ],
)

Example #23

File: commit0a89f70ff929380269a79fe2fc82f5dde346ed8c.py Project: ge-high-assurance/RACK

# 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",
        )
    ],
)

Example #24

# 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.
    ],
)

Example #25

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",
        ),
    ],
)

Example #26

File: commit44393cc30bb0ba7482acd21b2e68576b577179f9.py Project: ge-high-assurance/RACK

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(),
        ),
    ],
)

Example #27

File: commit4f9fce78e36a6dc75f1702ab50da6a4ac801dd5e.py Project: ge-high-assurance/RACK

# 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
    ],
)

Example #28

# 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
    ],
)

Example #29

# 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
    ],
)

Example #30

File: commit76de25ee930683871febc1b4cc1e4386aca16d42.py Project: ge-high-assurance/RACK

# 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
    ],
)