The Object Constraint Language: Precise Modeling with UML--Grady Booch, Ivar Jacobson, James Rumbaugh The Object Constraint Language (OCL) is a new notational language, a subset of the industry standard Unified Modeling Language, that allows software developers to write constraints over object models. These constraints are particularly useful, as they allow a developer to create a highly specific set of rules that governs the aspect of an individual object. As many software projects today require unique and complex rules that are written specifically for business models, OCL is fast becoming an integral facet of object development. This book is a practical guide to OCL for software architects, designers, and developers. Because it is designed for ease and usability, OCL is likely to gain broad acceptance. Much care has been taken during the design of OCL to ensure that the syntax is readable and writable by the average software modeler. The straightforward nature of OCL makes it a natural candidate to supersede current constraint languages. The authors pragmatic approach and illustrative use of examples will help application developers to get up to speed quickly with this important object modeling method. Other highlights: *Detailed inst |
Common terms and phrases
action addition allows amount applied associated class association attribute Bag(T basic bonus points Boolean True called capacity chapter checked class model collection types complete condition conforms constraint contains context contract Customer CustomerCard Date defined definition described diagram Earning elem elements endif enumeration equal evaluates event example execution expr extend false Figure Guitar identical implies inheritance instance Integer invariant iterate language Loyalty Account Loyalty Program means membership methods model type multiplicity navigation notation Note object object-oriented occurrences OCL expression OclAny OclType offers operation optional package parameter Person possible postconditions preceding precisely precondition properties Real reference restriction result rules sequence service level shown shows simple specify standard stereotype Stove String subclass subset subtypes syntax Table tion Transaction transition UML model Undefined valid value type write written