====== P1-REQ-13-7-003 ======

[[dido:99_annexes:annex-d-requirements:part-01:start|Return to Part 1 Requirements]]

===== Statement =====

An Implementation Profile / [[dido:99_annexes:annex-b-terms-and-definitions:p:platform_specific_model|PSM]] artifact SHALL trace to the logical element it realizes.

===== Source =====

Part 1, Section 13.7: Traceability Requirements.

===== Rationale =====

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.

===== Applies To =====

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

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

===== Traceability =====

Related source section:

  * [[fxdemo:01-part:13-conceptual-requirements:13-7-traceability-requirements]]

Related requirement identifiers:

  * [[dido:99_annexes:annex-d-requirements:part-01:p1-req-13-7-001:start]]
  * [[dido:99_annexes:annex-d-requirements:part-01:p1-req-13-7-002:start]]
  * [[dido:99_annexes:annex-d-requirements:part-01:p1-req-13-7-004:start]]
  * [[dido:99_annexes:annex-d-requirements:part-01:p1-req-13-7-006:start]]
  * [[dido:99_annexes:annex-d-requirements:part-01:p1-req-13-7-007:start]]

===== Status =====

Draft

----

<WRAP centeralign>
© 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.
</WRAP>