A new interpretation of invariants exploiting layers in OO designs

R. Middelkoop, C. Huizing, R. Kuiper, E.J. Luit

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)


Although invariants have a long history, their meaning in OO designs is still under discussion. OO designs often include functionality that is used by different objects (shared functionality). We identify a problem with current interpretations of invariants in such designs. OO designs are often layered, where a layer uses functionality of a lower layer (in particular, shared functionality) but has little or no involvement with higher layers. As a result, higher layers can rely on lower layer invariants and lower layers do not rely on higher layer invariants. This is not reflected by current interpretations of invariants. We propose to make layers explicit in specifications and introduce a new interpretation of invariants that exploits these layers.
Original languageEnglish
Title of host publicationProceedings of Concurrency, Specification and Programming (CS&P 2007, Łagów, Poland, September 27-29, 2007)
EditorsL. Czaja
Place of PublicationWarsaw
PublisherWarsaw University
ISBN (Print)978-83-88374-28-9
Publication statusPublished - 2007


Dive into the research topics of 'A new interpretation of invariants exploiting layers in OO designs'. Together they form a unique fingerprint.

Cite this