Taxonomy of Inconsistency Patterns in Multi-View Modelling
Case `FER94-1`

Source: NuseibehKF1994
Categories: C4 (primary); C1 (secondary)
Domain: requirements engineering; viewpoint-based specification
Views: agent hierarchy view; tabular collection view(s)
Artefacts: agent in hierarchy; corresponding TC ViewPoint instance
Quotes: "For each agent in the agent hierarchy there must be one ViewPoint instantiated from a TC template"
Summary: An agent exists in the higher-level decomposition, but no corresponding tabular-collection ViewPoint is created for it.; Cause: a required successor specification view is missing, so the decomposition is not elaborated into the next required requirements view.; As a result, the requirements description is incomplete across views; downstream checks and refinements cannot be carried out for that agent.

Taxonomy Categories

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

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