Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
| dido:02-crusible:99-annexes:annex-c-requirements:02-operational-requirements:or-001:or-001a [2026/07/21 10:20] – ToDo unchecked: Define **Developer** or reference an authoritative definition. Clarify whether Developer identifies a person, user category, organizational function, Operational Role, or another kind of actor. nick_dido | dido:02-crusible:99-annexes:annex-c-requirements:02-operational-requirements:or-001:or-001a [2026/07/30 05:30] (current) – [Delivery Phase] nick_dido | ||
|---|---|---|---|
| Line 5: | Line 5: | ||
| ===== Statement ===== | ===== Statement ===== | ||
| - | [[dido: | + | [[dido: |
| ===== Derived From ===== | ===== Derived From ===== | ||
| Line 23: | Line 23: | ||
| >> // | >> // | ||
| - | OR-001a preserves the intent that Developers participate in Crucible operation by requiring Crucible to execute | + | OR-001a preserves the intent that Developers participate in Crucible operation by requiring Crucible to perform |
| The separate requirements derived from OR-001 address: | The separate requirements derived from OR-001 address: | ||
| Line 32: | Line 32: | ||
| * [[dido: | * [[dido: | ||
| * [[dido: | * [[dido: | ||
| - | |||
| - | ===== Assessment ===== | ||
| - | |||
| - | The Original Requirement identifies Developers as a user category that participates in Crucible operation but does not identify: | ||
| - | |||
| - | * The meaning of Developer | ||
| - | * The characteristics that distinguish a Developer from the other listed user categories | ||
| - | * The Crucible operations allocated to a Developer | ||
| - | * The Operational Scenarios in which a Developer participates | ||
| - | * The initiating input associated with each allocated operation | ||
| - | * The interfaces through which a Developer provides the initiating input | ||
| - | * The inputs required for each operation | ||
| - | * The outputs produced for each operation | ||
| - | * The completion conditions for each operation | ||
| - | * The failure and exception conditions for each operation | ||
| - | * The [[dido: | ||
| - | |||
| - | The phrase **support operation by Developers** does not identify an observable Crucible behavior. | ||
| - | |||
| - | OR-001a: | ||
| - | |||
| - | * Identifies [[dido: | ||
| - | * Separates Developer participation from participation by the other listed user categories | ||
| - | * Requires the applicable Operational Scenario to allocate the Crucible operation to a Developer | ||
| - | * Requires the applicable Operational Scenario to identify the initiating input | ||
| - | * Requires Crucible to execute the allocated operation upon receipt of the specified initiating input | ||
| - | |||
| - | OR-001a does not establish: | ||
| - | |||
| - | * A definition of Developer | ||
| - | * That every Crucible operation applies to a Developer | ||
| - | * That every Developer participates in the same Crucible operations | ||
| - | * That every Operational Scenario allocates the same operations to a Developer | ||
| - | * A role-assignment mechanism | ||
| - | * A role-based authorization model | ||
| - | * A particular access-control model | ||
| - | * A particular interface | ||
| - | * A particular form of initiating input | ||
| - | * Permissions not established by another controlling requirement | ||
| ===== Rationale ===== | ===== Rationale ===== | ||
| - | Separating Developer operations from operations associated with the other listed user categories provides an independently testable and traceable requirement. | + | Developers require access to the Crucible operations |
| - | + | ||
| - | The applicable Operational Scenario provides the context required to determine: | + | |
| - | + | ||
| - | * Which Crucible operations | + | |
| - | * Which initiating input applies to each operation | + | |
| - | * Which interfaces receive the initiating input | + | |
| - | * Which additional inputs apply | + | |
| - | * Which outputs Crucible produces | + | |
| - | * Which completion conditions apply | + | |
| - | * Which failure and exception conditions apply | + | |
| - | * Which [[dido: | + | |
| - | + | ||
| - | The [[dido: | + | |
| - | + | ||
| - | The Concept of Operations does not identify: | + | |
| - | * Which of these operations apply to a Developer | + | This requirement ensures that Crucible |
| - | * Whether additional | + | |
| - | * How a Developer participates in each operation | + | |
| - | * Which initiating input applies | + | |
| - | The applicable Operational Scenario must identify these allocations | + | Separating Developer operations from operations allocated to other user categories supports independent verification, |
| - | This requirement | + | Without this requirement, |
| ===== Applies To ===== | ===== Applies To ===== | ||
| Line 106: | Line 49: | ||
| * [[dido: | * [[dido: | ||
| * Developers | * Developers | ||
| - | * Applicable Operational Scenarios | + | * Developer Role |
| - | * Crucible operations allocated to Developers | + | * Crucible operations allocated to the Developer |
| - | * Initiating inputs specified for Developer | + | * [[dido: |
| - | * Interfaces that receive Developer inputs | + | |
| * Operation status | * Operation status | ||
| * Operation results | * Operation results | ||
| Line 118: | Line 60: | ||
| * [[dido: | * [[dido: | ||
| * [[dido: | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| + | * [[dido: | ||
| ===== Verification ===== | ===== Verification ===== | ||
| Line 123: | Line 68: | ||
| Verification confirms that: | Verification confirms that: | ||
| - | | + | |
| - | | + | |
| - | | + | |
| - | # Crucible receives the initiating input specified for the allocated operation | + | |
| - | # Crucible executes the operation allocated to the Developer | + | |
| - | | + | - The verification record preserves |
| - | | + | |
| - | # The verification record preserves Traceability among the applicable Operational Scenario, the Developer, the initiating input, and the executed operation | + | |
| - | + | ||
| - | Verification includes: | + | |
| - | + | ||
| - | * Inspection of the applicable Operational Scenario | + | |
| - | * Inspection of the operation allocation | + | |
| - | * Inspection of the specified initiating input | + | |
| - | * Submission of the specified initiating input | + | |
| - | * Observation of Crucible execution | + | |
| - | * Inspection of operation status | + | |
| - | * Inspection of operation results | + | |
| - | * Failure-condition testing | + | |
| - | * Exception-condition testing | + | |
| - | * Artifact inspection | + | |
| - | * Evidence inspection | + | |
| - | * Provenance inspection | + | |
| - | * Traceability inspection | + | |
| - | + | ||
| - | The verification record identifies: | + | |
| - | + | ||
| - | # The applicable Operational Scenario | + | |
| - | # The Developer | + | |
| - | # The allocated Crucible operation | + | |
| - | # The specified initiating input | + | |
| - | # The interface that received the initiating input | + | |
| - | # The executed Crucible operation | + | |
| - | # The operation start condition | + | |
| - | # The operation completion condition | + | |
| - | # Each generated status or result | + | |
| - | # Each observed failure or exception | + | |
| - | # Each generated | + | |
| - | # The generated | + | |
| - | | + | |
| - | # The associated | + | |
| - | + | ||
| - | ===== Requirements Realized By ===== | + | |
| - | + | ||
| - | No realizing requirements have been identified. | + | |
| - | + | ||
| - | ===== Related Architecture Sections ===== | + | |
| - | + | ||
| - | No related architecture sections have been identified. | + | |
| ===== Referenced By ===== | ===== Referenced By ===== | ||
| Line 181: | Line 83: | ||
| ===== Delivery Phase ===== | ===== Delivery Phase ===== | ||
| - | To Be Determined | + | Implemented and Verified. |
| ===== Implementation Status ===== | ===== Implementation Status ===== | ||
| - | Not Assessed | + | < |
| - | + | ||
| - | Implementation status requires verification that the current | + | |
| ===== Requirement Status ===== | ===== Requirement Status ===== | ||
| - | Draft | + | < |
| - | + | ||
| - | This requirement | + | |
| + | ---- | ||
| ===== Issues ===== | ===== Issues ===== | ||
| The following unresolved issues affect this requirement: | The following unresolved issues affect this requirement: | ||
| - | * < | + | < |
| - | * < | + | < |
| - | + | ||
| - | * < | + | |
| - | + | ||
| - | * < | + | |
| - | + | ||
| - | * < | + | |
| - | + | ||
| - | * < | + | |
| - | + | ||
| - | * < | + | |
| - | + | ||
| - | * < | + | |
| - | + | ||
| - | * < | + | |
| - | + | ||
| - | * < | + | |
| ---- | ---- | ||
| Line 231: | Line 114: | ||
| * [[dido: | * [[dido: | ||
| - | * Developer as the applicable user category | + | * Developer |
| - | * Allocation | + | * Allocation |
| - | * Identification | + | * Performance |
| - | * Execution | + | |
| + | The unresolved meaning of Developer Role should remain recorded in the Issues section until an authoritative definition resolves the issue. | ||
| - | The unresolved meaning | + | The source |
| - | Material changes should receive review and should update the verification criteria, requirements realization, | + | Material changes should receive review and should update the verification criteria, source records, and Issues section. |
| To reference this requirement Statement from another wiki page, insert: | To reference this requirement Statement from another wiki page, insert: | ||