A new interpretation of invariants exploiting layers in OO designs

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
TitelProceedings of Concurrency, Specification and Programming (CS&P 2007, Łagów, Poland, September 27-29, 2007)
RedacteurenL. Czaja
Plaats van productieWarsaw
UitgeverijWarsaw University
Pagina's413-424
Volume2
ISBN van geprinte versie978-83-88374-28-9
StatusGepubliceerd - 2007

Vingerafdruk

Duik in de onderzoeksthema's van 'A new interpretation of invariants exploiting layers in OO designs'. Samen vormen ze een unieke vingerafdruk.

Citeer dit