Please use this identifier to cite or link to this item:
Title: Specification of Invariability.
Authors: Kosiuczenko, P.
First Published: 2006
Publisher: Springer-Verlag Berlin Heidelberg
Citation: in Nierstrasz, O. et al. 2006 MoDELS'06, LNCS 4199, Springer.
Abstract: 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.
Type: Book chapter
Description: This is the authors draft. Archived with kind permission of Springer Science and Business Media and available at © Springer-Verlag Berlin Heidelberg 2006
Appears in Collections:Books & Book Chapters, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
Specification.pdf240.83 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.