Taxonomy of Inconsistency Patterns in Multi-View Modelling
Case `DHI19-5`

Source: Feldmann2019
Categories: C4 (primary); C2 (secondary)
Domain: automated production systems; planning + Simulink
Views: planning property model; top-level Simulink display model
Artefacts: Planning Property; Simulink Display; satisfies link
Quotes: "Inconsistency for satisfaction between top-level MATLAB/Simulink Display and Planning Property"
Summary: A displayed/implemented value violates the property it is supposed to satisfy, either by being unequal or out of range.; Cause: satisfaction relation exists, but checked property bounds or expected value are violated.; As a result, supposedly satisfied planning/property constraint is not actually met.

Taxonomy Categories

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

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