4.5 Traceability

Each layer preserves traceability to the layer inside it.

A logical element traces to the conceptual element it specialises in. An implementation artefact traces to the logical element it realises. A deployment artefact traces to the implementation artefact it deploys. Evidence traces to the claim it supports.