by Vadim Zaytsev

TIP Taxonomy of Inconsistency Patterns in Multi-View Modelling
Case FER94-2

Source
NuseibehKF1994
Categories
C1 (primary); C5 (secondary)
Domain
requirements engineering
viewpoint-based specification
Views
tabular collection view
agent hierarchy view
Artefacts
source/destination entry in tabular collection diagram
named agent in hierarchy
Quotes
"Every Source or Destination in a tabular collection diagram has a corresponding agent with the same name in the agent hierarchy"
"Two Viewpoints may be partially overlapping, with a partial specification in one related to a partial specification in the other."
"For example, CORE requires that a source agent in a tabular collection diagram is a named agent in the agent hierarchy."
Summary
A source or destination named in a tabular collection diagram has no matching named agent in the hierarchy, or the names diverge.
Cause: cross-view correspondence constraint between partial requirements views is violated.
As a result, the same domain participant is represented inconsistently across views, weakening integration between decomposition and flow-oriented descriptions.

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