Chapter 3. Building Models with OCL

This chapter shows how a UML model can be augmented by OCL expressions, resulting in a model that is rich enough to give to automated tools as input. All examples in this and the following chapters refer to the R&L system as depicted in Figure 2-1, unless stated otherwise .