Taxonomy of Inconsistency Patterns
in Multi-View Modelling
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.
| Code | Label | As primary | As secondary |
| C1 | Structural mismatch | 13 | 7 |
| C2 | Interface contract mismatch | 4 | 5 |
| C3 | Behavioural contradiction | 3 | 6 |
| C4 | Requirement satisfaction gap | 7 | 1 |
| C5 | Terminology divergence | 3 | 3 |
| C6 | Traceability disruption | 7 | 6 |
| C7 | Temporal skew | 3 | 9 |