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

Source: NuseibehKF1994
Categories: C4 (primary); C6 (secondary)
Domain: requirements engineering; viewpoint-based specification
Views: Z schema ViewPoint; associated textual description ViewPoint
Artefacts: formal schema; companion textual description
Quotes: "Two Viewpoints may be non-overlapping, but there is some existential relationship in which the existence of one depends in some way on the existence of the other."; "For example, the Z method requires that for each Z schema (Viewpoint), there is an associated textual description (Viewpoint)."
Summary: A formal schema exists without its required associated textual description view.; Cause: an existential inter-view dependency is not satisfied; one required companion requirements view is missing.; As a result, the specification is incomplete and loses the paired descriptive context required by the method.

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.