by Vadim Zaytsev

TIP Taxonomy of Inconsistency Patterns in Multi-View Modelling
Category C6: Traceability disruption

Explicit cross-artefact links are missing, stale, ambiguous, incomplete, or insufficiently maintained for navigation or impact analysis.

C6 covers explicit relation failures: stale links, incomplete link sets, missing links needed for impact analysis, or insufficient relation information for backward navigation after a test failure. In this category, the main defect is that the cross-artefact relation itself is not reliably available, even when the underlying artefacts may still be individually valid.

Disruptions of the traceability chain also turned out to be a major meeting point between research prototypes and industrial practice. Published tools often handle trace links more readily than behavioural semantics, but the literature simultaneously shows how easily those links decay under evolution.


CodeLabelAs primaryAs secondary
C1Structural mismatch137
C2Interface contract mismatch45
C3Behavioural contradiction36
C4Requirement satisfaction gap71
C5Terminology divergence33
C6Traceability disruption76
C7Temporal skew39

Evidence Map

Case IDSourcePrimarySecondary
HLI19-1[JongelingDocSymp2019]C1
RCM05-1[Wehrheim2005]C1C2
RCM05-5[Wehrheim2005]C1C2
RCM05-2[Wehrheim2005]C1C3
RCM05-3[Wehrheim2005]C1C3
RCM05-4[Wehrheim2005]C1C3
RCM05-6[Wehrheim2005]C1C3
DHI19-3[Feldmann2019]C1C5
FER94-2[NuseibehKF1994]C1C5
DSS22-1[JongelingFCCC2022]C1C6
IMM98-2[GrundyHM1998]C1C7
CCM19-1[JongelingSATToSE2019]C1C7
ARC22-3[JongelingCCC2022]C1C7
DHI19-2[Feldmann2019]C2C1
DHI19-4[Feldmann2019]C2C1
IMM98-3[GrundyHM1998]C2C1
CCM19-2[JongelingSATToSE2019]C2C3
BCM23-1[KrauterKRLS2023]C3C1
BCM23-2[KrauterKRLS2023]C3C2
BCM23-4[KrauterKRLS2023]C3C6
FER94-1[NuseibehKF1994]C4C1
DHI19-5[Feldmann2019]C4C2
FER94-3[NuseibehKF1994]C4C2
ABB09-1[AbborsTL2009]C4C6
FER94-4[NuseibehKF1994]C4C6
MME21-1[StunkelKRL2021]C4C6
ARC22-2[JongelingCCC2022]C4C7
DHI19-1[Feldmann2019]C5
DSS22-3[JongelingFCCC2022]C5C1
IMM98-1[GrundyHM1998]C5C7
ATD11-1[BuchgeherWeinreich2011]C6
BCM23-3[KrauterKRLS2023]C6C3
MBT12-1[GeorgeFHKBA2012]C6C4
ITC16-1[DemuthKEM2016]C6C7
OAT18-1[JavedMZ2018]C6C7
ATM12-1[MaderG2012]C6C7
CAE08-1[MurtaHW2008]C6C7
ARC22-1[JongelingCCC2022]C7C1
IMM98-4[GrundyHM1998]C7C5
DSS22-2[JongelingFCCC2022]C7C6


The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: March 2026.
HTML 5 CSS 3