by Vadim Zaytsev

TIP Taxonomy of Inconsistency Patterns in Multi-View Modelling
Case IMM98-1

Source
GrundyHM1998
Categories
C5 (primary); C7 (secondary)
Domain
software development environments
UML-like OO design
Views
OOA/D design view
other design diagrams
code
documentation
analysis diagrams
Artefacts
class interface
related diagrams
derived code
documentation artefacts
Quotes
"Inconsistency detection is needed after one view is edited in order to detect: structural inconsistencies between views (e.g., class attributes added in one view aren’t in another); […]."
"Renaming a class in an OO design view means all other analysis, design, implementation and documentation views become inconsistent unless the class name is changed in these views."
Summary
A class is renamed in one design view, but the corresponding name is not propagated to related views and artefacts.
Cause: local edit to a shared conceptual element is not propagated across redundant or corresponding representations.
As a result, cross-view disagreement; developers may overlook the inconsistency; downstream artefacts no longer refer to the same concept consistently.

Taxonomy Categories

CodeLabelAs primaryAs secondary
C1Structural mismatch137
C2Interface contract mismatch45
C3Behavioural contradiction36
C4Requirement satisfaction gap71
C5Terminology divergence33
C6Traceability disruption76
C7Temporal skew39

Evidence Map

Case IDSourcePrimarySecondary
HLI19-1[JongelingDocSymp2019]C1
RCM05-1[Wehrheim2005]C1C2
RCM05-5[Wehrheim2005]C1C2
RCM05-2[Wehrheim2005]C1C3
RCM05-3[Wehrheim2005]C1C3
RCM05-4[Wehrheim2005]C1C3
RCM05-6[Wehrheim2005]C1C3
DHI19-3[Feldmann2019]C1C5
FER94-2[NuseibehKF1994]C1C5
DSS22-1[JongelingFCCC2022]C1C6
IMM98-2[GrundyHM1998]C1C7
CCM19-1[JongelingSATToSE2019]C1C7
ARC22-3[JongelingCCC2022]C1C7
DHI19-2[Feldmann2019]C2C1
DHI19-4[Feldmann2019]C2C1
IMM98-3[GrundyHM1998]C2C1
CCM19-2[JongelingSATToSE2019]C2C3
BCM23-1[KrauterKRLS2023]C3C1
BCM23-2[KrauterKRLS2023]C3C2
BCM23-4[KrauterKRLS2023]C3C6
FER94-1[NuseibehKF1994]C4C1
DHI19-5[Feldmann2019]C4C2
FER94-3[NuseibehKF1994]C4C2
ABB09-1[AbborsTL2009]C4C6
FER94-4[NuseibehKF1994]C4C6
MME21-1[StunkelKRL2021]C4C6
ARC22-2[JongelingCCC2022]C4C7
DHI19-1[Feldmann2019]C5
DSS22-3[JongelingFCCC2022]C5C1
IMM98-1[GrundyHM1998]C5C7
ATD11-1[BuchgeherWeinreich2011]C6
BCM23-3[KrauterKRLS2023]C6C3
MBT12-1[GeorgeFHKBA2012]C6C4
ITC16-1[DemuthKEM2016]C6C7
OAT18-1[JavedMZ2018]C6C7
ATM12-1[MaderG2012]C6C7
CAE08-1[MurtaHW2008]C6C7
ARC22-1[JongelingCCC2022]C7C1
IMM98-4[GrundyHM1998]C7C5
DSS22-2[JongelingFCCC2022]C7C6


The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: March 2026.
HTML 5 CSS 3