Taxonomy of Inconsistency Patterns
in Multi-View Modelling
Category
C7: Temporal skew
Taxonomy of Inconsistency Patterns
in Multi-View Modelling
C7: Temporal skew
Views are individually plausible but inconsistent because they reflect different points in evolution, propagation, or branching history.
C7 captures drift caused by asynchronous evolution. Examples include code customised after generation while the source model remains unchanged, models staying stale for long periods while implementations evolve, and parallel versions producing conflicting states for the same method
| 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 |
