Taxonomy of Inconsistency Patterns in Multi-View Modelling
Case RCM05-1

Source

Wehrheim2005

Categories

C1 (primary); C2 (secondary)

Domain

model-driven development

formal multiview refinement

Views

static class model A

corresponding refined class model C

Artefacts

attribute buffer

operation choose

class-level data semantics

Quotes

"In class A attribute buffer is of type set […] and choose chooses just any element of this set, whereas in C buffer is of type […] sequence and choose always chooses the first element in the sequence."

"Is every behaviour of C a behaviour of A?"

Summary

A lower-level class changes a buffer from an unordered set to an injective sequence, thereby changing how choose behaves.

Cause: a data-type transformation changes the semantics of state and operations across refinement levels.

As a result, the refined model may preserve representation but alter observable behaviour unless a valid refinement relation is established.

Taxonomy Categories

Evidence Map

---

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