Transformation Specification

Stable citation identifiers for the Transformation theory.

def SE.Transformation.Spec.TR_TYPE_OPERATOR_CODE : String

Stable citation identifier for the OperatorCode type.

Equations

• SE.Transformation.Spec.TR_TYPE_OPERATOR_CODE = "TR.TYPE.OPERATOR_CODE"

def SE.Transformation.Spec.TR_TYPE_TRANSFORMATION_FAMILY : String

Stable citation identifier for the TransformationFamily type.

Equations

• SE.Transformation.Spec.TR_TYPE_TRANSFORMATION_FAMILY = "TR.TYPE.TRANSFORMATION_FAMILY"

def SE.Transformation.Spec.TR_TYPE_TRANSFORMATION_KIND : String

Stable citation identifier for the TransformationKind type.

Equations

• SE.Transformation.Spec.TR_TYPE_TRANSFORMATION_KIND = "TR.TYPE.TRANSFORMATION_KIND"

def SE.Transformation.Spec.TR_TYPE_COMPOSITION_RELATION : String

Stable citation identifier for the CompositionRelation type.

Equations

• SE.Transformation.Spec.TR_TYPE_COMPOSITION_RELATION = "TR.TYPE.COMPOSITION_RELATION"

def SE.Transformation.Spec.TR_TYPE_ORTHOGONALITY_RELATION : String

Stable citation identifier for the OrthogonalityRelation type.

Equations

• SE.Transformation.Spec.TR_TYPE_ORTHOGONALITY_RELATION = "TR.TYPE.ORTHOGONALITY_RELATION"

def SE.Transformation.Spec.TR_TYPE_DIMENSION : String

Stable citation identifier for the Dimension type.

Equations

• SE.Transformation.Spec.TR_TYPE_DIMENSION = "TR.TYPE.DIMENSION"

def SE.Transformation.Spec.TR_TYPE_STATE_MODEL : String

Stable citation identifier for the StateModel structure.

Equations

• SE.Transformation.Spec.TR_TYPE_STATE_MODEL = "TR.TYPE.STATE_MODEL"

def SE.Transformation.Spec.TR_DEF_OPERATOR_CODE_LABEL : String

Stable citation identifier for operatorCodeLabel.

Equations

• SE.Transformation.Spec.TR_DEF_OPERATOR_CODE_LABEL = "TR.DEF.OPERATOR_CODE_LABEL"

def SE.Transformation.Spec.TR_DEF_OPERATOR_FAMILY : String

Stable citation identifier for operatorFamily.

Equations

• SE.Transformation.Spec.TR_DEF_OPERATOR_FAMILY = "TR.DEF.OPERATOR_FAMILY"

def SE.Transformation.Spec.TR_DEF_FAMILY_KIND : String

Stable citation identifier for familyKind.

Equations

• SE.Transformation.Spec.TR_DEF_FAMILY_KIND = "TR.DEF.FAMILY_KIND"

def SE.Transformation.Spec.TR_DEF_OPERATOR_KIND : String

Stable citation identifier for operatorKind.

Equations

• SE.Transformation.Spec.TR_DEF_OPERATOR_KIND = "TR.DEF.OPERATOR_KIND"

def SE.Transformation.Spec.TR_DEF_OPERATOR_IN_FAMILY : String

Stable citation identifier for OperatorInFamily.

Equations

• SE.Transformation.Spec.TR_DEF_OPERATOR_IN_FAMILY = "TR.DEF.OPERATOR_IN_FAMILY"

def SE.Transformation.Spec.TR_DEF_OPERATOR_IN_KIND : String

Stable citation identifier for OperatorInKind.

Equations

• SE.Transformation.Spec.TR_DEF_OPERATOR_IN_KIND = "TR.DEF.OPERATOR_IN_KIND"

def SE.Transformation.Spec.TR_DEF_OPERATORS_IN_FAMILY : String

Stable citation identifier for operatorsInFamily.

Equations

• SE.Transformation.Spec.TR_DEF_OPERATORS_IN_FAMILY = "TR.DEF.OPERATORS_IN_FAMILY"

def SE.Transformation.Spec.TR_DEF_OPERATORS_IN_KIND : String

Stable citation identifier for operatorsInKind.

Equations

• SE.Transformation.Spec.TR_DEF_OPERATORS_IN_KIND = "TR.DEF.OPERATORS_IN_KIND"

def SE.Transformation.Spec.TR_DEF_FAMILIES_IN_KIND : String

Stable citation identifier for familiesInKind.

Equations

• SE.Transformation.Spec.TR_DEF_FAMILIES_IN_KIND = "TR.DEF.FAMILIES_IN_KIND"

