Taxonomy of Inconsistency Patterns in Multi-View Modelling
Case `BCM23-3`

Source: KrauterKRLS2023
Categories: C6 (primary); C3 (secondary)
Domain: behavioural multi-modelling; traffic management
Views: traffic-light state machine; T-Junction model; bus models
Artefacts: behavioural relations/interactions between models
Quotes: "The traffic light model is currently not related to the T-Junction and bus models while the T-Junction is supposed to control the traffic lights, for example, when it switches between the two traffic phases."
Summary: The intended control relation exists conceptually, but is absent from the multi-model as an explicit relation.; Cause: missing inter-model linkage/interaction specification.; As a result, global behavioural requirements cannot be checked reliably until the relationship model is introduced.

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.