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