This paper presents the traceability metamodel for Business Process Model and Notation (BPMN) and its implementation in Cameo Business Modeler plug-in for MagicDraw. There is no public standard traceability metamodel defined for BPMN yet. We present solutions that we have already applied in practice: we improve the traceability of BPMN models by defining derived properties that are calculated by a modeling tool on the fly. In contrast to other existing solutions, this approach does not require additional efforts from users for defining and maintaining traceability, and does not overload projects with redundant information. Using this approach, CASE tool developers are able to supplement their tools with traceability analysis means allowing users to access traceability information easier, to check completeness and correctness of BPMN models, and to analyze the impact of changes.