P2-REQ-16-5-009

Return to Requirements

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.

Part 2, Section 16.5: Logical Information Requirements.

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.

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 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.

This requirement supports traceability between Logical Assertions, the information from which they are derived, and the logical processes that produce them.

Related requirement identifiers:

• P2-REQ-16-5-002
• P2-REQ-16-5-011
• P2-REQ-16-7-008

Related source section:

• 16.5 Logical Information Requirements

Draft