def SE.Transformation.Spec.TR_DEF_COMPOSITION_LOOKUP : String

Stable citation identifier for the partial composition lookup.

Equations

• SE.Transformation.Spec.TR_DEF_COMPOSITION_LOOKUP = "TR.DEF.COMPOSITION_LOOKUP"

def SE.Transformation.Spec.TR_DEF_ORTHOGONALITY_LOOKUP : String

Stable citation identifier for the partial symmetric orthogonality lookup.

Equations

• SE.Transformation.Spec.TR_DEF_ORTHOGONALITY_LOOKUP = "TR.DEF.ORTHOGONALITY_LOOKUP"

def SE.Transformation.Spec.TR_DEF_REFERENCE_DIMENSIONS : String

Stable citation identifier for referenceDimensions.

Equations

• SE.Transformation.Spec.TR_DEF_REFERENCE_DIMENSIONS = "TR.DEF.REFERENCE_DIMENSIONS"

def SE.Transformation.Spec.TR_DEF_FOOTPRINT : String

Stable citation identifier for footprint.

Equations

• SE.Transformation.Spec.TR_DEF_FOOTPRINT = "TR.DEF.FOOTPRINT"

def SE.Transformation.Spec.TR_DEF_REQUIREMENTS : String

Stable citation identifier for requirements.

Equations

• SE.Transformation.Spec.TR_DEF_REQUIREMENTS = "TR.DEF.REQUIREMENTS"

def SE.Transformation.Spec.TR_DEF_CHARACTERISTIC : String

Stable citation identifier for characteristic.

Equations

• SE.Transformation.Spec.TR_DEF_CHARACTERISTIC = "TR.DEF.CHARACTERISTIC"

def SE.Transformation.Spec.TR_DEF_AGREEMENT_SUFFICES : String

Stable citation identifier for StateModel.AgreementSuffices.

Equations

• SE.Transformation.Spec.TR_DEF_AGREEMENT_SUFFICES = "TR.DEF.AGREEMENT_SUFFICES"

def SE.Transformation.Spec.TR_DEF_AGREEMENT_REQUIRED : String

Stable citation identifier for StateModel.AgreementRequired.

Equations

• SE.Transformation.Spec.TR_DEF_AGREEMENT_REQUIRED = "TR.DEF.AGREEMENT_REQUIRED"

def SE.Transformation.Spec.TR_DEF_MAXIMAL_MODEL : String

Stable citation identifier for maximalModel.

Equations

• SE.Transformation.Spec.TR_DEF_MAXIMAL_MODEL = "TR.DEF.MAXIMAL_MODEL"

def SE.Transformation.Spec.TR_DEF_EFFECTS_DISJOINT : String

Stable citation identifier for EffectsDisjoint.

Equations

• SE.Transformation.Spec.TR_DEF_EFFECTS_DISJOINT = "TR.DEF.EFFECTS_DISJOINT"

def SE.Transformation.Spec.TR_DEF_EFFECTS_OVERLAP : String

Stable citation identifier for EffectsOverlap.

Equations

• SE.Transformation.Spec.TR_DEF_EFFECTS_OVERLAP = "TR.DEF.EFFECTS_OVERLAP"

def SE.Transformation.Spec.TR_DEF_RESTORES_ON : String

Stable citation identifier for RestoresOn.

Equations

• SE.Transformation.Spec.TR_DEF_RESTORES_ON = "TR.DEF.RESTORES_ON"

def SE.Transformation.Spec.TR_DEF_SEQUENCE_FOOTPRINT_UPPER_BOUND : String

Stable citation identifier for sequenceFootprintUpperBound.

Equations

• SE.Transformation.Spec.TR_DEF_SEQUENCE_FOOTPRINT_UPPER_BOUND = "TR.DEF.SEQUENCE_FOOTPRINT_UPPER_BOUND"

def SE.Transformation.Spec.TR_DEF_SEQUENCE_STEP : String

Stable citation identifier for StateModel.SequenceStep.

Equations

• SE.Transformation.Spec.TR_DEF_SEQUENCE_STEP = "TR.DEF.SEQUENCE_STEP"

def SE.Transformation.Spec.TR_THM_OPERATOR_IN_FAMILY_IFF : String

Stable citation identifier for operatorInFamily_iff.

Equations

• SE.Transformation.Spec.TR_THM_OPERATOR_IN_FAMILY_IFF = "TR.THM.OPERATOR_IN_FAMILY_IFF"

def SE.Transformation.Spec.TR_THM_OPERATOR_IN_KIND_IFF : String

Stable citation identifier for operatorInKind_iff.

Equations

• SE.Transformation.Spec.TR_THM_OPERATOR_IN_KIND_IFF = "TR.THM.OPERATOR_IN_KIND_IFF"

