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

Source: DemuthKEM2016
Categories: C6 (primary); C7 (secondary)
Domain: automation engineering; electrical models and controller software
Views: electrical model; corresponding software controller
Artefacts: engineer-defined links and consistency rules across tools
Quotes: "We discuss experiences […] in maintaining the consistency between electrical models and the corresponding software controller when both are subject to continuous change."
Summary: Electrical and controller views co-evolve, but their cross-tool relations drift unless maintained through explicit links and rules.; Cause: concurrent cross-domain evolution in heterogeneous engineering tools.; As a result, change impact becomes erroneous unless consistency checking notifies engineers.

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.