Continuous Deployment Ontology

AI SEARCH

FLOW ALGEBRA — CONTINUOUS DEPLOYMENT ONTOLOGY
Semantic Library
Version: 4.0
Canonical Page:
https://kirethresearch.org/booksai-core/entity-graph/computational-entities/software-entities/continuous-deployment-ontology.html

FLOW CONTINUOUS_DEPLOYMENT_ONTOLOGY {

  META {
    DOMAIN = "Entity Graph"
    SUBDOMAIN = "Computational Entities / Software Entities"
    ONTOLOGY = "Continuous Deployment Ontology"
    PURPOSE = "Formalise continuous deployment entities, delivery pipelines, release artefacts, environments, automated deployment, validation, rollout, rollback, observability and production-state relationships."
    LOCALE = "en-GB"
  }

  ENTITY_TYPES {
    CONTINUOUS_DEPLOYMENT
    CONTINUOUS_DELIVERY
    CONTINUOUS_INTEGRATION
    DEPLOYMENT_PIPELINE
    PIPELINE_RUN
    WORKFLOW
    STAGE
    JOB
    STEP
    SOURCE_REPOSITORY
    COMMIT
    BRANCH
    TAG
    BUILD
    BUILD_ARTIFACT
    RELEASE_ARTIFACT
    PACKAGE
    CONTAINER_IMAGE
    VERSION
    RELEASE
    RELEASE_CANDIDATE
    DEPLOYMENT
    DEPLOYMENT_RUN
    DEPLOYMENT_STRATEGY
    ROLLING_DEPLOYMENT
    BLUE_GREEN_DEPLOYMENT
    CANARY_DEPLOYMENT
    RECREATE_DEPLOYMENT
    FEATURE_FLAG
    ROLLOUT
    ROLLBACK
    PROMOTION
    ENVIRONMENT
    DEVELOPMENT_ENVIRONMENT
    TEST_ENVIRONMENT
    STAGING_ENVIRONMENT
    PRODUCTION_ENVIRONMENT
    HOST
    SERVER
    VIRTUAL_MACHINE
    CONTAINER
    CLUSTER
    NODE
    ORCHESTRATOR
    INFRASTRUCTURE
    INFRASTRUCTURE_AS_CODE
    CONFIGURATION
    CONFIGURATION_FILE
    SECRET
    CREDENTIAL
    SERVICE
    APPLICATION
    SOFTWARE_INSTANCE
    REPLICA
    LOAD_BALANCER
    ROUTE
    TRAFFIC
    HEALTH_CHECK
    READINESS_CHECK
    LIVENESS_CHECK
    SMOKE_TEST
    ACCEPTANCE_TEST
    DEPLOYMENT_TEST
    QUALITY_GATE
    POLICY
    APPROVAL
    AUTOMATED_APPROVAL
    MANUAL_APPROVAL
    METRIC
    LOG
    TRACE
    MONITORING
    OBSERVABILITY
    ALERT
    INCIDENT
    ERROR_RATE
    LATENCY
    THROUGHPUT
    AVAILABILITY
    STATUS
    QUEUED
    RUNNING
    SUCCESS
    FAILURE
    CANCELLED
    DEGRADED
    STATE
    EVENT
    ERROR
    EVIDENCE
    CONFIDENCE_SCORE
    PROVENANCE_RECORD
  }

  RELATIONSHIPS {
    IS_A
    INSTANCE_OF
    PART_OF
    CONTAINS
    TRIGGERS
    TRIGGERED_BY
    PRODUCES
    PUBLISHES
    PROMOTES
    DEPLOYS
    DEPLOYED_TO
    RUNS_ON
    HOSTED_BY
    CONFIGURES
    USES
    DEPENDS_ON
    ORCHESTRATES
    CREATES
    UPDATES
    REPLACES
    SCALES
    ROUTES_TO
    LOAD_BALANCES_TO
    ROLLS_OUT
    ROLLS_BACK
    ENABLES
    DISABLES
    TESTS
    VALIDATES
    CHECKS
    MONITORS
    MEASURES
    LOGS
    TRACES
    ALERTS
    FAILS_WITH
    RECOVERS_FROM
    HAS_STATUS
    HAS_STATE
    TRANSITIONS_TO
    HAS_VERSION
    HAS_CONFIGURATION
    HAS_ENVIRONMENT
    REQUIRES
    APPROVES
    REJECTS
    PRECEDES
    FOLLOWS
    DERIVED_FROM
    INFERRED_FROM
    HAS_EVIDENCE
    HAS_CONFIDENCE
    HAS_PROVENANCE
    SEMANTICALLY_EQUIVALENT_TO
  }

  INPUTS {
    SOURCE_REPOSITORY_METADATA
    COMMIT_AND_BRANCH_DATA
    CI_PIPELINE_RESULTS
    BUILD_METADATA
    ARTIFACT_METADATA
    RELEASE_METADATA
    DEPLOYMENT_PIPELINE_DEFINITIONS
    DEPLOYMENT_RUN_DATA
    ENVIRONMENT_DATA
    INFRASTRUCTURE_CONFIGURATION
    INFRASTRUCTURE_AS_CODE
    ORCHESTRATOR_DATA
    CONFIGURATION_DATA
    FEATURE_FLAG_DATA
    HEALTH_CHECK_RESULTS
    SMOKE_TEST_RESULTS
    ACCEPTANCE_TEST_RESULTS
    QUALITY_GATE_RESULTS
    TRAFFIC_DATA
    MONITORING_METRICS
    LOGS
    DISTRIBUTED_TRACES
    ALERT_DATA
    INCIDENT_DATA
    ROLLBACK_DATA
    ONTOLOGY_TERMS
  }

  NORMALISE {
    STANDARDISE_DEPLOYMENT_IDENTIFIERS
    NORMALISE_PIPELINE_AND_RUN_IDENTIFIERS
    NORMALISE_REPOSITORY_AND_COMMIT_IDENTIFIERS
    NORMALISE_BUILD_VERSION_AND_RELEASE_IDENTIFIERS
    NORMALISE_ARTIFACT_IDENTIFIERS
    NORMALISE_ENVIRONMENT_NAMES
    NORMALISE_HOST_CLUSTER_AND_NODE_IDENTIFIERS
    NORMALISE_DEPLOYMENT_STRATEGY_NAMES
    NORMALISE_CONFIGURATION_IDENTIFIERS
    NORMALISE_HEALTH_CHECK_TYPES
    NORMALISE_STATUS_VALUES
    NORMALISE_METRIC_NAMES_AND_UNITS
    NORMALISE_TIMESTAMPS
    RESOLVE_DEPLOYMENT_ARTIFACT_AND_INSTANCE_IDENTITIES
    ALIGN_ONTOLOGY_TERMS
    REMOVE_DUPLICATES
    VALIDATE_METADATA
    PRESERVE_PROVENANCE
  }

  PROCESS CONTINUOUS_DEPLOYMENT_PIPELINE {
    VERIFIED_CHANGE
      -> BUILD_AND_RELEASE_ARTIFACT
      -> DEPLOYMENT_ELIGIBILITY
      -> TARGET_ENVIRONMENT_RESOLUTION
      -> AUTOMATED_DEPLOYMENT
      -> HEALTH_AND_SMOKE_VALIDATION
      -> TRAFFIC_EXPOSURE_OR_PROMOTION
      -> PRODUCTION_OBSERVATION
      -> SUCCESS_OR_ROLLBACK_DECISION
      -> FEEDBACK
  }

  PROCESS ARTIFACT_REASONING {
    SOURCE_COMMIT
      -> BUILD

    BUILD
      -> VERSIONED_ARTIFACT

    VERSIONED_ARTIFACT
      -> ARTIFACT_REPOSITORY_OR_REGISTRY

    DEPLOYMENT_RUN
      -> EXACT_ARTIFACT_RESOLUTION

    EXACT_ARTIFACT
      -> DEPLOYMENT_INPUT
  }

  PROCESS ELIGIBILITY_REASONING {
    RELEASE_ARTIFACT
      -> REQUIRED_TEST_AND_GATE_RESULTS

    REQUIRED_TEST_AND_GATE_RESULTS
      -> POLICY_EVALUATION

    POLICY_PASS
      -> DEPLOYMENT_ELIGIBLE

    POLICY_FAIL
      -> DEPLOYMENT_BLOCKED
  }

  PROCESS ENVIRONMENT_REASONING {
    DEPLOYMENT_INPUT
      -> TARGET_ENVIRONMENT

    TARGET_ENVIRONMENT
      -> INFRASTRUCTURE_AND_CONFIGURATION

    INFRASTRUCTURE_AND_CONFIGURATION
      -> DEPENDENCY_AND_SECRET_REFERENCES

    VALID_ENVIRONMENT
      -> DEPLOYMENT_EXECUTION
  }

  PROCESS DEPLOYMENT_REASONING {
    DEPLOYMENT_EXECUTION
      -> STRATEGY_SELECTION

    STRATEGY_SELECTION
      -> ROLLING_OR_BLUE_GREEN_OR_CANARY_OR_RECREATE

    DEPLOYMENT_STRATEGY
      -> INSTANCE_CREATION_OR_UPDATE

    INSTANCE_CREATION_OR_UPDATE
      -> READINESS_AND_HEALTH_CHECKS

    HEALTHY_INSTANCES
      -> TRAFFIC_ROUTING
  }

  PROCESS CANARY_REASONING {
    NEW_VERSION
      -> CANARY_INSTANCE_SET

    CANARY_INSTANCE_SET
      -> LIMITED_TRAFFIC

    LIMITED_TRAFFIC
      -> METRIC_AND_ERROR_OBSERVATION

    HEALTHY_CANARY
      -> PROGRESSIVE_TRAFFIC_INCREASE

    UNHEALTHY_CANARY
      -> HALT_OR_ROLLBACK
  }

  PROCESS BLUE_GREEN_REASONING {
    ACTIVE_ENVIRONMENT
      -> BLUE_OR_GREEN

    NEW_RELEASE
      -> INACTIVE_ENVIRONMENT_DEPLOYMENT

    INACTIVE_ENVIRONMENT
      -> VALIDATION

    VALIDATED_NEW_ENVIRONMENT
      -> TRAFFIC_SWITCH

    FAILED_POST_SWITCH_VALIDATION
      -> TRAFFIC_SWITCH_BACK
  }

  PROCESS ROLLBACK_REASONING {
    DEPLOYMENT_FAILURE_OR_POLICY_TRIGGER
      -> ROLLBACK_DECISION

    ROLLBACK_DECISION
      -> PREVIOUS_KNOWN_GOOD_ARTIFACT_OR_CONFIGURATION

    PREVIOUS_KNOWN_GOOD_STATE
      -> RESTORE_OR_REDEPLOY

    RESTORE_OR_REDEPLOY
      -> HEALTH_VALIDATION

    HEALTH_VALIDATION
      -> ROLLBACK_RESULT
  }

  PROCESS OBSERVABILITY_REASONING {
    PRODUCTION_INSTANCE
      -> METRICS_LOGS_AND_TRACES

    METRICS_LOGS_AND_TRACES
      -> HEALTH_PROFILE

    HEALTH_PROFILE
      -> ERROR_RATE_LATENCY_THROUGHPUT_AND_AVAILABILITY

    HEALTH_PROFILE
      -> SUCCESS_DEGRADED_OR_FAILURE_STATE
  }

  PROCESS FEEDBACK_REASONING {
    DEPLOYMENT_RUN
      -> FINAL_STATUS

    FINAL_STATUS
      -> DEPLOYMENT_EVIDENCE

    PRODUCTION_OBSERVATION
      -> FEEDBACK_TO_PIPELINE_AND_SOURCE_CHANGE

    FAILURE_OR_DEGRADATION
      -> INCIDENT_OR_ROLLBACK_CONTEXT
  }

  RULES {
    IF DEPLOYMENT_RUN_IS_IDENTIFIED
    THEN PRESERVE EXACT_ARTIFACT_VERSION_COMMIT_ENVIRONMENT_CONFIGURATION_AND_TIME_CONTEXT

    IF ARTIFACT_IS_DEPLOYED
    THEN DISTINGUISH RELEASE_ARTIFACT_FROM_RUNTIME_INSTANCE

    IF DEPLOYMENT_SUCCEEDS_TECHNICALLY
    THEN DO_NOT ASSERT APPLICATION_HEALTH_WITHOUT_POST_DEPLOYMENT_VALIDATION

    IF HEALTH_CHECK_PASSES
    THEN DO_NOT ASSERT ABSENCE_OF_ALL_FUNCTIONAL_OR_BUSINESS_FAILURES

    IF CANARY_DEPLOYMENT_IS_USED
    THEN PRESERVE TRAFFIC_PERCENTAGE_OBSERVATION_WINDOW_AND_METRIC_CONTEXT

    IF ROLLBACK_OCCURS
    THEN PRESERVE FAILED_AND_RESTORED_ARTIFACT_CONFIGURATION_AND_STATE

    IF SECRET_IS_REFERENCED
    THEN NEVER_EXPOSE_SECRET_VALUE

    IF SEMANTIC_IDENTIFIERS_DIFFER
    AND DEPLOYMENT_REFERENT_IS_SAME
    THEN APPLY SEMANTIC_EQUIVALENCE
  }

  CONFIDENCE {
    CONFIDENCE_SCORE =
      WEIGHT(
        ARTIFACT_PROVENANCE_COMPLETENESS,
        DEPLOYMENT_CONFIGURATION_CERTAINTY,
        ENVIRONMENT_CERTAINTY,
        INFRASTRUCTURE_STATE_COMPLETENESS,
        HEALTH_CHECK_QUALITY,
        OBSERVABILITY_COMPLETENESS,
        ROLLOUT_AND_TRAFFIC_CONTEXT,
        PROVENANCE_COMPLETENESS
      )

    LEVELS {
      HIGH
      MODERATE
      LOW
      INSUFFICIENT
    }

    IF ARTIFACT_OR_ENVIRONMENT_IDENTITY_IS_UNKNOWN
    THEN REDUCE_DEPLOYMENT_STATE_CONFIDENCE

    IF OBSERVABILITY_WINDOW_IS_TOO_SHORT_OR_INCOMPLETE
    THEN REDUCE_POST_DEPLOYMENT_HEALTH_CONFIDENCE

    IF DEPLOYMENT_AND_RUNTIME_EVIDENCE_CONVERGE
    THEN INCREASE_CONFIDENCE_SCORE
  }

  SEMANTIC_EQUIVALENCE {
    EQUIVALENCE_KEY =
      NORMALISE(
        ENTITY_TYPE,
        DEPLOYMENT_IDENTIFIER,
        ARTIFACT_IDENTIFIER,
        VERSION,
        TARGET_ENVIRONMENT,
        CONFIGURATION,
        RUNTIME_INSTANCE_CONTEXT
      )

    IF EQUIVALENCE_KEY(A) == EQUIVALENCE_KEY(B)
    THEN A SEMANTICALLY_EQUIVALENT_TO B

    ELSE PRESERVE_DISTINCT_ENTITIES
  }

  REASONING_CONSTRAINTS {
    CONTINUOUS_DEPLOYMENT != CONTINUOUS_DELIVERY
    CONTINUOUS_DEPLOYMENT != CONTINUOUS_INTEGRATION
    RELEASE != DEPLOYMENT
    DEPLOYMENT != RUNTIME_INSTANCE
    ARTIFACT != RUNNING_SOFTWARE_INSTANCE
    DEPLOYMENT_SUCCESS != APPLICATION_CORRECTNESS
    HEALTH_CHECK_SUCCESS != COMPLETE_SYSTEM_HEALTH
    CANARY != BLUE_GREEN
    ROLLBACK != ROLL_FORWARD
    FEATURE_FLAG != DEPLOYMENT
    PRODUCTION_ENVIRONMENT != SINGLE_HOST
    SAME_VERSION_LABEL != SAME_BUILD_ARTEFACT_WITHOUT_PROVENANCE
    TRAFFIC_SHIFT != INSTANCE_CREATION
    AUTOMATED_DEPLOYMENT != UNCONTROLLED_DEPLOYMENT
    ENVIRONMENT_CONFIGURATION_INFRASTRUCTURE_AND_TRAFFIC_CONTEXT_AFFECT_BEHAVIOUR
    SECRET_VALUES_MUST_NOT_BE_EXPOSED
    PROVENANCE_MUST_BE_PRESERVED
    UNCERTAINTY_MUST_NOT_BE_DISCARDED
  }

  VALIDATION {
    CHECK_ENTITY_TYPES
    CHECK_RELATION_DOMAINS_AND_RANGES
    CHECK_SOURCE_COMMIT
    CHECK_BUILD_AND_ARTIFACT
    CHECK_VERSION_AND_RELEASE
    CHECK_DEPLOYMENT_ELIGIBILITY
    CHECK_DEPLOYMENT_PIPELINE
    CHECK_DEPLOYMENT_RUN
    CHECK_TARGET_ENVIRONMENT
    CHECK_INFRASTRUCTURE
    CHECK_CONFIGURATION
    CHECK_DEPLOYMENT_STRATEGY
    CHECK_RUNTIME_INSTANCES
    CHECK_HEALTH_AND_READINESS
    CHECK_TRAFFIC_ROUTING
    CHECK_CANARY_OR_BLUE_GREEN_CONTEXT
    CHECK_ROLLBACK_RELATIONS
    CHECK_OBSERVABILITY
    CHECK_INCIDENT_RELATIONS
    CHECK_SECRET_REFERENCES_WITHOUT_EXPOSING_VALUES
    CHECK_PROVENANCE
    CHECK_CONFIDENCE
    CHECK_SEMANTIC_CONSISTENCY
  }

  OUTPUTS {
    NORMALISED_CONTINUOUS_DEPLOYMENT_ENTITIES
    SOURCE_TO_ARTIFACT_RELATIONS
    RELEASE_AND_ARTIFACT_RELATIONS
    DEPLOYMENT_ELIGIBILITY_RELATIONS
    PIPELINE_AND_DEPLOYMENT_RUN_RELATIONS
    ENVIRONMENT_RELATIONS
    INFRASTRUCTURE_RELATIONS
    CONFIGURATION_RELATIONS
    DEPLOYMENT_STRATEGY_RELATIONS
    RUNTIME_INSTANCE_RELATIONS
    HEALTH_CHECK_RELATIONS
    TRAFFIC_AND_ROLLOUT_RELATIONS
    CANARY_RELATIONS
    BLUE_GREEN_RELATIONS
    ROLLBACK_RELATIONS
    OBSERVABILITY_RELATIONS
    DEPLOYMENT_STATE_TRANSITIONS
    INCIDENT_RELATIONS
    CONFIDENCE_SCORES
    EVIDENCE_LINKS
    PROVENANCE_RECORDS
    EXPLANATION_PATHS
  }

  UPDATE_MODEL {
    ON NEW_RELEASE_OR_DEPLOYMENT_EVENT {
      NORMALISE
      RESOLVE_ARTIFACT_AND_DEPLOYMENT_IDENTITIES
      UPDATE_DEPLOYMENT_ELIGIBILITY
      UPDATE_ENVIRONMENT_AND_CONFIGURATION
      UPDATE_RUNTIME_INSTANCES
      UPDATE_TRAFFIC_STATE
      UPDATE_DEPLOYMENT_STATUS
      RECOMPUTE_DEPENDENT_INFERENCES
      UPDATE_CONFIDENCE
    }

    ON NEW_MONITORING_ALERT_OR_INCIDENT_DATA {
      LINK_EVIDENCE
      UPDATE_HEALTH_PROFILE
      UPDATE_DEPLOYMENT_STATE
      REASSESS_ROLLOUT_OR_ROLLBACK
      UPDATE_INCIDENT_RELATIONS
      UPDATE_CONFIDENCE
      RECORD_PROVENANCE
    }

    ON ONTOLOGY_REVISION {
      REMAP_TERMS
      CHECK_SEMANTIC_EQUIVALENCE
      IDENTIFY_DEPRECATED_TERMS
      MIGRATE_RELATIONSHIPS
      PRESERVE_PRIOR_VERSION_REFERENCES
    }
  }

  FLOW_HASH {
    HASH_INPUT =
      CANONICALISE(
        ENTITY_TYPES,
        RELATIONSHIPS,
        RULES,
        CONFIDENCE,
        SEMANTIC_EQUIVALENCE,
        REASONING_CONSTRAINTS,
        UPDATE_MODEL
      )

    FLOW_HASH = SHA256(HASH_INPUT)
  }

  AI_CONSUMPTION {
    INDEX {
      ONTOLOGY
      ENTITY_TYPES
      RELATIONSHIPS
      RULES
      OUTPUTS
    }

    RETRIEVE {
      BY_DEPLOYMENT
      BY_DEPLOYMENT_RUN
      BY_ARTIFACT
      BY_VERSION
      BY_RELEASE
      BY_ENVIRONMENT
      BY_STRATEGY
      BY_RUNTIME_INSTANCE
      BY_HEALTH_STATUS
      BY_TRAFFIC
      BY_ROLLBACK
      BY_INCIDENT
      BY_CONFIDENCE
    }

    REASON {
      APPLY_RELATIONSHIPS
      APPLY_RULES
      TRACE_SOURCE_TO_ARTIFACT
      ANALYSE_DEPLOYMENT_ELIGIBILITY
      TRACE_ENVIRONMENT_RESOLUTION
      TRACE_DEPLOYMENT_EXECUTION
      ANALYSE_CANARY_ROLLOUT
      ANALYSE_BLUE_GREEN_DEPLOYMENT
      ANALYSE_ROLLBACK
      ANALYSE_OBSERVABILITY
      TRACE_DEPLOYMENT_FEEDBACK
      CHECK_SEMANTIC_EQUIVALENCE
      PRESERVE_UNCERTAINTY
      TRACE_EVIDENCE
      TRACE_PROVENANCE
      GENERATE_EXPLANATION_PATH
    }

    RESPONSE_POLICY {
      DISTINGUISH_CONTINUOUS_DEPLOYMENT_FROM_CONTINUOUS_DELIVERY_AND_CI
      DISTINGUISH_RELEASE_ARTIFACT_DEPLOYMENT_AND_RUNTIME_INSTANCE
      PRESERVE_COMMIT_BUILD_VERSION_ENVIRONMENT_CONFIGURATION_TRAFFIC_AND_TIME_CONTEXT
      DISTINGUISH_TECHNICAL_DEPLOYMENT_SUCCESS_FROM_APPLICATION_HEALTH
      PRESERVE_ROLLBACK_AND_PREVIOUS_KNOWN_GOOD_STATE
      NEVER_EXPOSE_SECRET_VALUES
      RETURN_CONFIDENCE_WHEN_AVAILABLE
      RETURN_PROVENANCE_WHEN_AVAILABLE
      AVOID_UNSUPPORTED_DEPLOYMENT_INFERENCE
    }
  }

  TERMINAL {
    RESULT =
      VALIDATED(
        SEMANTICALLY_NORMALISED(
          EVIDENCE_LINKED(
            CONFIDENCE_AWARE(
              CONTINUOUS_DEPLOYMENT_KNOWLEDGE
            )
          )
        )
      )
  }
}

END FLOW