P2-REQ-16-5-009

Return to Requirements

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; andPolicy 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; andimplementation 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.