Location of Repository

Specification of Invariability.

By P. Kosiuczenko


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\ud \ud © Springer-Verlag Berlin Heidelberg 2006The 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\ud of specifying invariability in OCL is studied and a simple but expressive\ud and flexible extension is proposed. It is shown that this extension has a simple OCL based semantics

Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006
OAI identifier: oai:lra.le.ac.uk:2381/827

Suggested articles



  1. (1974). A framework for representing knowledge. doi
  2. A Symbiotic Alliance to Alleviate the Frame Problem. doi
  3. (1969). An Axiomatic Basis for Computer Programming. doi
  4. (2001). Design by contract by example. doi
  5. (2003). Facility Specification, Version 1.4,
  6. (2004). Modeling Language Specification, Version 2.0, doi
  7. (2003). Modular Specification of Frame Properties doi
  8. (1990). Monotonic Solution of the Frame Problem in the Situation Calculus. In doi
  9. (1993). Nonmonotonic Logic, Context-Dependent Reasoning. doi
  10. (2003). Object Constraint Language: Getting Your Models Ready for MDA. doi
  11. (1998). Object-Oriented Software Construction. doi
  12. (1996). Object-Oriented Software Engineering with Eiffel. doi
  13. (1993). On the Frame Problem doi
  14. (2005). Reasoning About Method Calls in JML Specifications. doi
  15. Use: A UML-based Specification Environment. doi
  16. (2003). Version 1.0.1,
  17. (1991). Viewpoints: A Framework for Integrating Multiple Perspectives doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.