Taxonomy of Inconsistency Patterns
in Multi-View Modelling
table2
Download raw LaTeX: table2.tex
\begin{table}[t] \caption{All cases with their IDs, primary and possibly secondary categories.} \label{tab:allcats} \small \begin{tabular}{lrr|lrr|lrr} \toprule HLI19-1~\cite{JongelingDocSymp2019} & \CA & — & DHI19-2~\cite{Feldmann2019} & \CB & \CA & DHI19-1~\cite{Feldmann2019} & \CE & — \\ RCM05-1~\cite{Wehrheim2005} & \CA & \CB & DHI19-4~\cite{Feldmann2019} & \CB & \CA & DSS22-3~\cite{JongelingFCCC2022} & \CE & \CA \\ RCM05-5~\cite{Wehrheim2005} & \CA & \CB & IMM98-3~\cite{GrundyHM1998} & \CB & \CA & IMM98-1~\cite{GrundyHM1998} & \CE & \CG \\ \cline{7-9} RCM05-2~\cite{Wehrheim2005} & \CA & \CC & CCM19-2~\cite{JongelingSATToSE2019} & \CB & \CC & ATD11-1~\cite{BuchgeherWeinreich2011} & \CF & — \\ \cline{4-6} RCM05-3~\cite{Wehrheim2005} & \CA & \CC & BCM23-1~\cite{KrauterKRLS2023} & \CC & \CA & BCM23-3~\cite{KrauterKRLS2023} & \CF & \CC \\ RCM05-4~\cite{Wehrheim2005} & \CA & \CC & BCM23-2~\cite{KrauterKRLS2023} & \CC & \CB & MBT12-1~\cite{GeorgeFHKBA2012} & \CF & \CD \\ RCM05-6~\cite{Wehrheim2005} & \CA & \CC & BCM23-4~\cite{KrauterKRLS2023} & \CC & \CF & ITC16-1~\cite{DemuthKEM2016} & \CF & \CG \\ \cline{4-6} DHI19-3~\cite{Feldmann2019} & \CA & \CE & FER94-1~\cite{NuseibehKF1994} & \CD & \CA & OAT18-1~\cite{JavedMZ2018} & \CF & \CG \\ FER94-2~\cite{NuseibehKF1994} & \CA & \CE & DHI19-5~\cite{Feldmann2019} & \CD & \CB & ATM12-1~\cite{MaderG2012} & \CF & \CG \\ DSS22-1~\cite{JongelingFCCC2022} & \CA & \CF & FER94-3~\cite{NuseibehKF1994} & \CD & \CB & CAE08-1~\cite{MurtaHW2008} & \CF & \CG \\ \cline{7-9} IMM98-2~\cite{GrundyHM1998} & \CA & \CG & ABB09-1~\cite{AbborsTL2009} & \CD & \CF & ARC22-1~\cite{JongelingCCC2022} & \CG & \CA \\ CCM19-1~\cite{JongelingSATToSE2019} & \CA & \CG & FER94-4~\cite{NuseibehKF1994} & \CD & \CF & IMM98-4~\cite{GrundyHM1998} & \CG & \CE \\ ARC22-3~\cite{JongelingCCC2022} & \CA & \CG & MME21-1~\cite{StunkelKRL2021} & \CD & \CF & DSS22-2~\cite{JongelingFCCC2022} & \CG & \CF \\ &&& ARC22-2~\cite{JongelingCCC2022} & \CD & \CG & && \\ \bottomrule \end{tabular} \end{table}
| 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 |