def SE.Transformation.Spec.TR_THM_OPERATOR_IN_KIND_OF_OPERATOR_IN_FAMILY : String

Stable citation identifier for operatorInKind_of_operatorInFamily.

Equations

• SE.Transformation.Spec.TR_THM_OPERATOR_IN_KIND_OF_OPERATOR_IN_FAMILY = "TR.THM.OPERATOR_IN_KIND_OF_OPERATOR_IN_FAMILY"

def SE.Transformation.Spec.TR_THM_REQUIREMENTS_NE_NIL : String

Stable citation identifier for requirements_ne_nil.

Equations

• SE.Transformation.Spec.TR_THM_REQUIREMENTS_NE_NIL = "TR.THM.REQUIREMENTS_NE_NIL"

def SE.Transformation.Spec.TR_THM_REQUIREMENTS_CLAUSE_NE_NIL : String

Stable citation identifier for requirements_clause_ne_nil.

Equations

• SE.Transformation.Spec.TR_THM_REQUIREMENTS_CLAUSE_NE_NIL = "TR.THM.REQUIREMENTS_CLAUSE_NE_NIL"

def SE.Transformation.Spec.TR_THM_REQUIREMENTS_SUBSET_FOOTPRINT : String

Stable citation identifier for requirements_subset_footprint.

Equations

• SE.Transformation.Spec.TR_THM_REQUIREMENTS_SUBSET_FOOTPRINT = "TR.THM.REQUIREMENTS_SUBSET_FOOTPRINT"

def SE.Transformation.Spec.TR_THM_CHARACTERISTIC_EQ_SOME_IFF : String

Stable citation identifier for characteristic_eq_some_iff.

Equations

• SE.Transformation.Spec.TR_THM_CHARACTERISTIC_EQ_SOME_IFF = "TR.THM.CHARACTERISTIC_EQ_SOME_IFF"

def SE.Transformation.Spec.TR_THM_STEP_PRESERVES : String

Stable citation identifier for StateModel.step_preserves.

Equations

• SE.Transformation.Spec.TR_THM_STEP_PRESERVES = "TR.THM.STEP_PRESERVES"

def SE.Transformation.Spec.TR_THM_STEP_BREAKS : String

Stable citation identifier for StateModel.step_breaks.

Equations

• SE.Transformation.Spec.TR_THM_STEP_BREAKS = "TR.THM.STEP_BREAKS"

def SE.Transformation.Spec.TR_THM_MAXIMAL_MODEL_STEP_EXISTS : String

Stable citation identifier for maximalModel_step_exists.

Equations

• SE.Transformation.Spec.TR_THM_MAXIMAL_MODEL_STEP_EXISTS = "TR.THM.MAXIMAL_MODEL_STEP_EXISTS"

def SE.Transformation.Spec.TR_THM_MAXIMAL_MODEL_BREAKS_IFF : String

Stable citation identifier for maximalModel_breaks_agreementOn_iff.

Equations

• SE.Transformation.Spec.TR_THM_MAXIMAL_MODEL_BREAKS_IFF = "TR.THM.MAXIMAL_MODEL_BREAKS_IFF"

def SE.Transformation.Spec.TR_THM_EFFECTS_DISJOINT_IFF : String

Stable citation identifier for effectsDisjoint_iff.

Equations

• SE.Transformation.Spec.TR_THM_EFFECTS_DISJOINT_IFF = "TR.THM.EFFECTS_DISJOINT_IFF"

def SE.Transformation.Spec.TR_THM_STEP_PRESERVES_OF_EFFECTS_DISJOINT : String

Stable citation identifier for StateModel.step_preserves_of_effectsDisjoint.

Equations

• SE.Transformation.Spec.TR_THM_STEP_PRESERVES_OF_EFFECTS_DISJOINT = "TR.THM.STEP_PRESERVES_OF_EFFECTS_DISJOINT"

def SE.Transformation.Spec.TR_THM_DECLARED_ORTHOGONAL_EFFECTS_DISJOINT : String

Stable citation identifier for declared_orthogonal_effects_disjoint.

Equations

• SE.Transformation.Spec.TR_THM_DECLARED_ORTHOGONAL_EFFECTS_DISJOINT = "TR.THM.DECLARED_ORTHOGONAL_EFFECTS_DISJOINT"

def SE.Transformation.Spec.TR_THM_DECLARED_OVERLAPPING_EFFECTS_OVERLAP : String

Stable citation identifier for declared_overlapping_effects_overlap.

Equations

• SE.Transformation.Spec.TR_THM_DECLARED_OVERLAPPING_EFFECTS_OVERLAP = "TR.THM.DECLARED_OVERLAPPING_EFFECTS_OVERLAP"

