P1-REQ-13-7-003

Return to Part 1 Requirements

An Implementation Profile / PSM artifact SHALL trace to the logical element it realizes.

Part 1, Section 13.7: Traceability Requirements.

Implementation Profile and PSM artifacts realize logical elements in a selected technology or platform context. Traceability to the logical element preserves the relationship between platform-specific realization and platform-independent design.

This requirement prevents implementation artifacts from appearing without architectural purpose or from redefining logical meaning.

This requirement applies to Implementation Profile and PSM artifacts.

It applies specifically to:

• Implementation Profile artifacts
• PSM artifacts
• Logical-to-implementation trace links
• Platform-specific realization
• Implementation mappings

Verification SHALL confirm that each Implementation Profile / PSM artifact traces to the logical element it realizes.

Verification activities include review checks confirming that:

• Implementation artifacts identify the logical elements they realize
• PSM artifacts identify the logical elements they realize
• Implementation artifacts do not redefine logical elements
• Trace links support review from logical element to implementation artifact

Related source section:

• 13.7 Traceability Requirements

Related requirement identifiers:

• P1-REQ-13-7-001
• P1-REQ-13-7-002
• P1-REQ-13-7-004
• P1-REQ-13-7-006
• P1-REQ-13-7-007

Draft