dido:99_annexes:annex-d-requirements:part-02:p2-req-16-5-009

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision		 Previous revision
dido:99_annexes:annex-d-requirements:part-02:p2-req-16-5-009 [2026/07/11 12:57] – removed - external edit (Unknown date) 127.0.0.1dido:99_annexes:annex-d-requirements:part-02:p2-req-16-5-009 [2026/07/11 12:57] (current) – ↷ Links adapted because of a move operation nick_dido
Line 1: Line 1:
 +====== P2-REQ-16-5-009 ======
  
 +[[dido:99_annexes:annex-d-requirements:part-02:start| Return to Requirements]]
 +
 +===== Statement =====
 +
 +A [[dido:99_annexes:annex-b-terms-and-definitions:l:logical_assertion|Logical Assertion]] SHALL represent a [[dido:99_annexes:annex-b-terms-and-definitions:l:logical_data_structure_instance|Logical Data Structure Instance]] stating a conclusion, derived fact, validation result, interpretation result, analytical result, policy decision, or other claim.
 +
 +===== Source =====
 +
 +Part 2, Section 16.5: Logical Information Requirements.
 +
 +===== Rationale =====
 +
 +Logical Assertions represent conclusions derived through analysis, interpretation, validation, policy evaluation, or other reasoning activities. Treating assertions as Logical Data Structure Instances preserves a consistent platform-independent representation of derived information while supporting governance, traceability, and later implementation mapping.
 +
 +===== Applies To =====
 +
 +This requirement applies to the Logical Information Model.
 +
 +It applies specifically to:
 +
 +  * Logical Assertions;
 +  * Logical Data Structure Instances;
 +  * Analytical and validation processes; and
 +  * Policy evaluation activities.
 +
 +===== Verification =====
 +
 +Verification SHALL confirm that each Logical Assertion represents a Logical Data Structure Instance stating a conclusion or other derived claim.
 +
 +Verification activities should include review checks confirming that:
 +
 +  * Logical Assertions are explicitly identified;
 +  * assertions represent derived information rather than raw observations;
 +  * Logical Assertions remain platform independent; and
 +  * implementation technologies do not redefine Logical Assertions.
 +
 +===== Traceability =====
 +
 +This requirement supports traceability between Logical Assertions, the information from which they are derived, and the logical processes that produce them.
 +
 +Related requirement identifiers:
 +
 +  * [[dido:99_annexes:annex-d-requirements:part-02:p2-req-16-5-002]]
 +  * [[dido:99_annexes:annex-d-requirements:part-02:p2-req-16-5-011]]
 +  * [[dido:99_annexes:annex-d-requirements:part-02:p2-req-16-7-008]]
 +
 +Related source section:
 +
 +  * [[fxdemo:02-part:16-logical-requirements:16-5-logical-information-requirements:start]]
 +
 +===== Status =====
 +
 +Draft
 +
 +----
 +
 +<WRAP centeralign>
 +© 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.
 +</WRAP>