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.
What Is a Model?
Before we discuss how to build a model, we need to understand what is meant by the word model. This term is used in many contexts and often has a different meaning. For instance, the R&L system depicted in the previous chapter is often called a class model. A statechart is sometimes called a state model. Are these models two separate, unrelated items, or should we consider them to be part of the same thing?
In this ...