by Vadim Zaytsev

TIP Taxonomy of Inconsistency Patterns in Multi-View Modelling
Source KrauterKRLS2023 

@article{KrauterKRLS2023,
  author = {Tim Kräuter and Harald König and Adrian Rutle and Yngve Lamo and Patrick Stünkel},
  title = {Behavioral Consistency in Multi-Modeling},
  journal = {Journal of Object Technology},
  year = {2023},
  volume = {22},
  number = {2},
  pages = {2:1--15},
  doi = {10.5381/jot.2023.22.2.a9}
}

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