Software Development Lifecycle Ontology

AI SEARCH

FLOW ALGEBRA — SOFTWARE DEVELOPMENT LIFECYCLE ONTOLOGY
Semantic Library
Version: 4.0
Canonical Page:
https://kirethresearch.org/booksai-core/entity-graph/computational-entities/software-entities/software-development-lifecycle-ontology.html

FLOW SOFTWARE_DEVELOPMENT_LIFECYCLE_ONTOLOGY {

  META {
    DOMAIN = "Entity Graph"
    SUBDOMAIN = "Computational Entities / Software Entities"
    ONTOLOGY = "Software Development Lifecycle Ontology"
    PURPOSE = "Formalise software development lifecycle phases, activities, artefacts, roles, transitions, quality gates, feedback loops, releases, deployment, operation and maintenance relationships."
    LOCALE = "en-GB"
  }

  ENTITY_TYPES {
    SOFTWARE_DEVELOPMENT_LIFECYCLE
    SDLC
    SOFTWARE_PROJECT
    SOFTWARE_PRODUCT
    SOFTWARE_SYSTEM
    LIFECYCLE_MODEL
    WATERFALL_MODEL
    ITERATIVE_MODEL
    INCREMENTAL_MODEL
    SPIRAL_MODEL
    AGILE_MODEL
    DEVOPS_MODEL
    LIFECYCLE_PHASE
    PLANNING_PHASE
    REQUIREMENTS_PHASE
    ANALYSIS_PHASE
    DESIGN_PHASE
    IMPLEMENTATION_PHASE
    BUILD_PHASE
    TESTING_PHASE
    RELEASE_PHASE
    DEPLOYMENT_PHASE
    OPERATION_PHASE
    MAINTENANCE_PHASE
    RETIREMENT_PHASE
    ACTIVITY
    TASK
    MILESTONE
    GATE
    QUALITY_GATE
    REVIEW
    APPROVAL
    ITERATION
    SPRINT
    INCREMENT
    RELEASE
    VERSION
    BUILD
    DEPLOYMENT
    SOFTWARE_INSTANCE
    REQUIREMENT
    USER_STORY
    ACCEPTANCE_CRITERION
    SPECIFICATION
    ARCHITECTURE
    DESIGN
    SOURCE_CODE
    COMMIT
    BRANCH
    REPOSITORY
    BUILD_ARTIFACT
    TEST
    TEST_CASE
    TEST_SUITE
    TEST_RESULT
    DEFECT
    BUG
    ISSUE
    CHANGE_REQUEST
    PATCH
    CONFIGURATION
    ENVIRONMENT
    DEVELOPMENT_ENVIRONMENT
    TEST_ENVIRONMENT
    STAGING_ENVIRONMENT
    PRODUCTION_ENVIRONMENT
    PIPELINE
    CONTINUOUS_INTEGRATION
    CONTINUOUS_DELIVERY
    CONTINUOUS_DEPLOYMENT
    MONITORING
    LOG
    METRIC
    INCIDENT
    PROBLEM
    RISK
    TECHNICAL_DEBT
    DOCUMENTATION
    STAKEHOLDER
    ROLE
    DEVELOPER
    TESTER
    ARCHITECT
    PRODUCT_OWNER
    PROJECT_MANAGER
    OPERATOR
    STATE
    EVENT
    EVIDENCE
    CONFIDENCE_SCORE
    PROVENANCE_RECORD
  }

  RELATIONSHIPS {
    IS_A
    INSTANCE_OF
    PART_OF
    CONTAINS
    HAS_PHASE
    HAS_ACTIVITY
    HAS_TASK
    HAS_MILESTONE
    HAS_GATE
    PRECEDES
    FOLLOWS
    TRANSITIONS_TO
    ITERATES_TO
    FEEDS_BACK_TO
    PRODUCES
    CONSUMES
    REQUIRES
    SATISFIES
    SPECIFIES
    DESIGNS
    IMPLEMENTS
    BUILDS
    TESTS
    VERIFIES
    VALIDATES
    REVIEWS
    APPROVES
    RELEASES
    DEPLOYS
    OPERATES
    MONITORS
    MAINTAINS
    RETIRES
    FIXES
    PATCHES
    CHANGES
    TRACKS
    ASSIGNED_TO
    PERFORMED_BY
    DEPENDS_ON
    HAS_VERSION
    HAS_CONFIGURATION
    HAS_ENVIRONMENT
    HAS_STATE
    HAS_RISK
    HAS_TECHNICAL_DEBT
    DERIVED_FROM
    INFERRED_FROM
    HAS_EVIDENCE
    HAS_CONFIDENCE
    HAS_PROVENANCE
    MAPS_TO
    SEMANTICALLY_EQUIVALENT_TO
  }

  INPUTS {
    PROJECT_PLANS
    REQUIREMENTS
    USER_STORIES
    SPECIFICATIONS
    ARCHITECTURE_DOCUMENTS
    DESIGN_DOCUMENTS
    SOURCE_REPOSITORIES
    COMMIT_HISTORY
    BUILD_METADATA
    TEST_DEFINITIONS
    TEST_RESULTS
    ISSUE_TRACKER_DATA
    CHANGE_REQUESTS
    RELEASE_METADATA
    DEPLOYMENT_DATA
    PIPELINE_DATA
    ENVIRONMENT_DATA
    MONITORING_DATA
    INCIDENT_DATA
    MAINTENANCE_RECORDS
    RISK_REGISTERS
    TECHNICAL_DEBT_DATA
    DOCUMENTATION
    ROLE_AND_OWNERSHIP_DATA
    PROVENANCE_DATA
    ONTOLOGY_TERMS
  }

  NORMALISE {
    STANDARDISE_PROJECT_IDENTIFIERS
    NORMALISE_LIFECYCLE_MODEL_NAMES
    NORMALISE_PHASE_NAMES
    NORMALISE_ACTIVITY_AND_TASK_IDENTIFIERS
    NORMALISE_MILESTONE_AND_GATE_IDENTIFIERS
    NORMALISE_REQUIREMENT_IDENTIFIERS
    NORMALISE_BUILD_VERSION_AND_RELEASE_IDENTIFIERS
    NORMALISE_TEST_IDENTIFIERS
    NORMALISE_DEFECT_AND_ISSUE_IDENTIFIERS
    NORMALISE_ENVIRONMENT_NAMES
    NORMALISE_DEPLOYMENT_IDENTIFIERS
    NORMALISE_ROLE_NAMES
    NORMALISE_RISK_TERMS
    NORMALISE_TIMESTAMPS
    RESOLVE_LIFECYCLE_ENTITY_IDENTITIES
    ALIGN_ONTOLOGY_TERMS
    REMOVE_DUPLICATES
    VALIDATE_METADATA
    PRESERVE_PROVENANCE
  }

  PROCESS SDLC_REASONING_PIPELINE {
    PROJECT_INITIATION
      -> PLANNING
      -> REQUIREMENTS
      -> ANALYSIS_AND_DESIGN
      -> IMPLEMENTATION
      -> BUILD
      -> TESTING
      -> RELEASE
      -> DEPLOYMENT
      -> OPERATION
      -> MAINTENANCE
      -> RETIREMENT
  }

  PROCESS PLANNING_REASONING {
    PROJECT_GOAL
      -> SCOPE

    SCOPE
      -> CONSTRAINTS_AND_ASSUMPTIONS

    CONSTRAINTS_AND_ASSUMPTIONS
      -> PLAN

    PLAN
      -> MILESTONES_TASKS_ROLES_AND_RISKS
  }

  PROCESS REQUIREMENTS_REASONING {
    STAKEHOLDER_NEED
      -> REQUIREMENT

    REQUIREMENT
      -> ACCEPTANCE_CRITERIA

    REQUIREMENT_SET
      -> ANALYSIS_AND_VALIDATION

    VALIDATED_REQUIREMENTS
      -> DESIGN_INPUT
  }

  PROCESS DESIGN_REASONING {
    REQUIREMENTS + CONSTRAINTS
      -> ARCHITECTURE

    ARCHITECTURE
      -> SOFTWARE_DESIGN

    SOFTWARE_DESIGN
      -> COMPONENTS_INTERFACES_DATA_AND_BEHAVIOUR

    DESIGN_ARTEFACTS
      -> IMPLEMENTATION_INPUT
  }

  PROCESS IMPLEMENTATION_REASONING {
    DESIGN_AND_REQUIREMENTS
      -> SOURCE_CODE_CHANGE

    SOURCE_CODE_CHANGE
      -> COMMIT

    COMMIT
      -> CODE_REVIEW

    APPROVED_CHANGE
      -> INTEGRATION
  }

  PROCESS BUILD_REASONING {
    SOURCE_REVISION + BUILD_CONFIGURATION
      -> BUILD_PIPELINE

    BUILD_PIPELINE
      -> COMPILE_PACKAGE_AND_ASSEMBLE

    SUCCESSFUL_BUILD
      -> BUILD_ARTIFACT

    FAILED_BUILD
      -> BUILD_FAILURE_EVIDENCE
  }

  PROCESS TESTING_REASONING {
    BUILD_OR_COMPONENT
      -> TEST_EXECUTION

    TEST_CASE
      -> EXPECTED_RESULT

    TEST_EXECUTION
      -> OBSERVED_RESULT

    EXPECTED_RESULT + OBSERVED_RESULT
      -> PASS_OR_FAIL

    FAIL
      -> DEFECT_OR_ISSUE
  }

  PROCESS RELEASE_REASONING {
    VERIFIED_BUILD
      -> RELEASE_CANDIDATE

    RELEASE_CANDIDATE
      -> QUALITY_GATE

    QUALITY_GATE
      -> APPROVE_OR_REJECT

    APPROVED_RELEASE
      -> VERSIONED_RELEASE
  }

  PROCESS DEPLOYMENT_REASONING {
    RELEASE
      -> DEPLOYMENT_PLAN

    DEPLOYMENT_PLAN
      -> TARGET_ENVIRONMENT

    DEPLOYMENT_EXECUTION
      -> SOFTWARE_INSTANCE

    SOFTWARE_INSTANCE
      -> DEPLOYMENT_VALIDATION
  }

  PROCESS OPERATION_REASONING {
    PRODUCTION_INSTANCE
      -> MONITORING

    MONITORING
      -> METRICS_LOGS_AND_EVENTS

    EVENTS
      -> INCIDENT_DETECTION

    INCIDENT
      -> RESPONSE_AND_DIAGNOSIS
  }

  PROCESS MAINTENANCE_REASONING {
    DEFECT_OR_CHANGE_REQUEST_OR_TECHNICAL_DEBT
      -> IMPACT_ANALYSIS

    IMPACT_ANALYSIS
      -> PLANNED_CHANGE

    PLANNED_CHANGE
      -> IMPLEMENTATION_AND_TEST

    VERIFIED_CHANGE
      -> PATCH_OR_RELEASE
  }

  PROCESS FEEDBACK_REASONING {
    TEST_FAILURE_OR_RUNTIME_INCIDENT_OR_STAKEHOLDER_FEEDBACK
      -> FEEDBACK_ITEM

    FEEDBACK_ITEM
      -> REQUIREMENT_DESIGN_IMPLEMENTATION_OR_OPERATION_IMPACT

    IMPACT
      -> EARLIER_OR_CURRENT_LIFECYCLE_PHASE

    UPDATED_ARTEFACT
      -> NEW_ITERATION_OR_CHANGE_CYCLE
  }

  RULES {
    IF LIFECYCLE_PHASE_IS_ASSERTED
    THEN PRESERVE PROJECT_MODEL_VERSION_AND_TIME_CONTEXT

    IF ARTEFACT_IS_PRODUCED
    THEN LINK PRODUCING_ACTIVITY_PHASE_ROLE_AND_PROVENANCE

    IF TEST_PASSES
    THEN DO_NOT ASSERT ABSENCE_OF_ALL_DEFECTS

    IF BUILD_SUCCEEDS
    THEN DO_NOT ASSERT RELEASE_OR_DEPLOYMENT_APPROVAL

    IF RELEASE_IS_APPROVED
    THEN DO_NOT ASSERT DEPLOYMENT_HAS_OCCURRED

    IF SOFTWARE_IS_DEPLOYED
    THEN DISTINGUISH RELEASE_ARTIFACT_FROM_RUNTIME_INSTANCE

    IF FEEDBACK_CHANGES_EARLIER_ARTEFACT
    THEN PRESERVE ITERATION_AND_VERSION_HISTORY

    IF SEMANTIC_IDENTIFIERS_DIFFER
    AND SDLC_REFERENT_IS_SAME
    THEN APPLY SEMANTIC_EQUIVALENCE
  }

  CONFIDENCE {
    CONFIDENCE_SCORE =
      WEIGHT(
        PROJECT_IDENTITY_CERTAINTY,
        PHASE_AND_ACTIVITY_TRACEABILITY,
        ARTEFACT_PROVENANCE_COMPLETENESS,
        BUILD_AND_TEST_EVIDENCE_QUALITY,
        RELEASE_AND_DEPLOYMENT_CONTEXT,
        RUNTIME_OBSERVABILITY,
        ROLE_AND_OWNERSHIP_COMPLETENESS,
        PROVENANCE_COMPLETENESS
      )

    LEVELS {
      HIGH
      MODERATE
      LOW
      INSUFFICIENT
    }

    IF LIFECYCLE_MODEL_OR_PHASE_MAPPING_IS_AMBIGUOUS
    THEN REDUCE_PHASE_CLASSIFICATION_CONFIDENCE

    IF VERSION_OR_ENVIRONMENT_IS_UNKNOWN
    THEN REDUCE_RELEASE_DEPLOYMENT_AND_RUNTIME_CONFIDENCE

    IF END_TO_END_TRACEABILITY_CONFIRMS_ARTEFACT_TRANSITIONS
    THEN INCREASE_CONFIDENCE_SCORE
  }

  SEMANTIC_EQUIVALENCE {
    EQUIVALENCE_KEY =
      NORMALISE(
        ENTITY_TYPE,
        PROJECT_IDENTIFIER,
        ARTEFACT_OR_ACTIVITY_IDENTIFIER,
        VERSION,
        ITERATION,
        ENVIRONMENT,
        TIME_CONTEXT
      )

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

    ELSE PRESERVE_DISTINCT_ENTITIES
  }

  REASONING_CONSTRAINTS {
    SDLC_PHASE != STRICTLY_LINEAR_STAGE_IN_ALL_MODELS
    PLANNING != REQUIREMENTS
    REQUIREMENT != DESIGN
    DESIGN != IMPLEMENTATION
    SOURCE_CODE != BUILD
    BUILD != RELEASE
    RELEASE != DEPLOYMENT
    DEPLOYMENT != OPERATION
    TEST_CASE != TEST_RESULT
    TEST_PASS != PROOF_OF_CORRECTNESS
    BUILD_SUCCESS != RELEASE_APPROVAL
    RELEASE_APPROVAL != DEPLOYMENT
    DEPLOYED_ARTEFACT != RUNTIME_INSTANCE
    INCIDENT != DEFECT_IN_ALL_CASES
    MAINTENANCE != BUG_FIXING_ONLY
    AGILE_ITERATION != COMPLETE_SDLC_REPLACEMENT
    LIFECYCLE_MODELS_MAY_OVERLAP_AND_ITERATE
    VERSION_ENVIRONMENT_AND_TIME_CONTEXT_ARE_REQUIRED
    PROVENANCE_MUST_BE_PRESERVED
    UNCERTAINTY_MUST_NOT_BE_DISCARDED
  }

  VALIDATION {
    CHECK_ENTITY_TYPES
    CHECK_RELATION_DOMAINS_AND_RANGES
    CHECK_PROJECT_IDENTIFIER
    CHECK_LIFECYCLE_MODEL
    CHECK_PHASES
    CHECK_ACTIVITIES_AND_TASKS
    CHECK_MILESTONES_AND_GATES
    CHECK_REQUIREMENTS
    CHECK_DESIGN_ARTEFACTS
    CHECK_SOURCE_AND_COMMITS
    CHECK_BUILDS
    CHECK_TESTS
    CHECK_RELEASES
    CHECK_DEPLOYMENTS
    CHECK_ENVIRONMENTS
    CHECK_RUNTIME_AND_MONITORING
    CHECK_INCIDENTS
    CHECK_MAINTENANCE
    CHECK_FEEDBACK_LOOPS
    CHECK_ROLES_AND_OWNERSHIP
    CHECK_RISKS_AND_TECHNICAL_DEBT
    CHECK_VERSION_AND_TIME_CONTEXT
    CHECK_PROVENANCE
    CHECK_CONFIDENCE
    CHECK_SEMANTIC_CONSISTENCY
  }

  OUTPUTS {
    NORMALISED_SDLC_ENTITIES
    LIFECYCLE_MODEL_RELATIONS
    PHASE_RELATIONS
    ACTIVITY_AND_TASK_RELATIONS
    MILESTONE_AND_GATE_RELATIONS
    REQUIREMENT_RELATIONS
    DESIGN_RELATIONS
    IMPLEMENTATION_RELATIONS
    BUILD_RELATIONS
    TEST_RELATIONS
    RELEASE_RELATIONS
    DEPLOYMENT_RELATIONS
    OPERATION_AND_MONITORING_RELATIONS
    INCIDENT_RELATIONS
    MAINTENANCE_RELATIONS
    FEEDBACK_AND_ITERATION_RELATIONS
    ROLE_AND_OWNERSHIP_RELATIONS
    RISK_AND_TECHNICAL_DEBT_RELATIONS
    END_TO_END_TRACEABILITY_CHAINS
    CONFIDENCE_SCORES
    EVIDENCE_LINKS
    PROVENANCE_RECORDS
    EXPLANATION_PATHS
  }

  UPDATE_MODEL {
    ON LIFECYCLE_EVENT {
      NORMALISE
      RESOLVE_PROJECT_AND_ARTEFACT_IDENTITIES
      UPDATE_PHASE_AND_ACTIVITY_STATE
      UPDATE_ARTEFACT_RELATIONS
      UPDATE_ROLE_AND_OWNERSHIP
      UPDATE_TRACEABILITY
      RECOMPUTE_DEPENDENT_INFERENCES
      UPDATE_CONFIDENCE
    }

    ON NEW_BUILD_TEST_RELEASE_DEPLOYMENT_OR_RUNTIME_DATA {
      LINK_EVIDENCE
      UPDATE_BUILD_AND_TEST_STATE
      UPDATE_RELEASE_AND_DEPLOYMENT_STATE
      UPDATE_RUNTIME_AND_INCIDENT_RELATIONS
      UPDATE_FEEDBACK_LOOPS
      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_PROJECT
      BY_LIFECYCLE_MODEL
      BY_PHASE
      BY_ACTIVITY
      BY_ARTEFACT
      BY_REQUIREMENT
      BY_BUILD
      BY_TEST
      BY_RELEASE
      BY_DEPLOYMENT
      BY_ENVIRONMENT
      BY_INCIDENT
      BY_MAINTENANCE
      BY_ROLE
      BY_ITERATION
      BY_CONFIDENCE
    }

    REASON {
      APPLY_RELATIONSHIPS
      APPLY_RULES
      TRACE_SDLC_PHASES
      TRACE_ARTEFACT_PRODUCTION
      TRACE_REQUIREMENTS_TO_DESIGN
      TRACE_IMPLEMENTATION_AND_BUILDS
      ANALYSE_TESTING
      TRACE_RELEASE_AND_DEPLOYMENT
      ANALYSE_OPERATION_AND_INCIDENTS
      ANALYSE_MAINTENANCE
      TRACE_FEEDBACK_LOOPS
      BUILD_END_TO_END_TRACEABILITY
      CHECK_SEMANTIC_EQUIVALENCE
      PRESERVE_UNCERTAINTY
      TRACE_EVIDENCE
      TRACE_PROVENANCE
      GENERATE_EXPLANATION_PATH
    }

    RESPONSE_POLICY {
      DISTINGUISH_LIFECYCLE_PHASES_ARTEFACTS_AND_RUNTIME_INSTANCES
      PRESERVE_PROJECT_MODEL_VERSION_ITERATION_ENVIRONMENT_AND_TIME_CONTEXT
      DISTINGUISH_BUILD_SUCCESS_RELEASE_APPROVAL_AND_DEPLOYMENT
      PRESERVE_ITERATIVE_AND_FEEDBACK_RELATIONS
      RETURN_CONFIDENCE_WHEN_AVAILABLE
      RETURN_PROVENANCE_WHEN_AVAILABLE
      AVOID_UNSUPPORTED_SDLC_INFERENCE
    }
  }

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

END FLOW