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

Source: KrauterKRLS2023
Categories: C3 (primary); C6 (secondary)
Domain: behavioural multi-modelling; traffic management
Views: interacting behavioural models in a configured multi-model
Artefacts: traffic-light instances; T-Junction controller; buses; global properties
Quotes: "We face the problem that the models are not independent."; "If we were to run the models independently in parallel, the properties would be violated."
Summary: Locally sensible models become globally inconsistent when composed without the required coordination semantics.; Cause: behavioural dependence among views is ignored during composition/execution.; As a result, violations of global behavioural properties that span models.

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.