dido:99_annexes:annex-d-requirements:part-01:p1-req-13-7-003:start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision		 Previous revision
dido:99_annexes:annex-d-requirements:part-01:p1-req-13-7-003:start [2026/07/11 12:57] – removed - external edit (Unknown date) 127.0.0.1dido:99_annexes:annex-d-requirements:part-01:p1-req-13-7-003:start [2026/07/18 12:33] (current) – external edit 127.0.0.1
Line 1: Line 1:
 +====== 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>