P2-REQ-16-5-009
Statement
A Logical Assertion SHALL represent a 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:
Related source section:
Status
Draft
© 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.