List of OCL books
Books describing the OCL (Object Constraint Language), the textual language typically used to complement and precise the description of UML models in a “formal” way (in contrast with notes in natural language that can be sometimes ambiguos).
Only the books I’ve personally READ ARE included IN the list (yes! this means that if you want me to review your book you must hand me a copy ). Follow the link below to search for additional books.
The Object Constraint Language: Getting Your Models Ready for MDA by Jos Warmer and Anneke Kleppe
A very pedagogic introduction to the OCL (and written by one of the creators of this language). The book explains most of the element of the OCL and shows how they can be used to complement UML models. By means of clear examples, the reader will learn to use OCL to specify integrity constraints, operation contracts, initialization expressions and so on. The MDA section of the book is quite shallow. See the MDD/MDA section for deeper explanations on this.
Object Modeling with the OCL: The Rationale behind the Object Constraint Language by Tony Clark and Jos Warmer (Editors)
A nice collection of position papers from several OCL experts, explaining uses, limitations and semantics of the language. The book is a little bit outdated now so some of the problems have been fixed in the OCL 2.0 version. Interesting complementary reading nevertheless.
Search FOR MORE OCL Books