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

Source: KrauterKRLS2023
Categories: C3 (primary); C2 (secondary)
Domain: behavioural multi-modelling; traffic management
Views: BPMN bus controller model; UML/BPMN traffic-light/T-Junction behaviour
Artefacts: Pass Junction activity; corresponding traffic-light states
Quotes: "We want to check that they [busses] cannot pass when their traffic light is red or red-amber. Concretely, this means the Pass Junction activity should not execute while the corresponding traffic light is red or red-amber."
Summary: The bus behavioural model allows progress that is inconsistent with the traffic-light state in the coupled controller model.; Cause: interaction semantics between models are insufficiently constrained or incorrectly coordinated.; As a result, behavioural safety violation during execution.

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.