University of Leicester
Browse
Specification.pdf (240.83 kB)

Specification of Invariability.

Download (240.83 kB)
chapter
posted on 2007-08-17, 11:08 authored by P. Kosiuczenko
The paradigm of contractual specification provides a transparent way of specifying systems. It clearly distinguishes between client and implementer obligations. One of the best known languages used for this purpose is OCL. Nevertheless, OCL does not provide primitives for a compact specification of what remains unchanged when a method is executed. In this paper, problems with specifying invariability are listed and some weaknesses of existing solutions are pointed out. The question of specifying invariability in OCL is studied and a simple but expressive and flexible extension is proposed. It is shown that this extension has a simple OCL based semantics.

History

Citation

in Nierstrasz, O. et al. 2006 MoDELS'06, LNCS 4199, Springer.

Published in

in Nierstrasz

Publisher

Springer-Verlag Berlin Heidelberg

Available date

2007-08-17

Notes

This is the authors draft. Archived with kind permission of Springer Science and Business Media and available at http://www.springerlink.com/content/705882532j178516/fulltext.pdf © Springer-Verlag Berlin Heidelberg 2006

Language

en

Usage metrics

    University of Leicester Publications

    Categories

    Keywords

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC