Taxonomy of Inconsistency Patterns in Multi-View Modelling
Case `CCM19-1`

Source: JongelingSATToSE2019
Categories: C1 (primary); C7 (secondary)
Domain: industrial MBSE (SysML/Simulink, automotive ABS example)
Views: high-level SysML diagrams; lower-level Simulink model
Artefacts: SysML internal block/activity/parametric diagrams; Simulink refinement model
Quotes: "In our running example, this indeed happens, the system model is changed, requiring some changes in the Simulink model."; "In the running example, not updating the Simulink model of the ABS might result in its incorrect implementation."
Summary: A change in the high-level system model is not reflected in the refining Simulink model.; Cause: evolution of the abstract model without co-evolution of the lower-level model.; As a result, incorrect implementation of the affected function; need to tolerate temporarily but eventually repair.

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.