def SE.Transformation.Spec.TR_THM_RESTORATION_NEEDS_FOOTPRINT : String

Stable citation identifier for restoration_needs_footprint.

Equations

• SE.Transformation.Spec.TR_THM_RESTORATION_NEEDS_FOOTPRINT = "TR.THM.RESTORATION_NEEDS_FOOTPRINT"

def SE.Transformation.Spec.TR_THM_DECLARED_INVERSE_LIKE_FOOTPRINT_NECESSARY : String

Stable citation identifier for declared_inverseLike_footprint_necessary.

Equations

• SE.Transformation.Spec.TR_THM_DECLARED_INVERSE_LIKE_FOOTPRINT_NECESSARY = "TR.THM.DECLARED_INVERSE_LIKE_FOOTPRINT_NECESSARY"

def SE.Transformation.Spec.TR_THM_SEQUENCE_AGREE_OF_UNTOUCHED : String

Stable citation identifier for StateModel.SequenceStep.agree_of_untouched.

Equations

• SE.Transformation.Spec.TR_THM_SEQUENCE_AGREE_OF_UNTOUCHED = "TR.THM.SEQUENCE_AGREE_OF_UNTOUCHED"

def SE.Transformation.Spec.TR_THM_SEQUENCE_PRESERVES : String

Stable citation identifier for StateModel.SequenceStep.preserves.

Equations

• SE.Transformation.Spec.TR_THM_SEQUENCE_PRESERVES = "TR.THM.SEQUENCE_PRESERVES"

def SE.Transformation.Spec.TR_THM_SEQUENCE_AGREE_THROUGH_OF_UNTOUCHED : String

Stable citation identifier for StateModel.SequenceStep.agree_through_of_untouched.

Equations

• SE.Transformation.Spec.TR_THM_SEQUENCE_AGREE_THROUGH_OF_UNTOUCHED = "TR.THM.SEQUENCE_AGREE_THROUGH_OF_UNTOUCHED"

def SE.Transformation.Spec.TR_THM_SEQUENCE_FOOTPRINT_NOT_NET_CHANGE : String

Stable citation identifier for sequenceFootprintUpperBound_not_net_change.

Equations

• SE.Transformation.Spec.TR_THM_SEQUENCE_FOOTPRINT_NOT_NET_CHANGE = "TR.THM.SEQUENCE_FOOTPRINT_NOT_NET_CHANGE"

def SE.Transformation.Spec.TR_THM_DECLARED_INVERSE_LIKE_EFFECTS_OVERLAP : String

Stable citation identifier for declared_inverseLike_effectsOverlap.

Equations

• SE.Transformation.Spec.TR_THM_DECLARED_INVERSE_LIKE_EFFECTS_OVERLAP = "TR.THM.DECLARED_INVERSE_LIKE_EFFECTS_OVERLAP"

def SE.Transformation.Spec.TR_RULE_AUTHORIZE_THEN_ATTEST : String

Stable citation identifier for authorization followed by attestation.

Equations

• SE.Transformation.Spec.TR_RULE_AUTHORIZE_THEN_ATTEST = "TR.RULE.AUTHORIZE_THEN_ATTEST"

def SE.Transformation.Spec.TR_RULE_BIND_THEN_UNBIND : String

Stable citation identifier for binding followed by unbinding.

Equations

• SE.Transformation.Spec.TR_RULE_BIND_THEN_UNBIND = "TR.RULE.BIND_THEN_UNBIND"

def SE.Transformation.Spec.TR_RULE_SPLIT_THEN_MERGE : String

Stable citation identifier for splitting followed by merging.

Equations

• SE.Transformation.Spec.TR_RULE_SPLIT_THEN_MERGE = "TR.RULE.SPLIT_THEN_MERGE"

def SE.Transformation.Spec.TR_RULE_AUTHORIZE_AND_ATTEST : String

Stable citation identifier for authorization and attestation orthogonality.

Equations

• SE.Transformation.Spec.TR_RULE_AUTHORIZE_AND_ATTEST = "TR.RULE.AUTHORIZE_AND_ATTEST"

def SE.Transformation.Spec.TR_RULE_PROJECT_AND_COLLAPSE : String

Stable citation identifier for projection and collapse orthogonality.

Equations

• SE.Transformation.Spec.TR_RULE_PROJECT_AND_COLLAPSE = "TR.RULE.PROJECT_AND_COLLAPSE"

def SE.Transformation.Spec.TR_RULE_SPLIT_AND_MERGE : String

Stable citation identifier for split and merge orthogonality.

Equations

• SE.Transformation.Spec.TR_RULE_SPLIT_AND_MERGE = "TR.RULE.SPLIT_AND_MERGE"