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

Source: KrauterKRLS2023
Categories: C3 (primary); C1 (secondary)
Domain: behavioural multi-modelling; traffic management
Views: UML state machine traffic-light model; BPMN T-Junction controller model
Artefacts: traffic light states A/B/C; global safety property over combined models
Quotes: "For the T-Junction, unsafe traffic occurs if traffic light A is green or amber and traffic light B is green or amber simultaneously. In addition, the same state combinations are forbidden for traffic lights B and C."; "Unsafe traffic occurs only in these situations since green and amber mean that cars are allowed to pass,
Summary: while red (red-amber) means cars are not (not yet, respectively) allowed to pass."

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.