by Vadim Zaytsev

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

Source
GrundyHM1998
Categories
C7 (primary); C5 (secondary)
Domain
collaborative software development
Views
alternative versions of shared views
Artefacts
class method across parallel versions
Quotes
"Inconsistency detection is needed after one view is edited in order to detect: […] inconsistencies between specifications at different levels of abstraction (e.g., system requirements and design conflict); and inconsistencies between the work of multiple developers (e.g., when any inconsistency is caused by different developers working concurrently)."
"While alternate versions of a view are being modified independently, inconsistencies between these views may easily result. For example, a class method modified by one developer may be deleted or renamed by another."
Summary
Parallel edits on different versions produce conflicting states for the same method.
Cause: concurrent evolution without immediate reconciliation.
As a result, merge/conflict situation across versions; synchronisation and repair become necessary.

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