P1-REQ-13-7-003

Return to Part 1 Requirements

An Implementation Profile / PSM artefact SHALL trace to the logical element it realises.

Part 1, Section 13.7: Traceability Requirements.

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

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

This requirement applies to Implementation Profile and PSM artefacts.

It applies specifically to:

• Implementation Profile artefacts
• PSM artefacts
• Logical-to-implementation trace links
• Platform-specific realisation
• Implementation mappings

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

Verification activities include review checks confirming that:

• Implementation artefacts identify the logical elements they realise
• PSM artefacts identify the logical elements they realise
• Implementation artefacts do not redefine logical elements
• Trace links support review from logical element to implementation artefact

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